VenueWyndham Lake Buena Vista Disney Springs Resort
Room nameHorizons 6-9F
Floor0
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00: Keynote IKeynotes at Horizons 6-9F
Chair(s): Corina S PasareanuNASA Ames Research Center
08:30 - 10:00
Talk
Keynotes
Erik MeijerFacebook
10:30 - 12:00: Log MiningResearch Papers / Journal-First at Horizons 6-9F
Chair(s): Dongyoon LeeVirginia Tech, USA
10:30 - 10:52
Talk
Journal-First
Mehran Hassani, Weiyi ShangConcordia University, Canada, Emad ShihabConcordia University, Nikolaos TsantalisConcordia University, Canada
DOI
10:52 - 11:15
Talk
Journal-First
Lingfeng Bao Zhejiang University City College, Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore Management University
DOI
11:15 - 11:37
Talk
Research Papers
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
Research Papers
Shilin HeChinese University of Hong Kong, Qingwei LinMicrosoft, China, Jian-Guang LouMicrosoft Research, Hongyu ZhangThe University of Newcastle, Michael Lyu, Dongmei ZhangMicrosoft Research, China
13:30 - 15:00: Deep LearningResearch Papers at Horizons 6-9F
Chair(s): David RosenblumNational University of Singapore
13:30 - 13:52
Talk
Research Papers
Vincent HellendoornUniversity of California at Davis, USA, Christian BirdMicrosoft Research, Earl T. Barr, Miltiadis AllamanisMicrosoft Research, Cambridge
13:52 - 14:15
Talk
Research Papers
Gang Zhao, Jeff HuangTexas A&M University
14:15 - 14:37
Talk
Research Papers
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
Research Papers
Shiqing MaPurdue University, USA, Yingqi LiuPurdue University, USA, Wen-Chuan LeePurdue University, Xiangyu ZhangPurdue University, Ananth GramaPurdue University, USA
15:30 - 17:00: SecurityResearch Papers / Journal-First at Horizons 6-9F
Chair(s): Lucas Bang
15:30 - 15:52
Talk
Journal-First
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
Journal-First
Marcel BöhmeMonash University
DOI
16:15 - 16:37
Talk
Research Papers
James C. DavisVirginia Tech, USA, Christy A. CoghlanVirginia Tech, USA, Francisco ServantVirginia Tech, Dongyoon LeeVirginia Tech, USA
16:37 - 17:00
Talk
Research Papers
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

