ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China

Lunch, Diner, Coffee-breaks

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

Mon 15 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

issta-2019-TAV-CPS-IoT-2019
09:00 - 10:30: Workshop – TAV-CPS/IoT - SPIN Keynote at Meeting Room 4
issta-2019-TAV-CPS-IoT-201909:00 - 10:30
Talk
issta-2019-catering
10:30 - 11:00: Catering - Mini Break at Meeting Room 8
issta-2019-catering
10:30 - 11:00: Catering - Mini Break at Meeting Room 4
issta-2019-catering10:30 - 11:00
Break
issta-2019-TAV-CPS-IoT-2019
11:00 - 12:30: Workshop – TAV-CPS/IoT - Session 1 -Automated Software Testing of CPS-IoT at Meeting Room 8
issta-2019-TAV-CPS-IoT-201911:00 - 11:20
Talk
issta-2019-TAV-CPS-IoT-201911:20 - 11:40
Talk
issta-2019-TAV-CPS-IoT-201911:40 - 12:00
Talk
issta-2019-TAV-CPS-IoT-201912:00 - 12:30
Talk
issta-2019-catering
12:30 - 14:00: Catering - Lunch at Valley Cafe
issta-2019-TAV-CPS-IoT-2019
14:00 - 15:30: Workshop – TAV-CPS/IoT - Session 2 - Analysis of CPS-IoT at Meeting Room 8
issta-2019-TAV-CPS-IoT-201914:00 - 14:20
Talk
issta-2019-TAV-CPS-IoT-201914:20 - 14:40
Talk
Takahiro Shimizu, Norihiro YoshidaNagoya University, Ryota YamamotoNagoya University, Hiroaki TakadaNagoya University
issta-2019-TAV-CPS-IoT-201914:40 - 14:55
Talk
issta-2019-TAV-CPS-IoT-201914:55 - 15:10
Talk
issta-2019-TAV-CPS-IoT-201915:10 - 15:30
Talk
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Meeting Room 8
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Meeting Room 4
issta-2019-catering15:30 - 16:00
Break
issta-2019-TAV-CPS-IoT-2019
16:00 - 17:30: Workshop – TAV-CPS/IoT - Session 3 - Concurrency and Security of CPS-IoT at Meeting Room 8
issta-2019-TAV-CPS-IoT-201916:00 - 16:20
Talk
Valerio TerragniUniversità della Svizzera Italiana
issta-2019-TAV-CPS-IoT-201916:20 - 16:40
Talk
Yan CaiInstitute of Software, Chinese Academy of Sciences
issta-2019-TAV-CPS-IoT-201916:40 - 17:00
Talk
issta-2019-TAV-CPS-IoT-201917:00 - 17:20
Talk
issta-2019-TAV-CPS-IoT-201917:20 - 17:30
Talk
issta-2019-catering
17:30 - 20:00: Catering - Reception for SPIN and Workshop attendees at Function Room A
issta-2019-catering17:30 - 20:00
Dinner

Tue 16 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

