ESEC/FSE 2018 (series) /
ESEC/FSE 2018 Program
Filter
Dates
Rooms
Tracks
Badges
Your Program
Sun 4 Nov (GMT-05:00) Guadalajara, Mexico City, Monterrey change
| 08:30 - 09:15 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 09:15 - 10:00 Talk | Marc BrockschmidtMicrosoft Research | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:45 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 10:45 - 11:00 Talk | Kevin LeeUniversity of California at Davis, USA, Casey CasalnuovoUniversity of California at Davis, USA | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:15 Talk | Danielle GonzalezRochester Institute of Technology, USA, Suzanne PrenticeUniversity of South Carolina, USA, Mehdi MirakhorliRochester Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:30 - 11:45 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:45 Talk | Umme Ayda MannanOregon State University, USA, Iftekhar AhmedUniversity of California at Irvine, USA, Anita SarmaOregon State University | |||||||||||||||||||||||||||||||||||||||||
| 13:45 - 14:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:15 Talk | Xueqing LiuUniversity of Illinois at Urbana-Champaign, USA, Chi WangMicrosoft, USA, Yue LengUniversity of Illinois at Urbana-Champaign, USA, ChengXiang ZhaiUniversity of Illinois at Urbana-Champaign, USA | |||||||||||||||||||||||||||||||||||||||||
| 14:15 - 14:30 Talk | Mathias EllmannUniversity of Hamburg and LegalTechTeam | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 14:45 Talk | Grigoreta Sofia CojocarDepartment of Computer Science, Babes-Bolyai University, Adriana-Mihaela GuranDepartment of Computer Science, Babes-Bolyai University | |||||||||||||||||||||||||||||||||||||||||
| 14:45 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:15 Day closing | ||||||||||||||||||||||||||||||||||||||||||
| 16:15 - 17:00 Talk | Satish ChandraFacebook | |||||||||||||||||||||||||||||||||||||||||
Mon 5 Nov (GMT-05:00) Guadalajara, Mexico City, Monterrey change
| 08:30 - 09:00 Other | Hridesh RajanIowa State University | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | Margaret-Anne StoreyUniversity of Victoria | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Coffee break | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:52 Talk | Davide SpadiniDelft University of Technology, Netherlands | |||||||||||||||||||||||||||||||||||||||||
| 10:52 - 11:14 Talk | Mattia FazziniGeorgia Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
| 11:14 - 11:36 Talk | Sarah FakhouryWashington State University | |||||||||||||||||||||||||||||||||||||||||
| 11:36 - 11:58 Talk | Mitra Bokaei HosseiniUniversity of Texas at San Antonio | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 13:30 Lunch | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:52 Talk | Cheng ZhouYangzhou University | |||||||||||||||||||||||||||||||||||||||||
| 13:52 - 14:14 Talk | Afsoon AfzalCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
| 14:14 - 14:36 Talk | Caius BrindescuOregon State University | |||||||||||||||||||||||||||||||||||||||||
| 14:36 - 15:00 Other | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Coffee break | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:45 Talk | David C. ShepherdABB, Inc | |||||||||||||||||||||||||||||||||||||||||
| 16:45 - 17:00 Other | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:10 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 09:10 - 10:00 Talk | Tevfik BultanUniversity of California, Santa Barbara | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Coffee break | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Research paper | Maria PaquinBoise State University, Elena ShermanBoise State University, Amit JainBoise State University | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Research paper | Lucas C. CordeiroUniversity of Manchester, UK, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Sussex | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Research paper | Seemanta SahaUniversity of California Santa Barbara, Ismet Burak KadronUniversity of California at Santa Barbara, USA, William EiersUniversity of California at Santa Barbara, USA, Lucas Bang, Tevfik BultanUniversity of California, Santa Barbara | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 13:30 Lunch | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | Quoc-Sang PhanFujitsu Laboratories of America | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Research paper | joseph JonesBrigham Young University, James WassonBrigham Young University, Sean BrownBrigham Young University, Seth PoulsenBrigham Young University, Peter AldousBrigham Young University, Eric MercerBrigham Young University | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Research paper | Guolong ZhengUniversity of Nebraska Lincoln, Quang Loc LeSchool of Computing, Teesside University, UK, ThanhVu NguyenUniversity of Nebraska-Lincoln, Quoc-Sang PhanFujitsu Laboratories of America | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Coffee break | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:00 Research paper | Kaiyuan Wang, Hayes ConverseThe University of Texas at Austin, Milos GligoricUniversity of Texas at Austin, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity of Texas at Austin | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:50 Meeting | ||||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:00 Day closing | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:48 Talk | David AdamoUltimate Software, USA, Md Khorrom KhanUniversity of North Texas, USA, Sreedevi KoppulaUniversity of North Texas, USA, Renée BryceUniversity of North Texas, USA | |||||||||||||||||||||||||||||||||||||||||
| 10:48 - 11:06 Talk | Shogo TakakuraKwansei Gakuin University, Japan, Mitsuyoshi IwatsujiKwansei Gakuin University, Japan, Nagisa IshiuraKwansei Gakuin University | |||||||||||||||||||||||||||||||||||||||||
| 11:06 - 11:24 Talk | Ákos KissUniversity of Szeged, Hungary, Renáta HodovánUniversity of Szeged, Hungary, Tibor GyimóthyUniversity of Szeged, Hungary | |||||||||||||||||||||||||||||||||||||||||
| 11:24 - 11:42 Talk | Sten VercammenUniversity of Antwerp, Belgium, Mohammad GhafariUniversity of Bern, Serge DemeyerUniversity of Antwerp, Belgium, Markus BorgRISE Research Institutes of Sweden AB Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11:42 - 12:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:52 Talk | Sebastian Baltes University of Trier, Jascha KnackUniversity of Trier, Germany, Daniel AnastasiouUniversity of Trier, Germany, Ralf TymannUniversity of Trier, Germany, Stephan DiehlComputer Science, University Trier, Germany Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 10:52 - 11:15 Talk | Akond RahmanNorth Carolina State University, Amritanshu AgrawalNorth Carolina State University, Rahul KrishnaNC State University, Alexander Sobran | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:37 Talk | Davide FalessiCalifornia Polytechnic State University, Max Jason MoedeCalifornia Polytechnic State University, USA | |||||||||||||||||||||||||||||||||||||||||
| 11:37 - 12:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:15 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:15 - 15:00 Talk | Pedro Martins PontesFaculty of Engineering, University of Porto and INESC TEC, Bruno LimaFaculty of Engineering, University of Porto and INESC TEC, João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC | |||||||||||||||||||||||||||||||||||||||||
Tue 6 Nov (GMT-05:00) Guadalajara, Mexico City, Monterrey change
08:30 - 10:00: Keynotes - Keynote I at Horizons 6-9F Chair(s): Corina S PasareanuNASA Ames Research Center | ||||||||||||||||||||||||||||||||||||||||||
| 08:30 - 10:00 Talk | Erik MeijerFacebook | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | Christoph MatthiesHasso Plattner Institute, University of Potsdam | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | Davide SpadiniDelft University of Technology, Netherlands | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | Mattia FazziniGeorgia Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | Sarah FakhouryWashington State University | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | Mitra Bokaei HosseiniUniversity of Texas at San Antonio | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | Cheng ZhouYangzhou University | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | Afsoon AfzalCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | Caius BrindescuOregon State University | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | Xinyuan SunUniversity of California, Davis | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | Son NguyenThe University of Texas at Dallas | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | Neill RobsonNC State University | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | Ameya KetkarOregon State University, USA | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | David A TomassiUniversity of California, Davis | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | Daniel DeFreezUniversity of California, Davis | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | Bruno LimaFaculty of Engineering, University of Porto and INESC TEC | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | Francesco NoceraPolytechnic University of Bari | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Poster | Vaastav AnandUniversity of British Columbia | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: Research Papers - Concurrency and Races at Horizons 10-11 Chair(s): Willem VisserStellenbosch University | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:52 Talk | JieLu , Feng LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Lian LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Xiaobing FengICT CAS | |||||||||||||||||||||||||||||||||||||||||
| 10:52 - 11:15 Talk | Dongjie Chen, Yanyan JiangNanjing University, Chang XuNanjing University, Xiaoxing MaNanjing University, Jian LuNanjing University | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:37 Talk | Dileep KiniUniversity of Illinois at Urbana-Champaign, Umang MathurUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign | |||||||||||||||||||||||||||||||||||||||||
| 11:37 - 12:00 Talk | Christoffer Quist AdamsenAarhus University, Anders MøllerAarhus University, Saba AlimadadiNortheastern University, Frank TipNortheastern University | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:52 Talk | Niloofar Mansoor, Jonathan A. Saddler, Bruno SilvaUniversity of Nebraska-Lincoln, Hamid BagheriUniversity of Nebraska-Lincoln, USA, Myra CohenIowa State University, Shane Farritor | |||||||||||||||||||||||||||||||||||||||||
| 10:52 - 11:14 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:14 - 11:36 Talk | Neha RungtaAmazon Web Services | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: Research Papers - Log Mining at Horizons 6-9F Chair(s): Dongyoon LeeVirginia Tech, USA | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:52 Talk | Mehran Hassani, Weiyi ShangConcordia University, Canada, Emad ShihabConcordia University, Nikolaos TsantalisConcordia University, Canada DOI | |||||||||||||||||||||||||||||||||||||||||
| 10:52 - 11:15 Talk | Lingfeng Bao Zhejiang University City College, Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore Management University DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:37 Talk | Hen AmarTel Aviv University, Israel, Lingfeng Bao Zhejiang University City College, Nimrod BusanyTel Aviv University, Israel, David LoSingapore Management University, Shahar MaozTel Aviv University | |||||||||||||||||||||||||||||||||||||||||
| 11:37 - 12:00 Talk | Shilin HeChinese University of Hong Kong, Qingwei LinMicrosoft, China, Jian-Guang LouMicrosoft Research, Hongyu ZhangThe University of Newcastle, Michael Lyu, Dongmei ZhangMicrosoft Research, China | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:52 Talk | Muhammad Ali GulzarUniversity of California, Los Angeles, Siman WangHunan University, Miryung KimUniversity of California, Los Angeles | |||||||||||||||||||||||||||||||||||||||||
| 10:52 - 11:15 Talk | Hongxu ChenNanyang Technological University, Yuekang LiNanyang Technological University, Bihuan ChenFudan University, Yinxing Xue, Yang LiuNanyang Technological University, Singapore | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:37 Talk | Rico AngellUniversity of Massachusetts, Amherst, Brittany JohnsonUniversity of Massachusetts Amherst, Yuriy BrunUniversity of Massachusetts Amherst, Alexandra MeliouUniversity of Massachusetts Amherst Link to publication DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11:37 - 12:00 Demonstration | Andrea StoccoUniversity of British Columbia, Rahulkrishna YandrapallyUniversity of British Columbia, Canada, Ali MesbahUniversity of British Columbia Pre-print | |||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: Research Papers - Deep Learning at Horizons 6-9F Chair(s): David RosenblumNational University of Singapore | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:52 Talk | Vincent HellendoornUniversity of California at Davis, USA, Christian BirdMicrosoft Research, Earl T. Barr, Miltiadis AllamanisMicrosoft Research, Cambridge | |||||||||||||||||||||||||||||||||||||||||
| 13:52 - 14:15 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:15 - 14:37 Talk | Jordan HenkelUniversity of Wisconsin–Madison, Shuvendu K. LahiriMicrosoft Research, Ben LiblitUniversity of Wisconsin–Madison, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc. | |||||||||||||||||||||||||||||||||||||||||
| 14:37 - 15:00 Talk | Shiqing MaPurdue University, USA, Yingqi LiuPurdue University, USA, Wen-Chuan LeePurdue University, Xiangyu ZhangPurdue University, Ananth GramaPurdue University, USA | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:52 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:52 - 14:15 Talk | Pooyan JamshidiUniversity of South Carolina, Miguel VelezCarnegie Mellon University, USA, Christian KästnerCarnegie Mellon University, Norbert SiegmundBauhaus-University Weimar | |||||||||||||||||||||||||||||||||||||||||
| 14:15 - 14:37 Talk | Alexandra (Sasha) FedorovaUniversity of British Columbia, Craig MustardUniversity of British Columbia, Canada, Ivan BeschastnikhComputer Science, University of British Columbia, Julia RubinUniversity of British Columbia, Augustine WongUniversity of British Columbia, Canada, Svetozar MiucinUniversity of British Columbia, Canada, Louis YeUniversity of British Columbia, Canada | |||||||||||||||||||||||||||||||||||||||||
| 14:37 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:52 Talk | Sen ChenEast China Normal University, China/Nanyang Technological University, Singapore, Ting SuNanyang Technological University, Singapore, Lingling FanEast China Normal University, China/Nanyang Technological University, Singapore, Guozhu Meng, Minhui Xue, Yang LiuNanyang Technological University, Singapore, Lihua Xu | |||||||||||||||||||||||||||||||||||||||||
| 13:52 - 14:15 Talk | Jian GaoSchool of Software, Tsinghua University, Xin YangUnionbigdata.com, Ying Fu, Yu Jiang, Heyuan Shi, Jiaguang Sun | |||||||||||||||||||||||||||||||||||||||||
| 14:15 - 14:37 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:37 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: Research Papers - Software Analysis I at Horizons 5 Chair(s): Sebastian ElbaumUniversity of Nebraska-Lincoln, USA | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:52 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:52 - 14:15 Talk | Santanu Kumar DashUniversity College London, UK, Miltiadis AllamanisMicrosoft Research, Cambridge, Earl T. Barr | |||||||||||||||||||||||||||||||||||||||||
| 14:15 - 14:37 Talk | Michail BasiosUniversity College London, Lingbo LiUniversity College London, UK, Fan WuUniversity College London, UK, Leslie KanthanUniversity College London, UK, Earl T. Barr DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 14:37 - 15:00 Talk | Yue LiAarhus University, Denmark, Tian TanAarhus University, Denmark, Anders MøllerAarhus University, Yannis SmaragdakisUniversity of Athens | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | Mitra Bokaei HosseiniUniversity of Texas at San Antonio | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | Davide SpadiniDelft University of Technology, Netherlands | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | Afsoon AfzalCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | Cheng ZhouYangzhou University | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | Mattia FazziniGeorgia Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | Christoph MatthiesHasso Plattner Institute, University of Potsdam | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | Caius BrindescuOregon State University | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | Sarah FakhouryWashington State University | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | Francesco NoceraPolytechnic University of Bari | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | Neill RobsonNC State University | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | Xinyuan SunUniversity of California, Davis | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | Daniel DeFreezUniversity of California, Davis | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | Son NguyenThe University of Texas at Dallas | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | David A TomassiUniversity of California, Davis | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | Ameya KetkarOregon State University, USA | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | Vaastav AnandUniversity of British Columbia | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Poster | Bruno LimaFaculty of Engineering, University of Porto and INESC TEC | |||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:52 Talk | Anastasia Reinhardt, Tianyi ZhangUniversity of California, Los Angeles, Mihir MathurUniversity of California, Los Angeles, Miryung KimUniversity of California, Los Angeles Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 15:52 - 16:15 Talk | Junwen Yang, Cong Yan, Pranav Subramaniam, Shan LuUniversity of Chicago, Alvin CheungUniversity of Washington | |||||||||||||||||||||||||||||||||||||||||
| 16:15 - 16:37 Talk | Jinru Hua, Mengshi ZhangUniversity of Texas at Austin, USA, Kaiyuan Wang, Sarfraz KhurshidUniversity of Texas at Austin | |||||||||||||||||||||||||||||||||||||||||
| 16:37 - 17:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: Research Papers - Developer Studies at Horizons 10-11 Chair(s): Thomas LaTozaGeorge Mason University | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:52 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 15:52 - 16:15 Talk | Yuhao Wu, Shaowei WangQueen's University, Cor-Paul BezemerUniversity of Alberta, Canada, Katsuro InoueOsaka University DOI | |||||||||||||||||||||||||||||||||||||||||
| 16:15 - 16:37 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:37 - 17:00 Full-paper | Achyudh RamUniversity of Waterloo, Anand Ashok SawantDelft University of Technology, Marco CastelluccioMozilla Foundation, UK, Alberto BacchelliUniversity of Zurich Link to publication DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:52 Talk | Fayola PetersLero - The Irish Software Research Centre and University of Limerick, Thein Than Tun, Yijun YuThe Open University, UK, Bashar NuseibehThe Open University (UK) & Lero (Ireland) DOI | |||||||||||||||||||||||||||||||||||||||||
| 15:52 - 16:15 Talk | Marcel BöhmeMonash University DOI | |||||||||||||||||||||||||||||||||||||||||
| 16:15 - 16:37 Talk | James C. DavisVirginia Tech, USA, Christy A. CoghlanVirginia Tech, USA, Francisco ServantVirginia Tech, Dongyoon LeeVirginia Tech, USA | |||||||||||||||||||||||||||||||||||||||||
| 16:37 - 17:00 Talk | Feng DongBeijing University of Posts and Telecommunications, China, Haoyu Wang, Li LiMonash University, Australia, Yao GuoPeking University, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Tianming LiuBeijing University of Posts and Telecommunications, China, Guoai Xu , Jacques KleinUniversity of Luxembourg, SnT | |||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: Research Papers - Testing I at Horizons 5 Chair(s): David LoSingapore Management University | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:52 Talk | Xintao Niu, Changhai Nie, Yu Lei, Hareton Leung, Xiaoyin WangUniversity of Texas at San Antonio, USA DOI | |||||||||||||||||||||||||||||||||||||||||
| 15:52 - 16:15 Talk | Jiayi WeiUniversity of Texas at Austin, Jia ChenUniversity of Texas at Austin, Yu FengUniversity of California, Santa Barbara, USA, Kostas FerlesUT Austin, Isil DilligUT Austin DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:15 - 16:37 Talk | Subhajit RoyIIT Kanpur, India, Awanish PandeyIIT Kanpur, India, Brendan Dolan-GavittNew York University, Yu HuNew York University, USA | |||||||||||||||||||||||||||||||||||||||||
| 16:37 - 17:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 17:15 - 18:45 Meeting | Thomas ZimmermannMicrosoft Research | |||||||||||||||||||||||||||||||||||||||||
| 18:45 - 20:00 Social Event | Gary LeavensUniversity of Central Florida | |||||||||||||||||||||||||||||||||||||||||
Wed 7 Nov (GMT-05:00) Guadalajara, Mexico City, Monterrey change
| 08:30 - 10:00 Talk | Tim MenziesNorth Carolina State University | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: Industry - End User Programming and Financial Applications at Horizons 5 Chair(s): Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:52 Talk | Vladimir Ivanov, Vladislav Pischulin, Alan Rogers, Giancarlo Succi, Jooyong YiInnopolis University, Vasiliy ZorinInnopolis University | |||||||||||||||||||||||||||||||||||||||||
| 10:52 - 11:15 Talk | Víctor Braberman, Diego GarbervetskyUniversity of Buenos Aires, Argentina, Javier Godoy, Sebastian UchitelUniversidad de Buenos Aires / Imperial College, Guido de Caso, Ignacio Perez, Santiago Perez De RossoMIT CSAIL | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:37 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:37 - 12:00 Talk | Qingshun Wang, Lintao Gu, Minhui Xue, Lihua Xu, Wenyu Niu, Liang DouEast China Normal University, Liang He, Tao Xie | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: Demonstrations - Mining at Spring Lake Chair(s): Peter RigbyConcordia University, Montreal, Canada | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:52 Talk | Tien-Duy B. LeSchool of Information Systems, Singapore Management University, Lingfeng Bao Zhejiang University City College, David LoSingapore Management University | |||||||||||||||||||||||||||||||||||||||||
| 10:52 - 11:15 Talk | Han Liu, Zhiqiang YangTsinghua University, Chao Liu, Yu Jiang, Wenqi ZhaoAnt Financial, Jiaguang Sun | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:37 Talk | Cuiyun GaoComputer Science and Engineering, The Chinese University of Hong Kong, Jichuan Zeng, David LoSingapore Management University, Chin-Yew LinMicrosoft, Michael Lyu, Irwin King Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11:37 - 12:00 Talk | Davide SpadiniDelft University of Technology, Netherlands, Mauricio AnicheDelft University of Technology, Netherlands, Alberto BacchelliUniversity of Zurich Pre-print | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: Research Papers - Mobile Apps at Horizons 10-11 Chair(s): Shane McIntoshMcGill University | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:52 Talk | Rubén Saborido InfantesDepartment of Computer Science and Software Engineering, Concordia University, Montreal, Rodrigo MoralesConcordia University, Foutse KhomhPolytechnique Montréal, Yann-Gaël GuéhéneucConcordia University and Polytechnique Montréal, Giuliano AntoniolPolytechnique Montréal DOI | |||||||||||||||||||||||||||||||||||||||||
| 10:52 - 11:15 Talk | Ruizhi Gao, Yabin Wang, Yang FengUniversity of California, Irvine, Zhenyu ChenNanjing University, W. Eric Wong DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:37 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:37 - 12:00 Talk | Ehsan NoeiUniversity of Toronto, Daniel Alencar Da Costa Queen's University, Kingston, Ontario, Ying ZouQueen's University, Kingston, Ontario | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: New Ideas and Emerging Results - NIER I at Horizons 6-9F Chair(s): Gail KaiserColumbia University, New York | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:42 Talk | Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | |||||||||||||||||||||||||||||||||||||||||
| 10:42 - 10:55 Talk | Paulo SalemDell EMC | |||||||||||||||||||||||||||||||||||||||||
| 10:55 - 11:08 Talk | Vincent HellendoornUniversity of California at Davis, USA, Amin AlipourUniversity of Houston, Prem DevanbuUniversity of California | |||||||||||||||||||||||||||||||||||||||||
| 11:08 - 11:21 Talk | Andrew McNamaraNorth Carolina State University, Justin SmithNorth Carolina State University, Emerson Murphy-HillNorth Carolina State University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11:21 - 11:34 Talk | Liang XuInstitute of Software Chinese Academy of Sciences, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Jiaxin ZhuInstitute of Software at Chinese Academy of Sciences, China, Chushu GaoInstitute of Software, Chinese Academy of Sciences, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, Tao HuangInstitute of Software Chinese Academy of Sciences | |||||||||||||||||||||||||||||||||||||||||
| 11:34 - 11:47 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:47 - 12:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: New Ideas and Emerging Results - NIER II at Horizons 6-9F Chair(s): Gail KaiserColumbia University, New York | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:42 Talk | Chu-Pan WongCarnegie Mellon University, Jens MeinickeMagdeburg University, Christian KästnerCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
| 13:42 - 13:55 Talk | Link to publication DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 13:55 - 14:08 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:08 - 14:21 Talk | Mikhail R. GadelhaUniversity of Southampton, Felipe R. MonteiroFederal University of Amazonas, Lucas C. CordeiroUniversity of Manchester, UK, Denis A. NicoleUniversity of Southampton | |||||||||||||||||||||||||||||||||||||||||
| 14:21 - 14:34 Talk | Yuan HuangSchool of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Nan JiaSchool of Management Science and Engineering, Hebei GEO University, Shijiazhuang, China, Xiangping Chen, Kai HongSchool of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Zibin Zheng | |||||||||||||||||||||||||||||||||||||||||
| 14:34 - 14:47 Talk | Jinglei RenPersper Foundation, Hezheng YinUniversity of California, Berkeley, Qingda HuTsinghua University, Armando FoxUC Berkeley, Wojciech KoszekThe FreeBSD Project | |||||||||||||||||||||||||||||||||||||||||
| 14:47 - 15:00 Talk | Davoud MougoueiMonash University, Harsha PereraMonash University, Waqar HussainMonash University, Rifat ShamsMonash University, Jon WhittleMonash University | |||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: Research Papers - Software Analysis II at Horizons 5 Chair(s): Myra CohenIowa State University | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:52 Talk | Sven AmannTechnische Universität Darmstadt, Hoan NguyenIowa State University, Sarah NadiUniversity of Alberta, Tien N. NguyenUniversity of Texas at Dallas, Mira MeziniTU Darmstadt DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:52 - 14:15 Talk | Felix PauckPaderborn University, Germany, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Heike WehrheimPaderborn University | |||||||||||||||||||||||||||||||||||||||||
| 14:15 - 14:37 Talk | Jinman ZhaoUniversity of Wisconsin-Madison, USA, Aws AlbarghouthiUniversity of Wisconsin-Madison, Vaibhav RastogiUniversity of Wisconsin-Madison, USA, Somesh JhaUniversity of Wisconsin, Madison, Damien OcteauUniversity of Wisconsin and Pennsylvania State University | |||||||||||||||||||||||||||||||||||||||||
| 14:37 - 15:00 Talk | Vaibhav SainiUniversity of California at Irvine, USA, Farima FarmahinifarahaniUniversity of California at Irvine, USA, Yadong LuUniversity of California at Irvine, USA, Pierre BaldiUniversity of California at Irvine, USA, Crista Lopes | |||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: Research Papers - Software Maintenance I at Horizons 10-11 Chair(s): Christian BirdMicrosoft Research | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:52 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:52 - 14:15 Research paper | Yang ZhangNational University of Defense Technology, China, Bogdan VasilescuCarnegie Mellon University, Huaimin Wang, Vladimir FilkovUniversity of California at Davis, USA Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 14:15 - 14:37 Talk | Feifei TuPeking University, China, Jiaxin ZhuInstitute of Software at Chinese Academy of Sciences, China, Qimu ZhengPeking University, China, Minghui ZhouPeking University | |||||||||||||||||||||||||||||||||||||||||
| 14:37 - 15:00 Talk | Ying WangNortheastern University, China, Ming WenThe Hong Kong University of Science and Technology, Zhenwei LiuNortheastern University, China, Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Rui WangNortheastern University, China, Bo YangNortheastern University, China, Hai YuNortheastern University, China, Zhiliang ZhuNortheastern University, China, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology | |||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:52 Talk | Ahmet CelikUniversity of Texas at Austin, USA, Young Chul Lee, Milos GligoricUniversity of Texas at Austin | |||||||||||||||||||||||||||||||||||||||||
| 13:52 - 14:14 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:14 - 14:36 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:36 - 15:06 Talk | ||||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: Research Papers - Mining at Horizons 6-9F Chair(s): Hridesh RajanIowa State University | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:52 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 15:52 - 16:15 Talk | Miltiadis AllamanisMicrosoft Research, Cambridge, Earl T. BarrUniversity College London, Christian BirdMicrosoft Research, Prem DevanbuUniversity of California, Mark MarronMicrosoft Research, Charles SuttonUniversity of Edinburgh DOI | |||||||||||||||||||||||||||||||||||||||||
| 16:15 - 16:37 Talk | Pan BianRenmin University of China, China, Bin LiangRenmin University of China, China, Wenchang ShiRenmin University of China, China, Jianjun HuangRenmin University of China, China, Yan CaiInstitute of Software, Chinese Academy of Sciences | |||||||||||||||||||||||||||||||||||||||||
| 16:37 - 17:00 Talk | Daniel DeFreezUniversity of California, Davis, Aditya ThakurUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis | |||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: Demonstrations - Models at Spring Lake Chair(s): Hamid BagheriUniversity of Nebraska-Lincoln, USA | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:52 Talk | Daejun ParkUniversity of Illinois at Urbana-Champaign, Yi ZhangUniversity of Illinois at Urbana-Champaign, Manasvi SaxenaRuntime Verification, Inc., Philip Daian, Grigore RosuUniversity of Illinois at Urbana-Champaign | |||||||||||||||||||||||||||||||||||||||||
| 15:52 - 16:15 Talk | Kaiyuan Wang, Allison Sullivan, Darko MarinovUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity of Texas at Austin | |||||||||||||||||||||||||||||||||||||||||
| 16:15 - 16:37 Talk | Lingfeng Bao Zhejiang University City College, Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore Management University, Shanping Li | |||||||||||||||||||||||||||||||||||||||||
| 16:37 - 17:00 Talk | Ferhat ErataUNIT Information Technologies R&D Ltd., Arda GoknilUniversity of Luxembourg, Ivan KurtevAltran Netherlands, Bedir TekinerdoganWageningen University, The Netherlands | |||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: Research Papers - Symbolic Execution and Constraint Solving at Horizons 10-11 Chair(s): Satish ChandraFacebook | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:52 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:52 - 16:15 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:15 - 16:37 Talk | Sergey MechtaevNational University of Singapore, Alberto GriggioFondazione Bruno Kessler, Alessandro CimattiFondazione Bruno Kessler, Abhik RoychoudhuryNational University of Singapore DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:37 - 17:00 Talk | Abdulbaki AydinMicrosoft, USA, William EiersUniversity of California at Santa Barbara, USA, Lucas Bang, Tegan Brennan, Miroslav GavrilovUniversity of California at Santa Barbara, USA, Tevfik BultanUniversity of California, Santa Barbara, Fang YuNational Chengchi University | |||||||||||||||||||||||||||||||||||||||||
Thu 8 Nov (GMT-05:00) Guadalajara, Mexico City, Monterrey change
10:30 - 12:00: Research Papers - Estimation and Prediction at Horizons 5 Chair(s): Jim HerbslebCarnegie Mellon University | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:52 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 10:52 - 11:15 Talk | Yuming Zhou, Yibiao YangNanjing University, China, Hongmin Lu, Lin ChenNanjing University, Yanhui Li, Yangyang Zhao, Junyan Qian, Baowen Xu Link to publication DOI | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:37 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:37 - 12:00 Talk | Qingwei LinMicrosoft, China, Ken Hsieh, Yingnong DangMicrosoft, USA, Hongyu ZhangThe University of Newcastle, Kaixin SuiMicrosoft, China, Yong XuMicrosoft, China, Jian-Guang LouMicrosoft Research, Chenggang LiNortheastern University, China, Youjiang WuMicrosoft, USA, Randolph YaoMicrosoft, USA, Murali ChintalapatiMicrosoft, USA, Dongmei ZhangMicrosoft Research, China | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: Research Papers - Models at Horizons 10-11 Chair(s): Mauricio AnicheDelft University of Technology, Netherlands | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:52 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
| 10:52 - 11:15 Talk | Di ChenNorth Carolina State University, USA, Wei Fu, Rahul KrishnaNC State University, Tim MenziesNorth Carolina State University | |||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:37 Talk | Xiao HeUniversity of Science and Technology Beijing, China, Zhenjiang HuNational Institute of Informatics | |||||||||||||||||||||||||||||||||||||||||
| 11:37 - 12:00 Talk | Regina HebigChalmers University of Technology & University of Gothenburg, Christoph SeidlTechnische Universität Braunschweig, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, John Kook PedersenIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: Research Papers - Repair and Synthesis at Horizons 6-9F Chair(s): Shahar MaozTel Aviv University | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 10:52 Talk | Kevin MoranCollege of William & Mary, Carlos Bernal-CárdenasWilliam and Mary, Michael Curcio, Richard Bonett, Denys PoshyvanykWilliam and Mary DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:52 - 11:15 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:15 - 11:37 Research paper | Andrea StoccoUniversity of British Columbia, Rahulkrishna YandrapallyUniversity of British Columbia, Canada, Ali MesbahUniversity of British Columbia Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:37 - 12:00 Talk | Xujie SiUniversity of Pennsylvania, Woosuk LeeUniversity of Pennsylvania, USA, Richard ZhangUniversity of Pennsylvania, Aws AlbarghouthiUniversity of Wisconsin-Madison, Paraschos KoutrisUniversity of Wisconsin-Madison, USA, Mayur NaikUniversity of Pennsylvania | |||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: Research Papers - Debugging and Bug Localization at Horizons 6-9F Chair(s): Earlence FernandesUniversity of Michigan | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:52 Talk | Masatomo HashimotoChiba Institute of Technology, Japan, Akira MoriNational Institute of Advanced Industrial Science and Technology, Japan, Tomonori IzumidaIIJ Innovation Institute, Japan Link to publication DOI Authorizer link | |||||||||||||||||||||||||||||||||||||||||
| 13:52 - 14:15 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:15 - 14:37 Talk | Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 14:37 - 15:00 Talk | Titus BarikMicrosoft, Denae FordNorth Carolina State University, Emerson Murphy-HillNorth Carolina State University, Chris ParninNCSU Pre-print | |||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: Research Papers - Probabilistic Reasoning at Horizons 5 Chair(s): Antonio FilieriImperial College London | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:52 Talk | Sayali KatePurdue University, USA, John-Paul OreUniversity of Nebraska-Lincoln, USA, Xiangyu ZhangPurdue University, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA, Zhaogui XuNanjing University, China Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 13:52 - 14:14 Talk | Saikat DuttaUniversity of Illinois at Urbana-Champaign, USA, Owolabi LegunsenUniversity of Illinois at Urbana-Champaign, Zixin HuangUniversity of Illinois at Urbana-Champaign, USA, Sasa MisailovicUniversity of Illinois at Urbana-Champaign | |||||||||||||||||||||||||||||||||||||||||
| 14:14 - 14:36 Talk | Yamilet R. Serrano LlerenaNational University of Singapore, Singapore, Marcel BöhmeMonash University, Marc Brüninknil, Singapore, Guoxin SuUniversity of Wollongong, Australia, David S. Rosenblum | |||||||||||||||||||||||||||||||||||||||||
13:30 - 15:00: Research Papers - Software Maintenance II at Horizons 10-11 Chair(s): Emerson Murphy-HillNorth Carolina State University | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 13:52 Talk | Meng Yan, Xin XiaMonash University, Emad ShihabConcordia University, David LoSingapore Management University, Jianwei Yin, Xiaohu Yang DOI | |||||||||||||||||||||||||||||||||||||||||
| 13:52 - 14:15 Talk | Jackson MaddoxIowa State University, USA, Yuheng LongIowa State University, Hridesh RajanIowa State University | |||||||||||||||||||||||||||||||||||||||||
| 14:15 - 14:37 Talk | Yu GaoInstitute of Software, Chinese Academy of Sciences, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Feng QinOhio State University, USA, Chushu GaoInstitute of Software, Chinese Academy of Sciences, Dong WangInstitute of Software at Chinese Academy of Sciences, China, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, Ruirui HuangAlibaba Group, China, Li ZhouAlibaba Group, China, Yongming WuAlibaba Group, China | |||||||||||||||||||||||||||||||||||||||||
| 14:37 - 15:00 Talk | Thanh NguyenIowa State University, Ngoc Tran, Hung Phan, Trong NguyenIowa State University, USA, Linh Truong, Trong NguyenIowa State University, USA, Hoan Anh NguyenIowa State University, USA, Tien N. NguyenUniversity of Texas at Dallas | |||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: Research Papers - Ecosystems and Crowdsourcing at Horizons 10-11 Chair(s): Peter RigbyConcordia University, Montreal, Canada | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:52 Talk | Eero Laukkanen, Maria PaasivaaraIT University of Copenhagen, Denmark & Aalto University, Finland, Juha Itkonen, Casper LasseniusAalto University, Finland and Simula Metropolitan Center for Digital Engineering, Norway DOI | |||||||||||||||||||||||||||||||||||||||||
| 15:52 - 16:14 Talk | Thomas LaTozaGeorge Mason University, Arturo Di Lecce, Fabio Ricci, W. Ben Towne, Andre van der Hoek University of California, Irvine DOI | |||||||||||||||||||||||||||||||||||||||||
| 16:14 - 16:36 Talk | Marat ValievCarnegie Mellon University, USA, Bogdan VasilescuCarnegie Mellon University, Jim HerbslebCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: Research Papers - Energy at Horizons 6-9F Chair(s): Diego GarbervetskyUniversity of Buenos Aires, Argentina | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:00 Talk | Bobby R. Bruce, Justyna PetkeUniversity College London, Mark HarmanFacebook and University College London, Earl T. Barr DOI | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | Anthony CaninoSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton, Hidehiko MasuharaTokyo Institute of Technology | |||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: Research Papers - Testing II at Horizons 5 Chair(s): Tevfik BultanUniversity of California, Santa Barbara | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 15:52 Talk | Tomasz Kuchta, Thibaud Lutellier, Edmund Wong, Lin TanUniversity of Waterloo , Cristian CadarImperial College London DOI | |||||||||||||||||||||||||||||||||||||||||
| 15:52 - 16:15 Talk | Junjie ChenPeking University, Yiling LouPeking University, China, Lingming Zhang, Jianyi ZhouPeking University, China, Xiaoleng WangBaidu, China, Dan HaoPeking University, Lu ZhangPeking University | |||||||||||||||||||||||||||||||||||||||||
| 16:15 - 16:37 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:37 - 17:00 Talk | Mijung KimHong Kong University of Science and Technology, China, Shing-Chi CheungDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Sunghun KimHong Kong University of Science and Technology | |||||||||||||||||||||||||||||||||||||||||
| 17:15 - 17:45 Social Event | Gary LeavensUniversity of Central Florida | |||||||||||||||||||||||||||||||||||||||||
Fri 9 Nov (GMT-05:00) Guadalajara, Mexico City, Monterrey change
09:00 - 10:00: WASPI - WASPI workshop at Spring Lake Chair(s): Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University, Tien N. NguyenUniversity of Texas at Dallas, Gary LeavensUniversity of Central Florida, Robert DyerBowling Green State University | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:15 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 09:15 - 10:00 Talk | Miryung KimUniversity of California, Los Angeles | |||||||||||||||||||||||||||||||||||||||||
10:30 - 12:00: WASPI - Morning Talks at Spring Lake Chair(s): Gary LeavensUniversity of Central Florida | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Hoan Anh NguyenIowa State University, USA, Tien N. NguyenUniversity of Texas at Dallas, Hridesh RajanIowa State University, Robert DyerBowling Green State University | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Vaibhav SharmaUniversity of Minnesota, Taejoon ByunUniversity of Minnesota, Stephen McCamantUniversity of Minnesota, Sanjai RayadurgamUniversity of Minnesota, Mats P. E. HeimdahlUniversity of Minnesota, USA | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
13:30 - 14:30: WASPI - Afternoon talks at Spring Lake Chair(s): Robert DyerBowling Green State University | ||||||||||||||||||||||||||||||||||||||||||
| 13:30 - 14:00 Talk | Samantha Syeda KhairunnesaIowa State University, Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
14:30 - 15:00: WASPI - Future of Specification Inference Panel at Spring Lake Chair(s): Hoan NguyenIowa State University | ||||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Other | ||||||||||||||||||||||||||||||||||||||||||
15:30 - 17:00: WASPI - Open Discussion: Benchmarks for Program Specification at Spring Lake Chair(s): Hridesh RajanIowa State University | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 17:00 Other | ||||||||||||||||||||||||||||||||||||||||||
Sun 4 Nov (GMT-05:00) Guadalajara, Mexico City, Monterrey change
| Room | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Mon 5 Nov (GMT-05:00) Guadalajara, Mexico City, Monterrey change
| Room | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tue 6 Nov (GMT-05:00) Guadalajara, Mexico City, Monterrey change
| Room | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Wed 7 Nov (GMT-05:00) Guadalajara, Mexico City, Monterrey change
| Room | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 | 21:00 | 30 | 22:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Thu 8 Nov (GMT-05:00) Guadalajara, Mexico City, Monterrey change
| Room | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Fri 9 Nov (GMT-05:00) Guadalajara, Mexico City, Monterrey change
| Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Sun 4 Nov (GMT-05:00) Guadalajara, Mexico City, Monterrey change
| Room | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Rock Lake | 08:30 - 09:15 | 15:30 - 16:15 | 16:15 - 17:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Mon 5 Nov (GMT-05:00) Guadalajara, Mexico City, Monterrey change
| Room | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Rock Lake | 11:37 - 12:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Sandy Lake | 14:15 - 15:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Solar | 08:30 - 09:00 | 10:00 - 10:30 | 12:00 - 13:30 | 16:45 - 17:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Spring Lake | 09:00 - 09:10 | 10:00 - 10:30 | 12:00 - 13:30 | 14:00 - 14:30 | 15:00 - 15:30 | 16:00 - 16:50 | 16:50 - 17:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Tue 6 Nov (GMT-05:00) Guadalajara, Mexico City, Monterrey change
| Room | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | 18:00 | 15 | 30 | 45 | 19:00 | 15 | 30 | 45 | 20:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Horizons 1-4F | 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 10:00 - 10:30 | 15:00 - 15:30 15:00 - 15:30 15:00 - 15:30 15:00 - 15:30 15:00 - 15:30 15:00 - 15:30 15:00 - 15:30 15:00 - 15:30 15:00 - 15:30 15:00 - 15:30 15:00 - 15:30 15:00 - 15:30 15:00 - 15:30 15:00 - 15:30 15:00 - 15:30 15:00 - 15:30 15:00 - 15:30 15:00 - 15:30 15:00 - 15:30 15:00 - 15:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||