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

Sun 4 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00: NL4SE Workshop INL4SE at Rock Lake
08:30 - 09:15
Day opening
NL4SE
09:15 - 10:00
Talk
NL4SE
Marc BrockschmidtMicrosoft Research
08:30 - 10:00: EnSEmble IEnSEmble at Spring Lake
10:00 - 10:30: Coffee Break MorningSocial at Lakes Foyer
10:30 - 12:00: NL4SE Workshop IINL4SE at Rock Lake
10:30 - 10:45
Talk
NL4SE
10:45 - 11:00
Talk
NL4SE
Kevin LeeUniversity of California at Davis, USA, Casey CasalnuovoUniversity of California at Davis, USA
11:00 - 11:15
Talk
NL4SE
Danielle GonzalezRochester Institute of Technology, USA, Suzanne PrenticeUniversity of South Carolina, USA, Mehdi MirakhorliRochester Institute of Technology
11:15 - 11:30
Talk
NL4SE
Robert WhiteUniversity College London, UK, Jens KrinkeUniversity College London
11:30 - 11:45
Talk
NL4SE
Kate M. Bowers, Reihaneh H. HaririOakland University, USA, Katey A. PriceAlbion College, USA
11:45 - 12:00
Talk
NL4SE
Sergey MatskevichDrexel University, USA, Colin GordonDrexel University
10:30 - 12:00: EnSEmble IIEnSEmble at Spring Lake
12:00 - 13:30: LunchSocial at Lakeview Restaurant (West)
13:30 - 15:00: NL4SE Workshop IIINL4SE at Rock Lake
13:30 - 13:45
Talk
NL4SE
Umme Ayda MannanOregon State University, USA, Iftekhar AhmedUniversity of California at Irvine, USA, Anita SarmaOregon State University
13:45 - 14:00
Talk
NL4SE
14:00 - 14:15
Talk
NL4SE
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
NL4SE
Mathias EllmannUniversity of Hamburg and LegalTechTeam
14:30 - 14:45
Talk
NL4SE
Grigoreta Sofia CojocarDepartment of Computer Science, Babes-Bolyai University, Adriana-Mihaela GuranDepartment of Computer Science, Babes-Bolyai University
14:45 - 15:00
Talk
NL4SE
Mathias EllmannUniversity of Hamburg and LegalTechTeam, Marko Schnecken.n., n.n.
13:30 - 15:00: EnSEmble IIIEnSEmble at Spring Lake
15:00 - 15:30: Coffee Break AfternoonSocial at Lakes Foyer
15:30 - 17:00: NL4SE Workshop IVNL4SE at Rock Lake
15:30 - 16:15
Day closing
NL4SE
16:15 - 17:00
Talk
NL4SE
15:30 - 17:00: EnSEmble IVEnSEmble at Spring Lake

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00: SWAN ISWAN at Rock Lake
08:30 - 10:00: A-TEST IA-TEST at Sandy Lake
08:30 - 17:00: Doctoral Symposium (invitation only)Doctorial Symposium at Solar
08:30 - 09:00
Other
Doctorial Symposium
Hridesh RajanIowa State University
09:00 - 10:00
Talk
Doctorial Symposium
S: Margaret-Anne StoreyUniversity of Victoria
10:00 - 10:30
Coffee break
Doctorial Symposium
10:30 - 10:52
Talk
Doctorial Symposium
Davide SpadiniDelft University of Technology, Netherlands
10:52 - 11:14
Talk
Doctorial Symposium
Mattia FazziniGeorgia Institute of Technology
11:14 - 11:36
Talk
Doctorial Symposium
Sarah FakhouryWashington State University
11:36 - 11:58
Talk
Doctorial Symposium
Mitra Bokaei HosseiniUniversity of Texas at San Antonio
12:00 - 13:30
Lunch
Doctorial Symposium
13:30 - 13:52
Talk
Doctorial Symposium
Cheng ZhouYangzhou University
13:52 - 14:14
Talk
Doctorial Symposium
Afsoon AfzalCarnegie Mellon University
14:14 - 14:36
Talk
Doctorial Symposium
Caius BrindescuOregon State University
14:36 - 15:00
Other
Doctorial Symposium
15:00 - 15:30
Coffee break
Doctorial Symposium
15:30 - 16:45
Talk
Doctorial Symposium
16:45 - 17:00
Other
Doctorial Symposium
08:30 - 17:00: JPF WorkshopJPF at Spring Lake
09:00 - 09:10
Day opening
JPF
09:10 - 10:00
Talk
JPF
Tevfik BultanUniversity of California, Santa Barbara
10:00 - 10:30
Coffee break
JPF
10:30 - 11:00
Research paper
JPF
Maria PaquinBoise State University, Elena ShermanBoise State University, Amit JainBoise State University
11:00 - 11:30
Research paper
JPF
Lucas C. CordeiroUniversity of Manchester, UK, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Sussex
11:30 - 12:00
Research paper
JPF
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
JPF
13:30 - 14:00
Talk
JPF
Quoc-Sang PhanFujitsu Laboratories of America
14:00 - 14:30
Research paper
JPF
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
JPF
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
JPF
15:30 - 16:00
Research paper
JPF
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
JPF
16:50 - 17:00
Day closing
JPF
10:00 - 10:30: Coffee Break MorningSocial at Lakes Foyer
10:30 - 11:15: Session 1: Continuous integrationSWAN at Rock Lake
10:30 - 10:52
Talk
SWAN
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
SWAN
Akond RahmanNorth Carolina State University, Amritanshu AgrawalNorth Carolina State University, Rahul KrishnaNC State University, Alexander Sobran
10:30 - 12:00: A-TEST IIA-TEST at Sandy Lake
10:30 - 10:48
Talk
A-TEST
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
A-TEST
Shogo TakakuraKwansei Gakuin University, Japan, Mitsuyoshi IwatsujiKwansei Gakuin University, Japan, Nagisa IshiuraKwansei Gakuin University
11:06 - 11:24
Talk
A-TEST
Ákos KissUniversity of Szeged, Hungary, Renáta HodovánUniversity of Szeged, Hungary, Tibor GyimóthyUniversity of Szeged, Hungary
11:24 - 11:42
Talk
A-TEST
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
A-TEST
Thi Anh Tuyet VuongKeio University, Japan, Shingo TakadaKeio University, Japan
11:15 - 12:00: Session 2: Defect predictionSWAN at Rock Lake
11:15 - 11:37
Talk
SWAN
Davide FalessiCalifornia Polytechnic State University, Max Jason MoedeCalifornia Polytechnic State University, USA
11:37 - 12:00
Talk
SWAN
Huy TuNorth Carolina State University, USA, Vivek Nair
12:00 - 13:30: LunchSocial at Lakeview Restaurant (West)
13:30 - 15:00: SWAN IIISWAN at Rock Lake
13:30 - 15:00: A-TEST IIIA-TEST at Sandy Lake
13:30 - 14:15
Talk
A-TEST
Kota KitauraKwansei Gakuin University, Japan, Nagisa IshiuraKwansei Gakuin University
14:15 - 15:00
Talk
A-TEST
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
15:00 - 15:30: Coffee Break AfternoonSocial at Lakes Foyer
15:30 - 17:00: SWAN IVSWAN at Rock Lake
15:30 - 17:00: A-TEST IVA-TEST at Sandy Lake

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:00 - 10:30: SRC Posters IStudent Research Competition at Horizons 1-4F
10:00 - 10:30
Poster
Student Research Competition
10:00 - 10:30
Poster
Student Research Competition
Xinyuan SunUniversity of California, Davis
10:00 - 10:30
Poster
Student Research Competition
Son NguyenThe University of Texas at Dallas
10:00 - 10:30
Poster
Student Research Competition
Neill RobsonNC State University
10:00 - 10:30
Poster
Student Research Competition
Ameya KetkarOregon State University, USA
10:00 - 10:30
Poster
Student Research Competition
David A TomassiUniversity of California, Davis
10:00 - 10:30
Poster
Student Research Competition
Daniel DeFreezUniversity of California, Davis
10:00 - 10:30
Poster
Student Research Competition
Bruno LimaFaculty of Engineering, University of Porto and INESC TEC
10:00 - 10:30
Poster
Student Research Competition
Francesco NoceraPolytechnic University of Bari
10:00 - 10:30
Poster
Student Research Competition
10:00 - 10:30
Poster
Student Research Competition
Vaastav AnandUniversity of British Columbia
10:00 - 10:30: Doctoral Symposium Posters IDoctorial Symposium at Horizons 1-4F
10:00 - 10:30
Poster
Doctorial Symposium
Christoph MatthiesHasso Plattner Institute, University of Potsdam
10:00 - 10:30
Poster
Doctorial Symposium
10:00 - 10:30
Poster
Doctorial Symposium
10:00 - 10:30
Poster
Doctorial Symposium
10:00 - 10:30
Poster
Doctorial Symposium
10:00 - 10:30
Poster
Doctorial Symposium
Davide SpadiniDelft University of Technology, Netherlands
10:00 - 10:30
Poster
Doctorial Symposium
Mattia FazziniGeorgia Institute of Technology
10:00 - 10:30
Poster
Doctorial Symposium
Sarah FakhouryWashington State University
10:00 - 10:30
Poster
Doctorial Symposium
Mitra Bokaei HosseiniUniversity of Texas at San Antonio
10:00 - 10:30
Poster
Doctorial Symposium
Cheng ZhouYangzhou University
10:00 - 10:30
Poster
Doctorial Symposium
Afsoon AfzalCarnegie Mellon University
10:00 - 10:30
Poster
Doctorial Symposium
Caius BrindescuOregon State University
10:00 - 10:30: Coffee Break MorningSocial at Horizons 1-4F
10:30 - 12:00: Concurrency and RacesResearch Papers at Horizons 10-11
Chair(s): Willem VisserStellenbosch University
10:30 - 10:52
Talk
Research Papers
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
Research Papers
Dongjie Chen, Yanyan JiangNanjing University, Chang XuNanjing University, Xiaoxing MaNanjing University, Jian LuNanjing University
11:15 - 11:37
Talk
Research Papers
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
Research Papers
Christoffer Quist AdamsenAarhus University, Anders MøllerAarhus University, Saba AlimadadiNortheastern University, Frank TipNortheastern University
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
10:30 - 12:00: TestingDemonstrations at Solar
Chair(s): Lingming Zhang
10:30 - 10:52
Talk
Demonstrations
Muhammad Ali GulzarUniversity of California, Los Angeles, Siman WangHunan University, Miryung KimUniversity of California, Los Angeles
10:52 - 11:15
Talk
Demonstrations
Hongxu ChenNanyang Technological University, Yuekang LiNanyang Technological University, Bihuan ChenFudan University, Yinxing Xue, Yang LiuNanyang Technological University, Singapore
11:15 - 11:37
Talk
Demonstrations
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
Demonstrations
Andrea StoccoUniversity of British Columbia, Rahulkrishna YandrapallyUniversity of British Columbia, Canada, Ali MesbahUniversity of British Columbia
Pre-print
12:00 - 13:30: LunchSocial at Lakeview Restaurant
12:00 - 13:30
Lunch
Faculty Mentorship Roundtables
13:30 - 15:00: PerformanceResearch Papers / Journal-First at Horizons 10-11
Chair(s): Zhendong SuETH Zurich
13:30 - 13:52
Talk
Journal-First
DOI
13:52 - 14:15
Talk
Research Papers
Pooyan JamshidiUniversity of South Carolina, Miguel VelezCarnegie Mellon University, USA, Christian KästnerCarnegie Mellon University, Norbert SiegmundBauhaus-University Weimar
14:15 - 14:37
Talk
Research Papers
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
Research Papers
Junhee LeeKorea University, South Korea, Seongjoon HongKorea University, Hakjoo OhKorea University
13:30 - 15:00: Software Analysis IResearch Papers / Journal-First at Horizons 5
Chair(s): Sebastian ElbaumUniversity of Nebraska-Lincoln, USA
13:30 - 13:52
Talk
Journal-First
Ganesha UpadhyayaFuturewei Technologies, Hridesh RajanIowa State University
DOI
13:52 - 14:15
Talk
Research Papers
Santanu Kumar DashUniversity College London, UK, Miltiadis AllamanisMicrosoft Research, Cambridge, Earl T. Barr
14:15 - 14:37
Talk
Research Papers
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
Research Papers
Yue LiAarhus University, Denmark, Tian TanAarhus University, Denmark, Anders MøllerAarhus University, Yannis SmaragdakisUniversity of Athens
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
13:30 - 15:00: SecurityIndustry at Solar
Chair(s): Myra CohenIowa State University
13:30 - 13:52
Talk
Industry
Sen ChenNanyang 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
Industry
Jian GaoSchool of Software, Tsinghua University, Xin YangUnionbigdata.com, Ying Fu, Yu Jiang, Heyuan Shi, Jiaguang Sun
14:15 - 14:37
Talk
Industry
14:37 - 15:00
Talk
Industry
15:00 - 15:30: Doctoral Symposium Posters IIDoctorial Symposium at Horizons 1-4F
15:00 - 15:30
Poster
Doctorial Symposium
Mitra Bokaei HosseiniUniversity of Texas at San Antonio
15:00 - 15:30
Poster
Doctorial Symposium
Davide SpadiniDelft University of Technology, Netherlands
15:00 - 15:30
Poster
Doctorial Symposium
15:00 - 15:30
Poster
Doctorial Symposium
Afsoon AfzalCarnegie Mellon University
15:00 - 15:30
Poster
Doctorial Symposium
Cheng ZhouYangzhou University
15:00 - 15:30
Poster
Doctorial Symposium
Mattia FazziniGeorgia Institute of Technology
15:00 - 15:30
Poster
Doctorial Symposium
Christoph MatthiesHasso Plattner Institute, University of Potsdam
15:00 - 15:30
Poster
Doctorial Symposium
15:00 - 15:30
Poster
Doctorial Symposium
Caius BrindescuOregon State University
15:00 - 15:30
Poster
Doctorial Symposium
15:00 - 15:30
Poster
Doctorial Symposium
15:00 - 15:30
Poster
Doctorial Symposium
Sarah FakhouryWashington State University
15:00 - 15:30: SRC Posters IIStudent Research Competition at Horizons 1-4F
15:00 - 15:30
Poster
Student Research Competition
Francesco NoceraPolytechnic University of Bari
15:00 - 15:30
Poster
Student Research Competition
Neill RobsonNC State University
15:00 - 15:30
Poster
Student Research Competition
15:00 - 15:30
Poster
Student Research Competition
Xinyuan SunUniversity of California, Davis
15:00 - 15:30
Poster
Student Research Competition
Daniel DeFreezUniversity of California, Davis
15:00 - 15:30
Poster
Student Research Competition
15:00 - 15:30
Poster
Student Research Competition
Son NguyenThe University of Texas at Dallas
15:00 - 15:30
Poster
Student Research Competition
David A TomassiUniversity of California, Davis
15:00 - 15:30
Poster
Student Research Competition
Ameya KetkarOregon State University, USA
15:00 - 15:30
Poster
Student Research Competition
Vaastav AnandUniversity of British Columbia
15:00 - 15:30
Poster
Student Research Competition
Bruno LimaFaculty of Engineering, University of Porto and INESC TEC
15:00 - 15:30: Coffee Break AfternoonSocial at Horizons 1-4F
15:30 - 17:00: Developer StudiesResearch Papers / Journal-First at Horizons 10-11
Chair(s): Thomas LaTozaGeorge Mason University
15:30 - 15:52
Talk
Journal-First
DOI
15:52 - 16:15
Talk
Journal-First
Yuhao Wu, Shaowei WangQueen's University, Cor-Paul BezemerUniversity of Alberta, Canada, Katsuro InoueOsaka University
DOI
16:15 - 16:37
Talk
Research Papers
Sebastian Baltes University of Trier, Stephan DiehlComputer Science, University Trier, Germany
Pre-print
16:37 - 17:00
Full-paper
Research Papers
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 - 17:00: Testing IResearch Papers / Journal-First at Horizons 5
Chair(s): David LoSingapore Management University
15:30 - 15:52
Talk
Journal-First
Xintao Niu, Changhai Nie, Yu Lei, Hareton Leung, Xiaoyin WangUniversity of Texas at San Antonio, USA
DOI
15:52 - 16:15
Talk
Research Papers
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
Research Papers
Subhajit RoyIIT Kanpur, India, Awanish PandeyIIT Kanpur, India, Brendan Dolan-GavittNew York University, Yu HuNew York University, USA
16:37 - 17:00
Talk
Research Papers
Rachel Tzoref-BrillIBM Research, Shahar MaozTel Aviv University
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
15:30 - 17:00: BugsDemonstrations at Solar
Chair(s): Hoan NguyenIowa State University
15:30 - 15:52
Talk
Demonstrations
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
Demonstrations
Junwen Yang, Cong Yan, Pranav Subramaniam, Shan LuUniversity of Chicago, Alvin CheungUniversity of Washington
16:15 - 16:37
Talk
Demonstrations
Jinru Hua, Mengshi ZhangUniversity of Texas at Austin, USA, Kaiyuan Wang, Sarfraz KhurshidUniversity of Texas at Austin
16:37 - 17:00
Talk
Demonstrations
Louis-Philippe QuerelConcordia University, Peter RigbyConcordia University, Montreal, Canada
17:15 - 18:45: SIGSOFT Town Hall MeetingSocial at Horizons 10-11
17:15 - 18:45
Meeting
Social
Thomas ZimmermannMicrosoft Research
18:45 - 20:00: Post Town Hall ReceptionSocial at Horizons 1-4F
18:45 - 20:00
Social Event
Social
Gary LeavensUniversity of Central Florida

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:00 - 10:30: Coffee Break MorningSocial at Horizons 1-4F
10:30 - 12:00: Mobile AppsResearch Papers / Journal-First at Horizons 10-11
Chair(s): Shane McIntoshMcGill University
10:30 - 10:52
Talk
Journal-First
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
Journal-First
Ruizhi Gao, Yabin Wang, Yang FengUniversity of California, Irvine, Zhenyu ChenNanjing University, W. Eric Wong
DOI
11:15 - 11:37
Talk
Research Papers
Gang HuColumbia University, USA, Linjie Zhu, Junfeng YangColumbia University
11:37 - 12:00
Talk
Research Papers
Ehsan NoeiUniversity of Toronto, Daniel Alencar Da Costa Queen's University, Kingston, Ontario, Ying ZouQueen's University, Kingston, Ontario
10:30 - 12:00: End User Programming and Financial ApplicationsIndustry 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
Industry
10:52 - 11:15
Talk
Industry
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
Industry
Jie Zhang, Shi Han, Dan HaoPeking University, Lu Zhang, Dongmei ZhangMicrosoft Research, China
11:37 - 12:00
Talk
Industry
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
10:30 - 12:00: SRCStudent Research Competition at Solar
10:30 - 12:00: MiningDemonstrations at Spring Lake
Chair(s): Peter RigbyConcordia University, Montreal, Canada
10:30 - 10:52
Talk
Demonstrations
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
Demonstrations
Han Liu, Zhiqiang YangTsinghua University, Chao Liu, Yu Jiang, Wenqi ZhaoAnt Financial, Jiaguang Sun
11:15 - 11:37
Talk
Demonstrations
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
Demonstrations
Davide SpadiniDelft University of Technology, Netherlands, Mauricio AnicheDelft University of Technology, Netherlands, Alberto BacchelliUniversity of Zurich
Pre-print
12:00 - 13:30: LunchSocial at Lakeview Restaurant
12:00 - 13:30: Mentoring Lunch IIFaculty Mentorship Roundtables at Lakeview Restaurant Table
12:00 - 13:30
Lunch
Faculty Mentorship Roundtables
13:30 - 15:00: Software Maintenance IResearch Papers / Journal-First at Horizons 10-11
Chair(s): Christian BirdMicrosoft Research
13:30 - 13:52
Talk
Journal-First
Keheliya GallabaMcGill University, Shane McIntoshMcGill University
DOI
13:52 - 14:15
Research paper
Research Papers
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
Research Papers
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
Research Papers
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 - 15:00: Software Analysis IIResearch Papers / Journal-First at Horizons 5
Chair(s): Myra CohenIowa State University
13:30 - 13:52
Talk
Journal-First
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
Research Papers
Felix PauckPaderborn University, Germany, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Heike WehrheimPaderborn University
14:15 - 14:37
Talk
Research Papers
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
Research Papers
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: 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:00 - 15:30: Coffee Break AfternoonSocial at Horizons 1-4F
15:30 - 17:00: Symbolic Execution and Constraint SolvingResearch Papers at Horizons 10-11
Chair(s): Satish ChandraFacebook
15:30 - 15:52
Talk
Research Papers
Qiuping YiTexas A&M University, Jeff HuangTexas A&M University
15:52 - 16:15
Talk
Research Papers
Shengjian (Daniel) GuoVirginia Tech, Meng WuVirginia Tech, Chao WangUSC
16:15 - 16:37
Talk
Research Papers
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
Research Papers
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
15:30 - 17:00: ROSE FestivalROSE Festival at Horizons 5
15:30 - 17:00
Other
ROSE Festival
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
15:30 - 17:00: ModelsDemonstrations at Spring Lake
Chair(s): Hamid BagheriUniversity of Nebraska-Lincoln, USA
15:30 - 15:52
Talk
Demonstrations
Daejun ParkUniversity of Illinois at Urbana-Champaign, Yi ZhangUniversity of Illinois at Urbana-Champaign, Manasvi SaxenaRuntime Verification, Inc., Philip Daian, Grigore RoşuUniversity of Illinois at Urbana-Champaign
15:52 - 16:15
Talk
Demonstrations
Kaiyuan Wang, Allison Sullivan, Darko MarinovUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity of Texas at Austin
16:15 - 16:37
Talk
Demonstrations
Lingfeng Bao Zhejiang University City College, Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore Management University, Shanping Li
16:37 - 17:00
Talk
Demonstrations
Ferhat ErataUNIT Information Technologies R&D Ltd., Arda GoknilUniversity of Luxembourg, Ivan KurtevAltran Netherlands, Bedir TekinerdoganWageningen University, The Netherlands
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:00 - 10:30: Coffee Break MorningSocial at Horizons 1-4F
10:30 - 12:00: ModelsResearch Papers / Journal-First at Horizons 10-11
Chair(s): Mauricio AnicheDelft University of Technology, Netherlands
10:30 - 10:52
Talk
Journal-First
DOI
10:52 - 11:15
Talk
Research Papers
Di ChenNorth Carolina State University, USA, Wei Fu, Rahul KrishnaNC State University, Tim MenziesNorth Carolina State University
11:15 - 11:37
Talk
Research Papers
Xiao HeUniversity of Science and Technology Beijing, China, Zhenjiang HuNational Institute of Informatics
11:37 - 12:00
Talk
Research Papers
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: Estimation and PredictionResearch Papers / Journal-First at Horizons 5
Chair(s): Jim HerbslebCarnegie Mellon University
10:30 - 10:52
Talk
Journal-First
Yuanrui Fan, Xin XiaMonash University, David LoSingapore Management University, Shanping Li
DOI
10:52 - 11:15
Talk
Journal-First
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
Research Papers
11:37 - 12:00
Talk
Research Papers
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: 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
12:00 - 13:30: LunchSocial at Lakeview Restaurant
12:00 - 13:30: Mentoring Lunch IIIFaculty Mentorship Roundtables at Lakeview Restaurant Table
12:00 - 13:30
Lunch
Faculty Mentorship Roundtables
13:30 - 15:00: Software Maintenance IIResearch Papers / Journal-First at Horizons 10-11
Chair(s): Emerson Murphy-HillNorth Carolina State University
13:30 - 13:52
Talk
Journal-First
Meng Yan, Xin XiaMonash University, Emad ShihabConcordia University, David LoSingapore Management University, Jianwei Yin, Xiaohu Yang
DOI
13:52 - 14:15
Talk
Research Papers
Jackson MaddoxIowa State University, USA, Yuheng LongIowa State University, Hridesh RajanIowa State University
14:15 - 14:37
Talk
Research Papers
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
Research Papers
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
13:30 - 15:00: Probabilistic ReasoningResearch Papers at Horizons 5
Chair(s): Antonio FilieriImperial College London
13:30 - 13:52
Talk
Research Papers
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
Research Papers
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
Research Papers
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: 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:00 - 15:30: Coffee Break AfternoonSocial at Horizons 1-4F
15:30 - 17:00: Ecosystems and CrowdsourcingResearch Papers / Journal-First at Horizons 10-11
Chair(s): Peter RigbyConcordia University, Montreal, Canada
15:30 - 15:52
Talk
Journal-First
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
Journal-First
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
Research Papers
Marat ValievCarnegie Mellon University, USA, Bogdan VasilescuCarnegie Mellon University, Jim HerbslebCarnegie Mellon University
15:30 - 17:00: Testing IIResearch Papers / Journal-First at Horizons 5
Chair(s): Tevfik BultanUniversity of California, Santa Barbara
15:30 - 15:52
Talk
Journal-First
Tomasz Kuchta, Thibaud Lutellier, Edmund Wong, Lin TanUniversity of Waterloo , Cristian CadarImperial College London
DOI
15:52 - 16:15
Talk
Research Papers
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
Research Papers
Peipei WangNorth Carolina State University, USA, Kathryn StoleeNorth Carolina State University
16:37 - 17:00
Talk
Research Papers
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
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

