Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 4 Nov

fse-2018-EnSEmble
08:30 - 10:00: EnSEmble - EnSEmble I at Spring Lake
fse-2018-NL4SE
08:30 - 10:00: NL4SE - NL4SE Workshop I at Rock Lake
fse-2018-NL4SE08:30 - 09:15
Day opening
fse-2018-NL4SE09:15 - 10:00
Talk
Marc BrockschmidtMicrosoft Research
fse-2018-Social
10:00 - 10:30: Social - Coffee Break Morning at Lakes Foyer
fse-2018-EnSEmble
10:30 - 12:00: EnSEmble - EnSEmble II at Spring Lake
fse-2018-NL4SE
10:30 - 12:00: NL4SE - NL4SE Workshop II at Rock Lake
fse-2018-NL4SE10:30 - 10:45
Talk
fse-2018-NL4SE10:45 - 11:00
Talk
Kevin LeeUniversity of California at Davis, USA, Casey CasalnuovoUniversity of California at Davis, USA
fse-2018-NL4SE11:00 - 11:15
Talk
Danielle GonzalezRochester Institute of Technology, USA, Suzanne PrenticeUniversity of South Carolina, USA, Mehdi MirakhorliRochester Institute of Technology
fse-2018-NL4SE11:15 - 11:30
Talk
Robert WhiteUniversity College London, UK, Jens KrinkeUniversity College London
fse-2018-NL4SE11:30 - 11:45
Talk
Kate M. Bowers, Reihaneh H. HaririOakland University, USA, Katey A. PriceAlbion College, USA
fse-2018-NL4SE11:45 - 12:00
Talk
Sergey MatskevichDrexel University, USA, Colin GordonDrexel University
fse-2018-Social
12:00 - 13:30: Social - Lunch at Lakeview Restaurant (West)
fse-2018-EnSEmble
13:30 - 15:00: EnSEmble - EnSEmble III at Spring Lake
fse-2018-NL4SE
13:30 - 15:00: NL4SE - NL4SE Workshop III at Rock Lake
fse-2018-NL4SE13:30 - 13:45
Talk
Umme Ayda MannanOregon State University, USA, Iftekhar AhmedUniversity of California at Irvine, USA, Anita SarmaOregon State University
fse-2018-NL4SE13:45 - 14:00
Talk
fse-2018-NL4SE14: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
fse-2018-NL4SE14:15 - 14:30
Talk
Mathias EllmannUniversity of Hamburg and LegalTechTeam
fse-2018-NL4SE14:30 - 14:45
Talk
Grigoreta Sofia CojocarDepartment of Computer Science, Babes-Bolyai University, Adriana-Mihaela GuranDepartment of Computer Science, Babes-Bolyai University
fse-2018-NL4SE14:45 - 15:00
Talk
Mathias EllmannUniversity of Hamburg and LegalTechTeam, Marko Schnecken.n., n.n.
fse-2018-Social
15:00 - 15:30: Social - Coffee Break Afternoon at Lakes Foyer
fse-2018-EnSEmble
15:30 - 17:00: EnSEmble - EnSEmble IV at Spring Lake
fse-2018-NL4SE
15:30 - 17:00: NL4SE - NL4SE Workshop IV at Rock Lake
fse-2018-NL4SE15:30 - 16:15
Day closing
fse-2018-NL4SE16:15 - 17:00
Talk

Mon 5 Nov

