Additional informationThere is no additional information of this room available.
Program

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

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

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

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

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

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

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

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

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

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