Fri 9 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: WASPI workshopWASPI 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
WASPI
09:15 - 10:00
Talk
WASPI
Miryung KimUniversity of California, Los Angeles
10:00 - 10:30: Coffee Break MorningSocial at Spring Lake
10:30 - 12:00: Morning TalksWASPI at Spring Lake
Chair(s): Gary LeavensUniversity of Central Florida
10:30 - 11:00
Talk
WASPI
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
WASPI
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
WASPI
Quoc Anh DoMississippi State University, Tanmay BhowmikMississippi State University
12:00 - 13:30: LunchSocial at Rock Lake
13:30 - 14:30: Afternoon talksWASPI at Spring Lake
Chair(s): Robert DyerBowling Green State University
13:30 - 14:00
Talk
WASPI
Samantha Syeda KhairunnesaIowa State University, Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University
14:00 - 14:30
Talk
WASPI
Ryota YamamotoNagoya University, Norihiro YoshidaNagoya University, Hiroaki TakadaNagoya University
DOI Pre-print
14:30 - 15:00: Future of Specification Inference PanelWASPI at Spring Lake
Chair(s): Hoan NguyenIowa State University
14:30 - 15:00
Other
WASPI
15:00 - 15:30: Coffee Break AfternoonSocial at Spring Lake
15:30 - 17:00: Open Discussion: Benchmarks for Program SpecificationWASPI at Spring Lake
Chair(s): Hridesh RajanIowa State University
15:30 - 17:00
Other
WASPI

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Rock Lake
Sandy Lake
Solar
Spring Lake
09:00 - 09:10
10:00 - 10:30
15:00 - 15:30
16:50 - 17:00

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
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
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