fse-2018-A-TEST
08:30 - 10:00: A-TEST - A-TEST I at Sandy Lake
fse-2018-Doctorial-Symposium
08:30 - 17:00: Doctorial Symposium - Doctoral Symposium (invitation only) at Solar
fse-2018-Doctorial-Symposium08:30 - 09:00
Other
Hridesh RajanIowa State University
fse-2018-Doctorial-Symposium09:00 - 10:00
Talk
Margaret-Anne StoreyUniversity of Victoria
fse-2018-Doctorial-Symposium10:00 - 10:30
Coffee break
fse-2018-Doctorial-Symposium10:30 - 10:52
Talk
Davide SpadiniDelft University of Technology, Netherlands
fse-2018-Doctorial-Symposium10:52 - 11:14
Talk
Mattia FazziniGeorgia Institute of Technology
fse-2018-Doctorial-Symposium11:14 - 11:36
Talk
Sarah FakhouryWashington State University
fse-2018-Doctorial-Symposium11:36 - 11:58
Talk
Mitra Bokaei HosseiniUniversity of Texas at San Antonio
fse-2018-Doctorial-Symposium12:00 - 13:30
Lunch
fse-2018-Doctorial-Symposium13:30 - 13:52
Talk
Cheng ZhouYangzhou University
fse-2018-Doctorial-Symposium13:52 - 14:14
Talk
Afsoon AfzalCarnegie Mellon University
fse-2018-Doctorial-Symposium14:14 - 14:36
Talk
Caius BrindescuOregon State University
fse-2018-Doctorial-Symposium14:36 - 15:00
Other
fse-2018-Doctorial-Symposium15:00 - 15:30
Coffee break
fse-2018-Doctorial-Symposium15:30 - 16:45
Talk
fse-2018-Doctorial-Symposium16:45 - 17:00
Other
jpf-2018-papers
08:30 - 17:00: JPF - JPF Workshop at Spring Lake
jpf-2018-papers09:00 - 09:10
Day opening
jpf-2018-papers09:10 - 10:00
Talk
Tevfik BultanUniversity of California, Santa Barbara
jpf-2018-papers10:00 - 10:30
Coffee break
jpf-2018-papers10:30 - 11:00
Research paper
Maria PaquinBoise State University, Elena ShermanBoise State University, Amit JainBoise State University
jpf-2018-papers11:00 - 11:30
Research paper
Lucas C. CordeiroUniversity of Manchester, UK, Daniel KroeningUniversity of Oxford, Peter SchrammelUniversity of Sussex
jpf-2018-papers11: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
jpf-2018-papers12:00 - 13:30
Lunch
jpf-2018-papers13:30 - 14:00
Talk
Quoc-Sang PhanFujitsu Laboratories of America
jpf-2018-papers14: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
jpf-2018-papers14: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
jpf-2018-papers15:00 - 15:30
Coffee break
jpf-2018-papers15: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
jpf-2018-papers16:00 - 16:50
Meeting
jpf-2018-papers16:50 - 17:00
Day closing
fse-2018-SWAN
08:30 - 10:00: SWAN - SWAN I at Rock Lake
fse-2018-Social
10:00 - 10:30: Social - Coffee Break Morning at Lakes Foyer
fse-2018-A-TEST
10:30 - 12:00: A-TEST - A-TEST II at Sandy Lake
fse-2018-A-TEST10: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
fse-2018-A-TEST10:48 - 11:06
Talk
Shogo TakakuraKwansei Gakuin University, Japan, Mitsuyoshi IwatsujiKwansei Gakuin University, Japan, Nagisa IshiuraKwansei Gakuin University
fse-2018-A-TEST11:06 - 11:24
Talk
Ákos KissUniversity of Szeged, Hungary, Renáta HodovánUniversity of Szeged, Hungary, Tibor GyimóthyUniversity of Szeged, Hungary
fse-2018-A-TEST11: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
fse-2018-A-TEST11:42 - 12:00
Talk
Thi Anh Tuyet VuongKeio University, Japan, Shingo TakadaKeio University, Japan
fse-2018-SWAN
10:30 - 11:15: SWAN - Session 1: Continuous integration at Rock Lake
fse-2018-SWAN10: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
fse-2018-SWAN10:52 - 11:15
Talk
Akond RahmanNorth Carolina State University, Amritanshu AgrawalNorth Carolina State University, Rahul KrishnaNC State University, Alexander Sobran
fse-2018-SWAN
11:15 - 12:00: SWAN - Session 2: Defect prediction at Rock Lake
fse-2018-SWAN11:15 - 11:37
Talk
Davide FalessiCalifornia Polytechnic State University, Max Jason MoedeCalifornia Polytechnic State University, USA
fse-2018-SWAN11:37 - 12:00
Talk
Huy TuNorth Carolina State University, USA, Vivek Nair
fse-2018-Social
12:00 - 13:30: Social - Lunch at Lakeview Restaurant (West)
fse-2018-A-TEST
13:30 - 15:00: A-TEST - A-TEST III at Sandy Lake
fse-2018-A-TEST13:30 - 14:15
Talk
Kota KitauraKwansei Gakuin University, Japan, Nagisa IshiuraKwansei Gakuin University
fse-2018-A-TEST14: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
fse-2018-SWAN
13:30 - 15:00: SWAN - SWAN III at Rock Lake
fse-2018-Social
15:00 - 15:30: Social - Coffee Break Afternoon at Lakes Foyer
fse-2018-A-TEST
15:30 - 17:00: A-TEST - A-TEST IV at Sandy Lake
fse-2018-SWAN
15:30 - 17:00: SWAN - SWAN IV at Rock Lake

Tue 6 Nov

