VenueWyndham Lake Buena Vista Disney Springs Resort
Room nameHorizons 5
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Tue 6 Nov

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
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-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

Wed 7 Nov

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-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
rosefest-2018
15:30 - 17:00: ROSE Festival 2018 - ROSE Festival at Horizons 5
rosefest-201815:30 - 17:00
Other

Thu 8 Nov

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
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
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

Tue 6 Nov 2018

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Horizons 5

Wed 7 Nov 2018

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Horizons 5

Thu 8 Nov 2018

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Horizons 5