issta-2019-Summer-School
09:00 - 10:30: Summer School - Lecture 1 at Meeting Room 8
issta-2019-Summer-School09:00 - 10:30
Talk
Abhik RoychoudhuryNational University of Singapore
issta-2019-Doctoral-Symposium-
09:30 - 10:35: Doctoral Symposium - Session 1 at Meeting Room 2
issta-2019-Doctoral-Symposium-09:30 - 09:46
Day opening
issta-2019-Doctoral-Symposium-09:46 - 10:02
Doctoral symposium paper
Chao PengUniversity of Edinburgh, UK
issta-2019-Doctoral-Symposium-10:02 - 10:18
Doctoral symposium paper
Sungho LeeKAIST, South Korea
issta-2019-Doctoral-Symposium-10:18 - 10:35
Doctoral symposium paper
Tang WenshengThe Hong Kong University of Science and Technology
issta-2019-catering
10:30 - 11:00: Catering - Mini Break at Function Room B
issta-2019-catering
10:30 - 11:00: Catering - Mini Break at Meeting Room 8
issta-2019-catering
10:30 - 11:00: Catering - Mini Break at Meeting Room 4
issta-2019-catering10:30 - 11:00
Break
issta-2019-catering
10:35 - 11:00: Catering - Mini Break at Meeting Room 2
issta-2019-Summer-School
11:00 - 12:30: Summer School - Lecture 2 at Meeting Room 8
issta-2019-Summer-School11:00 - 12:30
Talk
Yingfei XiongPeking University
issta-2019-Doctoral-Symposium-
11:00 - 12:30: Doctoral Symposium - Session 2 at Meeting Room 2
issta-2019-Doctoral-Symposium-11:00 - 11:20
Doctoral symposium paper
Christoph LaaberUniversity of Zurich
DOI Pre-print
issta-2019-Doctoral-Symposium-11:20 - 11:40
Doctoral symposium paper
Miguel IsabelComplutense University of Madrid
issta-2019-Doctoral-Symposium-11:40 - 12:00
Doctoral symposium paper
Giovanni GranoUniversity of Zurich
DOI Pre-print
issta-2019-Doctoral-Symposium-12:00 - 12:30
Talk
Abhik RoychoudhuryNational University of Singapore
issta-2019-catering
12:30 - 14:00: Catering - Lunch at Valley Cafe
issta-2019-catering12:30 - 14:00
Lunch
issta-2019-Summer-School
14:00 - 15:30: Summer School - Lecture 3 at Meeting Room 8
issta-2019-Summer-School14:00 - 15:30
Talk
Qingwei LinMicrosoft Research, China
issta-2019-Doctoral-Symposium-
14:00 - 15:30: Doctoral Symposium - Session 3 at Meeting Room 2
issta-2019-Doctoral-Symposium-14:00 - 14:20
Doctoral symposium paper
Patrick Kwaku KudjoJiangsu University
issta-2019-Doctoral-Symposium-14:20 - 14:40
Doctoral symposium paper
Xiaoqin FuWashington State University
issta-2019-Doctoral-Symposium-14:40 - 15:00
Doctoral symposium paper
Michaël MeraCISPA, Germany
issta-2019-Doctoral-Symposium-15:00 - 15:30
Talk
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Meeting Room 2
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Function Room B
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Meeting Room 8
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Meeting Room 4
issta-2019-catering15:30 - 16:00
Break
issta-2019-Summer-School
16:00 - 17:30: Summer School - Lecture 4 at Meeting Room 8
issta-2019-Summer-School16:00 - 17:30
Talk
Andreas ZellerCISPA Helmholtz Center for Information Security
issta-2019-Doctoral-Symposium-
16:00 - 17:30: Doctoral Symposium - Session 4 at Meeting Room 2
issta-2019-Doctoral-Symposium-16:00 - 17:30
Talk
issta-2019-catering
18:00 - 21:30: Catering - OC Dinner at the lobby of the conference venue
issta-2019-catering18:00 - 21:30
Dinner

Wed 17 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