fse-2018-Keynotes
08:30 - 10:00: Keynotes - Keynote I at Horizons 6-9F
Chair(s): Corina PasareanuNASA Ames Research Center
fse-2018-Keynotes08:30 - 10:00
Talk
Erik MeijerFacebook
fse-2018-Social
10:00 - 10:30: Social - Coffee Break Morning at Horizons 1-4F
fse-2018-Doctorial-Symposium
10:00 - 10:30: Doctorial Symposium - Doctoral Symposium Posters I at Horizons 1-4F
fse-2018-Doctorial-Symposium10:00 - 10:30
Poster
Christoph MatthiesHasso Plattner Institute, University of Potsdam
fse-2018-Doctorial-Symposium10:00 - 10:30
Poster
fse-2018-Doctorial-Symposium10:00 - 10:30
Poster
fse-2018-Doctorial-Symposium10:00 - 10:30
Poster
fse-2018-Doctorial-Symposium10:00 - 10:30
Poster
fse-2018-Doctorial-Symposium10:00 - 10:30
Poster
Davide SpadiniDelft University of Technology, Netherlands
fse-2018-Doctorial-Symposium10:00 - 10:30
Poster
Mattia FazziniGeorgia Institute of Technology
fse-2018-Doctorial-Symposium10:00 - 10:30
Poster
Sarah FakhouryWashington State University
fse-2018-Doctorial-Symposium10:00 - 10:30
Poster
Mitra Bokaei HosseiniUniversity of Texas at San Antonio
fse-2018-Doctorial-Symposium10:00 - 10:30
Poster
Cheng ZhouYangzhou University
fse-2018-Doctorial-Symposium10:00 - 10:30
Poster
Afsoon AfzalCarnegie Mellon University
fse-2018-Doctorial-Symposium10:00 - 10:30
Poster
Caius BrindescuOregon State University
fse-2018-Student-Research-Competition
10:00 - 10:30: Student Research Competition - SRC Posters I at Horizons 1-4F
fse-2018-Student-Research-Competition10:00 - 10:30
Poster
fse-2018-Student-Research-Competition10:00 - 10:30
Poster
Xinyuan SunUniversity of California, Davis
fse-2018-Student-Research-Competition10:00 - 10:30
Poster
Son NguyenThe University of Texas at Dallas
fse-2018-Student-Research-Competition10:00 - 10:30
Poster
Neill RobsonNC State University
fse-2018-Student-Research-Competition10:00 - 10:30
Poster
Ameya KetkarOregon State University, USA
fse-2018-Student-Research-Competition10:00 - 10:30
Poster
David A TomassiUniversity of California, Davis
fse-2018-Student-Research-Competition10:00 - 10:30
Poster
Daniel DeFreezUniversity of California, Davis
fse-2018-Student-Research-Competition10:00 - 10:30
Poster
Bruno LimaFaculty of Engineering, University of Porto and INESC TEC
fse-2018-Student-Research-Competition10:00 - 10:30
Poster
Francesco NoceraPolytechnic University of Bari
fse-2018-Student-Research-Competition10:00 - 10:30
Poster
fse-2018-Student-Research-Competition10:00 - 10:30
Poster
Vaastav AnandUniversity of British Columbia
fse-2018-research-papers
10:30 - 12:00: Research Papers - Concurrency and Races at Horizons 10-11
Chair(s): Willem VisserStellenbosch University
fse-2018-research-papers10: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
fse-2018-research-papers10:52 - 11:15
Talk
Dongjie Chen, Yanyan JiangNanjing University, Chang XuNanjing University, Xiaoxing MaNanjing University, Jian LuNanjing University
fse-2018-research-papers11: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
fse-2018-research-papers11:37 - 12:00
Talk
Christoffer Quist AdamsenAarhus University, Anders MøllerAarhus University, Saba AlimadadiNortheastern University, Frank TipNortheastern University
fse-2018-Industry
10:30 - 12:00: Industry - Formal Analysis at Horizons 5
fse-2018-Industry10: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
fse-2018-Industry10:52 - 11:14
Talk
fse-2018-Industry11:14 - 11:36
Talk
Neha RungtaAmazon Web Services
fse-2018-research-papers
10:30 - 12:00: Research Papers - Log Mining at Horizons 6-9F
Chair(s): Dongyoon LeeVirginia Tech, USA
fse-2018-Journal-First10:30 - 10:52
Talk
Mehran Hassani, Weiyi (Ian) ShangConcordia University, Canada, Emad ShihabConcordia University, Nikolaos TsantalisConcordia University, Canada
DOI
fse-2018-Journal-First10:52 - 11:15
Talk
Lingfeng Bao Zhejiang University City College, Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore Management University
DOI
fse-2018-research-papers11: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
fse-2018-research-papers11: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
fse-2018-Demonstration
10:30 - 12:00: Demonstrations - Testing at Solar
Chair(s): Lingming Zhang
fse-2018-Demonstration10:30 - 10:52
Talk
Muhammad Ali GulzarUniversity of California, Los Angeles, Siman WangHunan University, Miryung KimUniversity of California, Los Angeles
fse-2018-Demonstration10:52 - 11:15
Talk
Hongxu ChenNanyang Technological University, Yuekang LiNanyang Technological University, Bihuan ChenFudan University, Yinxing Xue, Yang LiuNanyang Technological University, Singapore
fse-2018-Demonstration11: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
fse-2018-Demonstration11:37 - 12:00
Demonstration
Andrea StoccoUniversity of British Columbia, Rahulkrishna YandrapallyUniversity of British Columbia, Canada, Ali MesbahUniversity of British Columbia
Pre-print
fse-2018-Social
12:00 - 13:30: Social - Lunch at Lakeview Restaurant
fse-2018-Faculty-Mentorship-Roundtables
12:00 - 13:30: Faculty Mentorship Roundtables - Mentoring Lunch I at Lakeview Restaurant Table
fse-2018-Faculty-Mentorship-Roundtables12:00 - 13:30
Lunch
fse-2018-research-papers
13:30 - 15:00: Research Papers - Deep Learning at Horizons 6-9F
Chair(s): David RosenblumNational University of Singapore
fse-2018-research-papers13:30 - 13:52
Talk
Vincent HellendoornUniversity of California at Davis, USA, Christian BirdMicrosoft Research, Earl T. Barr, Miltiadis AllamanisMicrosoft Research, Cambridge
fse-2018-research-papers13:52 - 14:15
Talk
Gang Zhao, Jeff HuangTexas A&M University
fse-2018-research-papers14: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.
fse-2018-research-papers14:37 - 15:00
Talk
Shiqing MaPurdue University, USA, Yingqi LiuPurdue University, USA, Wen-Chuan LeePurdue University, Xiangyu ZhangPurdue University, Ananth GramaPurdue University, USA
fse-2018-research-papers
13:30 - 15:00: Research Papers - Performance at Horizons 10-11
Chair(s): Zhendong SuETH Zurich
fse-2018-Journal-First13:30 - 13:52
Talk
DOI
fse-2018-research-papers13:52 - 14:15
Talk
Pooyan JamshidiUniversity of South Carolina, Miguel VelezCarnegie Mellon University, USA, Christian KästnerCarnegie Mellon University, Norbert SiegmundBauhaus-University Weimar
fse-2018-research-papers14: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
fse-2018-research-papers14:37 - 15:00
Talk
Junhee LeeKorea University, South Korea, Seongjoon HongKorea University, Hakjoo OhKorea University
fse-2018-Industry
13:30 - 15:00: Industry - Security at Solar
Chair(s): Myra CohenIowa State University
fse-2018-Industry13: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
fse-2018-Industry13:52 - 14:15
Talk
Jian GaoSchool of Software, Tsinghua University, Xin YangUnionbigdata.com, Ying Fu, Yu Jiang, Heyuan Shi, Jiaguang Sun
fse-2018-Industry14:15 - 14:37
Talk
fse-2018-Industry14:37 - 15:00
Talk
fse-2018-research-papers
13:30 - 15:00: Research Papers - Software Analysis I at Horizons 5
Chair(s): Sebastian ElbaumUniversity of Nebraska-Lincoln, USA
fse-2018-Journal-First13:30 - 13:52
Talk
Ganesha UpadhyayaFuturewei Technologies, Hridesh RajanIowa State University
DOI
fse-2018-research-papers13:52 - 14:15
Talk
Santanu Kumar DashUniversity College London, UK, Miltiadis AllamanisMicrosoft Research, Cambridge, Earl T. Barr
fse-2018-research-papers14: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
fse-2018-research-papers14:37 - 15:00
Talk
Yue LiAarhus University, Denmark, Tian TanAarhus University, Denmark, Anders MøllerAarhus University, Yannis SmaragdakisUniversity of Athens
fse-2018-Social
15:00 - 15:30: Social - Coffee Break Afternoon at Horizons 1-4F
fse-2018-Doctorial-Symposium
15:00 - 15:30: Doctorial Symposium - Doctoral Symposium Posters II at Horizons 1-4F
fse-2018-Doctorial-Symposium15:00 - 15:30
Poster
Mitra Bokaei HosseiniUniversity of Texas at San Antonio
fse-2018-Doctorial-Symposium15:00 - 15:30
Poster
Davide SpadiniDelft University of Technology, Netherlands
fse-2018-Doctorial-Symposium15:00 - 15:30
Poster
fse-2018-Doctorial-Symposium15:00 - 15:30
Poster
Afsoon AfzalCarnegie Mellon University
fse-2018-Doctorial-Symposium15:00 - 15:30
Poster
Cheng ZhouYangzhou University
fse-2018-Doctorial-Symposium15:00 - 15:30
Poster
Mattia FazziniGeorgia Institute of Technology
fse-2018-Doctorial-Symposium15:00 - 15:30
Poster
Christoph MatthiesHasso Plattner Institute, University of Potsdam
fse-2018-Doctorial-Symposium15:00 - 15:30
Poster
fse-2018-Doctorial-Symposium15:00 - 15:30
Poster
Caius BrindescuOregon State University
fse-2018-Doctorial-Symposium15:00 - 15:30
Poster
fse-2018-Doctorial-Symposium15:00 - 15:30
Poster
fse-2018-Doctorial-Symposium15:00 - 15:30
Poster
Sarah FakhouryWashington State University
fse-2018-Student-Research-Competition
15:00 - 15:30: Student Research Competition - SRC Posters II at Horizons 1-4F
fse-2018-Student-Research-Competition15:00 - 15:30
Poster
Francesco NoceraPolytechnic University of Bari
fse-2018-Student-Research-Competition15:00 - 15:30
Poster
Neill RobsonNC State University
fse-2018-Student-Research-Competition15:00 - 15:30
Poster
fse-2018-Student-Research-Competition15:00 - 15:30
Poster
Xinyuan SunUniversity of California, Davis
fse-2018-Student-Research-Competition15:00 - 15:30
Poster
Daniel DeFreezUniversity of California, Davis
fse-2018-Student-Research-Competition15:00 - 15:30
Poster
fse-2018-Student-Research-Competition15:00 - 15:30
Poster
Son NguyenThe University of Texas at Dallas
fse-2018-Student-Research-Competition15:00 - 15:30
Poster
David A TomassiUniversity of California, Davis
fse-2018-Student-Research-Competition15:00 - 15:30
Poster
Ameya KetkarOregon State University, USA
fse-2018-Student-Research-Competition15:00 - 15:30
Poster
Vaastav AnandUniversity of British Columbia
fse-2018-Student-Research-Competition15:00 - 15:30
Poster
Bruno LimaFaculty of Engineering, University of Porto and INESC TEC
fse-2018-Demonstration
15:30 - 17:00: Demonstrations - Bugs at Solar
Chair(s): Hoan NguyenIowa State University
fse-2018-Demonstration15: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
fse-2018-Demonstration15:52 - 16:15
Talk
Junwen Yang, Cong Yan, Pranav Subramaniam, Shan LuUniversity of Chicago, Alvin CheungUniversity of Washington
fse-2018-Demonstration16:15 - 16:37
Talk
Jinru Hua, Mengshi ZhangUniversity of Texas at Austin, USA, Kaiyuan Wang, Sarfraz KhurshidUniversity of Texas at Austin
fse-2018-Demonstration16:37 - 17:00
Talk
Louis-Philippe QuerelConcordia University, Peter RigbyConcordia University, Montreal, Canada
fse-2018-research-papers
15:30 - 17:00: Research Papers - Developer Studies at Horizons 10-11
Chair(s): Thomas LaTozaGeorge Mason University
fse-2018-Journal-First15:30 - 15:52
Talk
DOI
fse-2018-Journal-First15:52 - 16:15
Talk
Yuhao Wu, Shaowei WangQueen's University, Cor-Paul BezemerUniversity of Alberta, Canada, Katsuro InoueOsaka University
DOI
fse-2018-research-papers16:15 - 16:37
Talk
Sebastian Baltes University of Trier, Stephan DiehlComputer Science, University Trier, Germany
Pre-print
fse-2018-research-papers16: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
fse-2018-research-papers
15:30 - 17:00: Research Papers - Security at Horizons 6-9F
Chair(s): Lucas Bang
fse-2018-Journal-First15: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
fse-2018-Journal-First15:52 - 16:15
Talk
Marcel BöhmeMonash University
DOI
fse-2018-research-papers16:15 - 16:37
Talk
James C. DavisVirginia Tech, USA, Christy A. CoghlanVirginia Tech, USA, Francisco ServantVirginia Tech, Dongyoon LeeVirginia Tech, USA
fse-2018-research-papers16: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
fse-2018-research-papers
15:30 - 17:00: Research Papers - Testing I at Horizons 5
Chair(s): David LoSingapore Management University
fse-2018-Journal-First15:30 - 15:52
Talk
Xintao Niu, Changhai Nie, Yu Lei, Hareton Leung, Xiaoyin WangUniversity of Texas at San Antonio, USA
DOI
fse-2018-research-papers15: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
fse-2018-research-papers16:15 - 16:37
Talk
Subhajit RoyIIT Kanpur, India, Awanish PandeyIIT Kanpur, India, Brendan Dolan-GavittNew York University, Yu HuNew York University, USA
fse-2018-research-papers16:37 - 17:00
Talk
Rachel Tzoref-BrillIBM Research, Shahar MaozTel Aviv University
fse-2018-Social
17:15 - 18:45: Social - SIGSOFT Town Hall Meeting at Horizons 10-11
fse-2018-Social17:15 - 18:45
Meeting
Thomas ZimmermannMicrosoft Research
fse-2018-Social
18:45 - 20:00: Social - Post Town Hall Reception at Horizons 1-4F
fse-2018-Social18:45 - 20:00
Social Event
Gary LeavensUniversity of Central Florida