Wed 7 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00: Keynote IIKeynotes at Horizons 6-9F
Chair(s): Satish ChandraFacebook
08:30 - 10:00
Talk
Keynotes
Tim MenziesNorth Carolina State University
10:30 - 12:00: NIER INew Ideas and Emerging Results at Horizons 6-9F
Chair(s): Gail KaiserColumbia University, New York
10:30 - 10:42
Talk
New Ideas and Emerging Results
Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
10:42 - 10:55
Talk
New Ideas and Emerging Results
Paulo SalemDell EMC
10:55 - 11:08
Talk
New Ideas and Emerging Results
Vincent HellendoornUniversity of California at Davis, USA, Amin AlipourUniversity of Houston, Prem DevanbuUniversity of California
11:08 - 11:21
Talk
New Ideas and Emerging Results
Andrew McNamaraNorth Carolina State University, Justin SmithNorth Carolina State University, Emerson Murphy-HillNorth Carolina State University
Pre-print
11:21 - 11:34
Talk
New Ideas and Emerging Results
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
New Ideas and Emerging Results
11:47 - 12:00
Talk
New Ideas and Emerging Results
Sayem Mohammad ImtiazMississippi State University, Tanmay BhowmikMississippi State University
13:30 - 15:00: NIER IINew Ideas and Emerging Results at Horizons 6-9F
Chair(s): Gail KaiserColumbia University, New York
13:30 - 13:42
Talk
New Ideas and Emerging Results
Chu-Pan WongCarnegie Mellon University, Jens MeinickeMagdeburg University, Christian KästnerCarnegie Mellon University
13:42 - 13:55
Talk
New Ideas and Emerging Results
Yuriy BrunUniversity of Massachusetts Amherst, Alexandra MeliouUniversity of Massachusetts Amherst
Link to publication DOI Pre-print
13:55 - 14:08
Talk
New Ideas and Emerging Results
Elena ShermanBoise State University, Robert DyerBowling Green State University
14:08 - 14:21
Talk
New Ideas and Emerging Results
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
New Ideas and Emerging Results
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
New Ideas and Emerging Results
Jinglei RenPersper Foundation, Hezheng YinUniversity of California, Berkeley, Qingda HuTsinghua University, Armando FoxUC Berkeley, Wojciech KoszekThe FreeBSD Project
14:47 - 15:00
Talk
New Ideas and Emerging Results
Davoud MougoueiMonash University, Harsha PereraMonash University, Waqar HussainMonash University, Rifat ShamsMonash University, Jon WhittleMonash University
15:30 - 17:00: MiningResearch Papers / Journal-First at Horizons 6-9F
Chair(s): Hridesh RajanIowa State University
15:30 - 15:52
Talk
Journal-First
Zhe Yu, Nicholas A. KraftABB Corporate Research, Tim MenziesNorth Carolina State University
DOI
15:52 - 16:15
Talk
Journal-First
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
Research Papers
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
Research Papers
Daniel DeFreezUniversity of California, Davis, Aditya V. ThakurUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis
18:45 - 19:45: ReceptionSocial at Horizons 6-9F
18:45 - 19:45
Social Event
Social
19:45 - 22:00: BanquetSocial at Horizons 6-9F
19:45 - 22:00
Social Event
Social

Thu 8 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00: Keynote IIIKeynotes at Horizons 6-9F
Chair(s): Alessandro GarciaPUC-Rio
08:30 - 10:00
Talk
Keynotes
Lingxiao JiangSingapore Management University, Stéphane GlonduInria Nancy, Zhendong SuETH Zurich
10:30 - 12:00: Repair and SynthesisResearch Papers / Journal-First at Horizons 6-9F
Chair(s): Shahar MaozTel Aviv University
10:30 - 10:52
Talk
Journal-First
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
Research Papers
11:15 - 11:37
Research paper
Research Papers
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
Research Papers
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: Debugging and Bug LocalizationResearch Papers at Horizons 6-9F
Chair(s): Earlence FernandesUniversity of Michigan
13:30 - 13:52
Talk
Research Papers
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
Research Papers
Daniel LehmannTU Darmstadt, Michael PradelTU Darmstadt
14:15 - 14:37
Talk
Research Papers
Masud RahmanUniversity of Saskatchewan , Chanchal K. RoyUniversity of Saskatchewan
Pre-print
14:37 - 15:00
Talk
Research Papers
Titus BarikMicrosoft, Denae FordNorth Carolina State University, Emerson Murphy-HillNorth Carolina State University, Chris ParninNCSU
Pre-print
15:30 - 17:00: EnergyResearch Papers / Journal-First at Horizons 6-9F
Chair(s): Diego GarbervetskyUniversity of Buenos Aires, Argentina
15:30 - 16:00
Talk
Journal-First
Bobby R. Bruce, Justyna PetkeUniversity College London, Mark HarmanFacebook and University College London, Earl T. Barr
DOI
16:00 - 16:30
Talk
Research Papers
Hailong ZhangOhio State University, Haowei Wu, Atanas RountevOhio State University
16:30 - 17:00
Talk
Research Papers
Anthony CaninoSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton, Hidehiko MasuharaTokyo Institute of Technology
17:15 - 17:45: Closing Plenary (closing ceremony)Social at Horizons 6-9F
17:15 - 17:45
Social Event
Social
Gary LeavensUniversity of Central Florida

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Wed 7 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Thu 8 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Wed 7 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:00153045
Horizons 6-9F