issta-2019-Keynote
09:00 - 10:30: Keynote - Welcome & Keynote at Grand Ballroom
issta-2019-Keynote09:00 - 09:15
Talk
Dongmei ZhangMicrosoft Research, China, Anders MøllerAarhus University
issta-2019-Keynote09:15 - 10:30
Talk
Nadia AlshahwanFacebook, Andrea CianconeFacebook, Mark HarmanFacebook and University College London, Yue JiaUniversity College London, Ke MaoFacebook, Alexandru MargineanUniversity College London, UK, Alexander MolsFacebook, Hila PelegTechnion, Israel, Federica SarroUniversity College London, UK, Ilya ZorinFacebook
issta-2019-catering
10:30 - 11:00: Catering - Mini Break at Grand Ballroom
issta-2019-catering10:30 - 11:00
Break
issta-2019-catering
12:30 - 14:00: Catering - Lunch at Valley Cafe
issta-2019-catering12:30 - 14:00
Lunch
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Grand Ballroom
issta-2019-catering15:30 - 16:00
Break
issta-2019-Tool-demonstrations
16:00 - 17:30: Tool Demonstration - ISSTA Tool Demonstrations at Grand Ballroom
issta-2019-Tool-demonstrations16:00 - 16:10
Talk
Cong WangTsinghua University, Jian GaoSchool of Software, Tsinghua University, Yu Jiang, Zhenchang XingAustralia National University, Huafeng Zhang, Weiliang Ying , Ming GuTsinghua University, Jiaguang Sun
issta-2019-Tool-demonstrations16:10 - 16:20
Talk
issta-2019-Tool-demonstrations16:20 - 16:30
Talk
Li ChiTsinghua University, Min ZhouTsinghua University, Zuxing GuSchool of Software, Tsinghua University, Guang Chen, Yuexing Wang, Jiecheng WuTsinghua University, Ming GuTsinghua University
issta-2019-Tool-demonstrations16:30 - 16:40
Talk
issta-2019-Tool-demonstrations16:40 - 16:50
Talk
issta-2019-Tool-demonstrations16:50 - 17:00
Talk
Linjie PanInstitute of Software, Chinese Academy of Sciences, Baoquan Cui, Jiwei YanInstitute of Software, Chinese Academy of Sciences, Xutong Ma, Jun YanInstitute of Software, Chinese Academy of Sciences, Jian ZhangBeihang University
issta-2019-Tool-demonstrations17:00 - 17:10
Talk
Rohan PadhyeUniversity of California, Berkeley, Caroline LemieuxUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley
issta-2019-Tool-demonstrations17:10 - 17:20
Talk
Renaud Rwemalika, Marinos Kintis, Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg, Pierre Lorrach
issta-2019-Tool-demonstrations17:20 - 17:30
Talk
Yuying LiState Key Laboratory for Novel Software Technology, Nanjing University, Rui HaoNanjing University, China, Yang FengUniversity of California, Irvine, James JonesUniversity of California, Irvine, Xiaofang Zhang, Zhenyu ChenNanjing University
issta-2019-catering
17:30 - 20:00: Catering - Reception with posters at Grand Ballroom
issta-2019-catering17:30 - 20:00
Dinner

Thu 18 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

issta-2019-Keynote
09:00 - 10:30: Keynote - Keynote & Award Presentation at Grand Ballroom
issta-2019-Keynote09:00 - 10:00
Talk
Eran YahavTechnion, Stephen J FinkIBM, Nurit Dor, G. RamalingamMicrosoft Research, Emmanuel GeayWayfair
issta-2019-Keynote10:00 - 10:07
Awards
Dongmei ZhangMicrosoft Research, China
issta-2019-Keynote10:07 - 10:14
Awards
Anders MøllerAarhus University
issta-2019-Keynote10:14 - 10:21
Awards
Dan HaoPeking University, Michael PradelTU Darmstadt and Facebook
issta-2019-Keynote10:21 - 10:28
Awards
Alessandra GorlaIMDEA Software Institute, Hongyu ZhangThe University of Newcastle
issta-2019-catering
10:30 - 11:00: Catering - Mini Break at Grand Ballroom
issta-2019-catering10:30 - 11:00
Break
issta-2019-catering
12:30 - 14:00: Catering - Lunch at Valley Cafe
issta-2019-catering12:30 - 14:00
Lunch
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Grand Ballroom
issta-2019-catering15:30 - 16:00
Break
issta-2019-catering
issta-2019-catering17:45 - 21:00
Dinner

Fri 19 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

issta-2019-Keynote
09:00 - 10:30: Keynote - Keynote & ISSTA 2020 Preview at Grand Ballroom
issta-2019-Keynote09:00 - 10:00
Talk
Adam KiezunPrincipal Engineer, Amazon Inc., Philip GuoUCSD, Pieter Hooimeijer Engineering Manager, Facebook Inc., Michael D. ErnstUniversity of Washington, USA, Vijay GaneshUniversity of Waterloo
issta-2019-Keynote10:00 - 10:15
Talk
Corina S PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center, Sarfraz KhurshidUniversity of Texas at Austin
issta-2019-catering
10:30 - 11:00: Catering - Mini Break at Grand Ballroom
issta-2019-catering10:30 - 11:00
Break
issta-2019-catering
12:30 - 14:00: Catering - Lunch at Valley Cafe
issta-2019-catering12:30 - 14:00
Lunch
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Grand Ballroom
issta-2019-catering15:30 - 16:00
Break
issta-2019-catering
18:00 - 21:30: Catering - PC Dinner at the lobby of the conference venue

Not scheduled yet

issta-2019-cateringNot scheduled yet
Dinner