Wed 7 Nov

fse-2018-Keynotes
08:30 - 10:00: Keynotes - Keynote II at Horizons 6-9F
Chair(s): Satish ChandraFacebook
fse-2018-Keynotes08:30 - 10:00
Talk
Tim MenziesNorth Carolina State University
fse-2018-Social
10:00 - 10:30: Social - Coffee Break Morning at Horizons 1-4F
fse-2018-Industry
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
fse-2018-Industry10:30 - 10:52
Talk
fse-2018-Industry10: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
fse-2018-Industry11:15 - 11:37
Talk
Jie Zhang, Shi Han, Dan HaoPeking University, Lu Zhang, Dongmei ZhangMicrosoft Research, China
fse-2018-Industry11:37 - 12:00
Talk
fse-2018-Demonstration
10:30 - 12:00: Demonstrations - Mining at Spring Lake
Chair(s): Peter RigbyConcordia University, Montreal, Canada
fse-2018-Demonstration10:30 - 10:52
Talk
Tien-Duy B. LeSchool of Information Systems, Singapore Management University, Lingfeng Bao Zhejiang University City College, David LoSingapore Management University
fse-2018-Demonstration10:52 - 11:15
Talk
Han Liu, Zhiqiang YangTsinghua University, Chao Liu, Yu Jiang, Wenqi ZhaoAnt Financial, Jiaguang Sun
fse-2018-Demonstration11: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
fse-2018-Demonstration11:37 - 12:00
Talk
Davide SpadiniDelft University of Technology, Netherlands, Maurício AnicheDelft University of Technology, Netherlands, Alberto BacchelliUniversity of Zurich
Pre-print
fse-2018-research-papers
10:30 - 12:00: Research Papers - Mobile Apps at Horizons 10-11
Chair(s): Shane McIntoshMcGill University
fse-2018-Journal-First10: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
fse-2018-Journal-First10:52 - 11:15
Talk
Ruizhi Gao, Yabin Wang, Yang FengUniversity of California, Irvine, Zhenyu ChenNanjing University, W. Eric Wong
DOI
fse-2018-research-papers11:15 - 11:37
Talk
Gang HuColumbia University, USA, Linjie Zhu, Junfeng YangColumbia University
fse-2018-research-papers11:37 - 12:00
Talk
Ehsan NoeiQueen's University, Canada, Daniel Alencar Da Costa Queen's University, Kingston, Ontario, Ying ZouQueen's University, Kingston, Ontario
fse-2018-NIER
10:30 - 12:00: New Ideas and Emerging Results - NIER I at Horizons 6-9F
Chair(s): Gail KaiserColumbia University, New York
fse-2018-NIER10:30 - 10:42
Talk
Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
fse-2018-NIER10:42 - 10:55
Talk
Paulo SalemDell EMC
fse-2018-NIER10:55 - 11:08
Talk
Vincent HellendoornUniversity of California at Davis, USA, Amin AlipourUniversity of Houston, Premkumar DevanbuUniversity of California, Davis
fse-2018-NIER11:08 - 11:21
Talk
Andrew McNamaraNorth Carolina State University, Justin SmithNorth Carolina State University, Emerson Murphy-HillNorth Carolina State University
Pre-print
fse-2018-NIER11:21 - 11:34
Talk
Liang XuInstitute of Software Chinese Academy of Sciences, Wensheng DouInstitute of Software, Chinese Academy of Sciences, China, 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
fse-2018-NIER11:34 - 11:47
Talk
fse-2018-NIER11:47 - 12:00
Talk
Sayem Mohammad ImtiazMississippi State University, Tanmay BhowmikMississippi State University
fse-2018-Student-Research-Competition
10:30 - 12:00: Student Research Competition - SRC at Solar
fse-2018-Social
12:00 - 13:30: Social - Lunch at Lakeview Restaurant
fse-2018-Faculty-Mentorship-Roundtables
12:00 - 13:30: Faculty Mentorship Roundtables - Mentoring Lunch II at Lakeview Restaurant Table
fse-2018-Faculty-Mentorship-Roundtables12:00 - 13:30
Lunch
fse-2018-NIER
13:30 - 15:00: New Ideas and Emerging Results - NIER II at Horizons 6-9F
Chair(s): Gail KaiserColumbia University, New York
fse-2018-NIER13:30 - 13:42
Talk
Chu-Pan WongCarnegie Mellon University, Jens MeinickeMagdeburg University, Christian KästnerCarnegie Mellon University
fse-2018-NIER13:42 - 13:55
Talk
Yuriy BrunUniversity of Massachusetts Amherst, Alexandra MeliouUniversity of Massachusetts Amherst
Link to publication DOI Pre-print
fse-2018-NIER13:55 - 14:08
Talk
Elena ShermanBoise State University, Robert DyerBowling Green State University
fse-2018-NIER14:08 - 14:21
Talk
Mikhail Yasha Ramalho GadelhaUniversity of Southampton, Felipe R. MonteiroFederal University of Amazonas, Lucas C. CordeiroUniversity of Manchester, UK, Denis A. NicoleUniversity of Southampton
fse-2018-NIER14: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
fse-2018-NIER14:34 - 14:47
Talk
Jinglei RenPersper Foundation, Hezheng YinUniversity of California, Berkeley, Qingda HuTsinghua University, Armando FoxUC Berkeley, Wojciech KoszekThe FreeBSD Project
fse-2018-NIER14:47 - 15:00
Talk
Davoud MougoueiMonash University, Harsha PereraMonash University, Waqar HussainMonash University, Rifat ShamsMonash University, Jon WhittleMonash University
fse-2018-research-papers
13:30 - 15:00: Research Papers - Software Analysis II at Horizons 5
Chair(s): Myra CohenIowa State University
fse-2018-Journal-First13:30 - 13:52
Talk
Sven AmannTechnische Universität Darmstadt, Hoan NguyenIowa State University, Sarah NadiUniversity of Alberta, Tien NguyenUniversity of Texas at Dallas, Mira MeziniTU Darmstadt
DOI
fse-2018-research-papers13:52 - 14:15
Talk
Felix PauckPaderborn University, Germany, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Heike WehrheimPaderborn University
fse-2018-research-papers14: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
fse-2018-research-papers14: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
fse-2018-research-papers
13:30 - 15:00: Research Papers - Software Maintenance I at Horizons 10-11
Chair(s): Christian BirdMicrosoft Research
fse-2018-Journal-First13:30 - 13:52
Talk
Keheliya GallabaMcGill University, Shane McIntoshMcGill University
DOI
fse-2018-research-papers13: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
fse-2018-research-papers14: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
fse-2018-research-papers14: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
fse-2018-Social
15:00 - 15:30: Social - Coffee Break Afternoon at Horizons 1-4F
fse-2018-research-papers
15:30 - 17:00: Research Papers - Mining at Horizons 6-9F
Chair(s): Hridesh RajanIowa State University
fse-2018-Journal-First15:30 - 15:52
Talk
Zhe Yu, Nicholas A. KraftABB Corporate Research, Tim MenziesNorth Carolina State University
DOI
fse-2018-Journal-First15:52 - 16:15
Talk
Miltiadis AllamanisMicrosoft Research, Cambridge, Earl BarrUniversity College London, Christian BirdMicrosoft Research, Prem DevanbuUniversity of California, Mark MarronMicrosoft Research, Charles SuttonUniversity of Edinburgh
DOI
fse-2018-research-papers16: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
fse-2018-research-papers16:37 - 17:00
Talk
Daniel DeFreezUniversity of California, Davis, Aditya ThakurUniversity of California, Davis, Cindy Rubio-GonzalezUniversity of California, Davis
fse-2018-Demonstration
15:30 - 17:00: Demonstrations - Models at Spring Lake
Chair(s): Hamid BagheriUniversity of Nebraska-Lincoln, USA
fse-2018-Demonstration15: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
fse-2018-Demonstration15:52 - 16:15
Talk
fse-2018-Demonstration16:15 - 16:37
Talk
Lingfeng Bao Zhejiang University City College, Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore Management University, Shanping Li
fse-2018-Demonstration16:37 - 17:00
Talk
Ferhat ErataUNIT Information Technologies R&D Ltd., Arda GoknilUniversity of Luxembourg, Ivan KurtevAltran Netherlands, Bedir TekinerdoganWageningen University, The Netherlands
rosefest-2018
15:30 - 17:00: ROSE Festival 2018 - ROSE Festival at Horizons 5
rosefest-201815:30 - 17:00
Other
fse-2018-research-papers
15:30 - 17:00: Research Papers - Symbolic Execution and Constraint Solving at Horizons 10-11
Chair(s): Satish ChandraFacebook
fse-2018-research-papers15:30 - 15:52
Talk
Qiuping YiTexas A&M University, Jeff HuangTexas A&M University
fse-2018-research-papers15:52 - 16:15
Talk
Shengjian (Daniel) GuoVirginia Tech, Meng WuVirginia Tech, Chao WangUSC
fse-2018-research-papers16: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
fse-2018-research-papers16: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
fse-2018-Social
18:45 - 19:45: Social - Reception at Horizons 6-9F
fse-2018-Social18:45 - 19:45
Social Event
fse-2018-Social
19:45 - 22:00: Social - Banquet at Horizons 6-9F
fse-2018-Social19:45 - 22:00
Social Event

Thu 8 Nov

fse-2018-Keynotes
08:30 - 10:00: Keynotes - Keynote III at Horizons 6-9F
Chair(s): Alessandro GarciaPUC-Rio
fse-2018-Keynotes08:30 - 10:00
Talk
Lingxiao JiangSingapore Management University, Stéphane GlonduInria Nancy, Zhendong SuETH Zurich
fse-2018-Social
10:00 - 10:30: Social - Coffee Break Morning at Horizons 1-4F
fse-2018-research-papers
10:30 - 12:00: Research Papers - Estimation and Prediction at Horizons 5
Chair(s): Jim HerbslebCarnegie Mellon University
fse-2018-Journal-First10:30 - 10:52
Talk
Yuanrui Fan, Xin XiaMonash University, David LoSingapore Management University, Shanping Li
DOI
fse-2018-Journal-First10:52 - 11:15
Talk
DOI
fse-2018-research-papers11:15 - 11:37
Talk
fse-2018-research-papers11: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
fse-2018-research-papers
10:30 - 12:00: Research Papers - Models at Horizons 10-11
Chair(s): Maurício AnicheDelft University of Technology, Netherlands
fse-2018-Journal-First10:30 - 10:52
Talk
DOI
fse-2018-research-papers10:52 - 11:15
Talk
Di ChenNorth Carolina State University, USA, Wei Fu , Rahul KrishnaNC State University, Tim MenziesNorth Carolina State University
fse-2018-research-papers11:15 - 11:37
Talk
Xiao HeUniversity of Science and Technology Beijing, China, Zhenjiang HuNational Institute of Informatics
fse-2018-research-papers11: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
fse-2018-research-papers
10:30 - 12:00: Research Papers - Repair and Synthesis at Horizons 6-9F
Chair(s): Shahar MaozTel Aviv University
fse-2018-Journal-First10: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
fse-2018-research-papers10:52 - 11:15
Talk
fse-2018-research-papers11: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
fse-2018-research-papers11: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
fse-2018-Social
12:00 - 13:30: Social - Lunch at Lakeview Restaurant
fse-2018-Faculty-Mentorship-Roundtables
12:00 - 13:30: Faculty Mentorship Roundtables - Mentoring Lunch III at Lakeview Restaurant Table
fse-2018-Faculty-Mentorship-Roundtables12:00 - 13:30
Lunch
fse-2018-research-papers
13:30 - 15:00: Research Papers - Debugging and Bug Localization at Horizons 6-9F
Chair(s): Earlence FernandesUniversity of Michigan
fse-2018-research-papers13: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
fse-2018-research-papers13:52 - 14:15
Talk
Daniel LehmannTU Darmstadt, Michael PradelTU Darmstadt
fse-2018-research-papers14:15 - 14:37
Talk
Masud RahmanUniversity of Saskatchewan , Chanchal K. RoyUniversity of Saskatchewan
fse-2018-research-papers14:37 - 15:00
Talk
Titus BarikMicrosoft, Denae FordNorth Carolina State University, Emerson Murphy-HillNorth Carolina State University, Chris ParninNCSU
Pre-print
fse-2018-research-papers
13:30 - 15:00: Research Papers - Probabilistic Reasoning at Horizons 5
Chair(s): Antonio FilieriImperial College London
fse-2018-research-papers13: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
fse-2018-research-papers13: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
fse-2018-research-papers14: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
fse-2018-research-papers
13:30 - 15:00: Research Papers - Software Maintenance II at Horizons 10-11
Chair(s): Emerson Murphy-HillNorth Carolina State University
fse-2018-Journal-First13:30 - 13:52
Talk
Meng Yan, Xin XiaMonash University, Emad ShihabConcordia University, David LoSingapore Management University, Jianwei Yin, Xiaohu Yang
DOI
fse-2018-research-papers13:52 - 14:15
Talk
Jackson MaddoxIowa State University, USA, Yuheng LongIowa State University, Hridesh RajanIowa State University
fse-2018-research-papers14:15 - 14:37
Talk
Yu GaoInstitute of Software, Chinese Academy of Sciences, Wensheng DouInstitute of Software, Chinese Academy of Sciences, China, 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
fse-2018-research-papers14: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 NguyenUniversity of Texas at Dallas
fse-2018-Social
15:00 - 15:30: Social - Coffee Break Afternoon at Horizons 1-4F
fse-2018-research-papers
15:30 - 17:00: Research Papers - Ecosystems and Crowdsourcing at Horizons 10-11
Chair(s): Peter RigbyConcordia University, Montreal, Canada
fse-2018-Journal-First15: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
fse-2018-Journal-First15: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
fse-2018-research-papers16:14 - 16:36
Talk
Marat ValievCarnegie Mellon University, USA, Bogdan VasilescuCarnegie Mellon University, Jim HerbslebCarnegie Mellon University
fse-2018-research-papers
15:30 - 17:00: Research Papers - Energy at Horizons 6-9F
Chair(s): Diego GarbervetskyUniversity of Buenos Aires, Argentina
fse-2018-Journal-First15:30 - 16:00
Talk
Bobby R. Bruce, Justyna PetkeUniversity College London, Mark HarmanFacebook and University College London, Earl T. Barr
DOI
fse-2018-research-papers16:00 - 16:30
Talk
Hailong ZhangOhio State University, Haowei Wu, Atanas RountevOhio State University
fse-2018-research-papers16:30 - 17:00
Talk
Anthony CaninoSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton, Hidehiko MasuharaTokyo Institute of Technology
fse-2018-research-papers
15:30 - 17:00: Research Papers - Testing II at Horizons 5
Chair(s): Tevfik BultanUniversity of California, Santa Barbara
fse-2018-Journal-First15:30 - 15:52
Talk
Tomasz Kuchta, Thibaud Lutellier, Edmund Wong, Lin TanUniversity of Waterloo , Cristian CadarImperial College London
DOI
fse-2018-research-papers15: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
fse-2018-research-papers16:15 - 16:37
Talk
Peipei WangNorth Carolina State University, USA, Kathryn StoleeNorth Carolina State University
fse-2018-research-papers16: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
fse-2018-Social
17:15 - 17:45: Social - Closing Plenary (closing ceremony) at Horizons 6-9F
fse-2018-Social17:15 - 17:45
Social Event
Gary LeavensUniversity of Central Florida

Fri 9 Nov

fse-2018-WASPI
09:00 - 10:00: WASPI - WASPI workshop at Spring Lake
Chair(s): Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University, Tien NguyenUniversity of Texas at Dallas, Gary LeavensUniversity of Central Florida, Robert DyerBowling Green State University
fse-2018-WASPI09:00 - 09:15
Day opening
fse-2018-WASPI09:15 - 10:00
Talk
Miryung KimUniversity of California, Los Angeles
fse-2018-Social
10:00 - 10:30: Social - Coffee Break Morning at Spring Lake
fse-2018-WASPI
10:30 - 12:00: WASPI - Morning Talks at Spring Lake
Chair(s): Gary LeavensUniversity of Central Florida
fse-2018-WASPI10:30 - 11:00
Talk
Hoan Anh NguyenIowa State University, USA, Tien NguyenUniversity of Texas at Dallas, Hridesh RajanIowa State University, Robert DyerBowling Green State University
fse-2018-WASPI11: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
fse-2018-WASPI11:30 - 12:00
Talk
Quoc Anh DoMississippi State University, Tanmay BhowmikMississippi State University
fse-2018-Social
12:00 - 13:30: Social - Lunch at Rock Lake
fse-2018-WASPI
13:30 - 14:30: WASPI - Afternoon talks at Spring Lake
Chair(s): Robert DyerBowling Green State University
fse-2018-WASPI13:30 - 14:00
Talk
Samantha Syeda KhairunnesaIowa State University, Hoan Anh NguyenIowa State University, USA, Hridesh RajanIowa State University
fse-2018-WASPI14:00 - 14:30
Talk
Ryota YamamotoNagoya University, Norihiro YoshidaNagoya University, Hiroaki TakadaNagoya University
DOI Pre-print
fse-2018-WASPI
14:30 - 15:00: WASPI - Future of Specification Inference Panel at Spring Lake
Chair(s): Hoan NguyenIowa State University
fse-2018-WASPI14:30 - 15:00
Other
fse-2018-Social
15:00 - 15:30: Social - Coffee Break Afternoon at Spring Lake
fse-2018-WASPI
15:30 - 17:00: WASPI - Open Discussion: Benchmarks for Program Specification at Spring Lake
Chair(s): Hridesh RajanIowa State University
fse-2018-WASPI15:30 - 17:00
Other

Mon 5 Nov 2018

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Horizons 1-4F
Horizons 10-11
Horizons 5