ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
Filter
Dates
Rooms
Tracks
Badges
Your Program

Mon 15 Jul

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
spin-2019-papers
spin-2019-papers09:00 - 10:30
Day opening
Kuldeep S. MeelNational University of Singapore
isstatestcomp-2019-papers
10:00 - 12:00: Testing Competition - Tutorial of Testing Competition at Function Room B
isstatestcomp-2019-papers10:00 - 12:00
Talk
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:30 - 11:00: Catering - Mini Break at Meeting Room 8
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
isstatestcomp-2019-papers
14:00 - 17:00: Testing Competition - Final of Testing Competition at Function Room B
isstatestcomp-2019-papers14:00 - 17:00
Talk
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 4
issta-2019-catering15:30 - 16:00
Break
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Meeting Room 8
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
spin-2019-papers
16:00 - 17:30: 26th International SPIN Symposium on Model Checking of Software - Session 4 - Software Model Checking (Tools Sessions) at Meeting Room 4
spin-2019-papers16:00 - 16:30
Talk
spin-2019-papers16:30 - 17:00
Talk
Sergey StaroletovPolzunov Altai State Technical University, Nikolay ShilovInnopolis University
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

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
adaws-2019-papers
09:00 - 10:30: Ada Workshop - Session 1 at Function Room B
adaws-2019-papers09:00 - 09:10
Talk
Dongmei ZhangMicrosoft Research, China
adaws-2019-papers09:10 - 09:30
Talk
adaws-2019-papers09:30 - 10:30
Talk
Zhi JinPeking University
spin-2019-papers
spin-2019-papers09:00 - 10:00
Talk
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
spin-2019-papers
10:00 - 10:30: 26th International SPIN Symposium on Model Checking of Software - Session 1.5 - Conformance Testing at Meeting Room 4
spin-2019-papers10:00 - 10:30
Talk
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
adaws-2019-papers
11:00 - 12:30: Ada Workshop - Session 2 at Function Room B
adaws-2019-papers11:00 - 11:30
Talk
adaws-2019-papers11:30 - 12:00
Talk
Tegawendé F. BissyandéSnT, University of Luxembourg
adaws-2019-papers12:00 - 12:30
Talk
Zhi JinPeking University, Andreas ZellerCISPA Helmholtz Center for Information Security, Tegawendé F. BissyandéSnT, University of Luxembourg, Yong XuMicrosoft, China
spin-2019-papers
11:00 - 12:30: 26th International SPIN Symposium on Model Checking of Software - Session 2 - Synthesis and Learning at Meeting Room 4
spin-2019-papers11:00 - 11:30
Talk
Yuan Liu, Xi WangYale University, USA, Lintao Xian, Zhongwen Guo
spin-2019-papers11:30 - 12:00
Talk
Shikhar Singh, Mengshi ZhangUniversity of Texas at Austin, USA, Sarfraz KhurshidUniversity of Texas at Austin
spin-2019-papers12:00 - 12:30
Talk
Muhammad Usman, Wenxi WangThe University of Texas at Austin, Texas, USA, Kaiyuan WangGoogle Inc., Cagdas Yelen, Nima DiniUniversity of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin
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
adaws-2019-papers
14:00 - 15:30: Ada Workshop - Session 3 at Function Room B
adaws-2019-papers14:30 - 15:00
Talk
Justin DingMicrosoft Research Asia
adaws-2019-papers15:00 - 15:30
Talk
Shin Hwei TanSouthern University of Science and Technology, Justin DingMicrosoft Research Asia, Bei Chen, Yun Zou
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
spin-2019-papers
spin-2019-papers14:00 - 15:00
Talk
Maxime CordySnT, University of Luxembourg
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-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 2
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
adaws-2019-papers
16:00 - 17:30: Ada Workshop - Session 4 at Function Room B
adaws-2019-papers16:00 - 16:30
Talk
adaws-2019-papers16:30 - 17:00
Talk
Jie M. ZhangUniversity College London, UK, Alessandra GorlaIMDEA Software Institute, Qi Chen, Shizhao Sun
adaws-2019-papers17:00 - 17:30
Talk
Alessandra GorlaIMDEA Software Institute
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

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-Technical-Papers
11:00 - 12:30: Technical Papers - Program Repair at Grand Ballroom
Chair(s): Yingfei XiongPeking University
issta-2019-Technical-Papers11:00 - 11:22
Talk
Xiang GaoNational University of Singapore, Sergey MechtaevUniversity College London, Abhik RoychoudhuryNational University of Singapore
issta-2019-Technical-Papers11:22 - 11:45
Talk
Ali GhanbariThe University of Texas at Dallas, Samuel BentonThe University of Texas at Dallas, Lingming Zhang
Pre-print
issta-2019-Technical-Papers11:45 - 12:07
Talk
Kui Liu, Anil KoyuncuUniversity of Luxembourg, Luxembourg, Dongsun KimFuriosa.ai, Tegawendé F. BissyandéSnT, University of Luxembourg
Pre-print
issta-2019-Technical-Papers12:07 - 12:30
Talk
Yiling LouPeking University, China, Junjie ChenPeking University, Lingming Zhang, Dan HaoPeking University, Lu ZhangPeking University
issta-2019-catering
12:30 - 14:00: Catering - Lunch at Valley Cafe
issta-2019-catering12:30 - 14:00
Lunch
issta-2019-Technical-Papers
14:00 - 15:30: Technical Papers - Mobile App Testing at Grand Ballroom
Chair(s): Xiaoyin WangUniversity of Texas at San Antonio, USA
issta-2019-Technical-Papers14:00 - 14:22
Talk
Jiexin ZhangUniversity of Cambridge, Alastair R. BeresfordUniversity of Cambridge, UK, Stephan A. KollmannUniversity of Cambridge
DOI Pre-print
issta-2019-Technical-Papers14:22 - 14:45
Talk
Aman SharmaIIT Madras, Rupesh NasreIIT Madras, India
issta-2019-Technical-Papers14:45 - 15:07
Talk
Pingfan KongInterdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Li LiMonash University, Australia, Jun GaoUniversity of Luxembourg, SnT, Tegawendé F. BissyandéSnT, University of Luxembourg, Jacques KleinUniversity of Luxembourg, SnT
issta-2019-Technical-Papers15:07 - 15:30
Talk
Jiaqi GuoXi'an Jiaotong University, Shuyue LiXi'an Jiaotong University, Jian-Guang LouMicrosoft Research, Zijiang YangWestern Michigan University, Ting LiuMOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China
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

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-Technical-Papers
11:00 - 12:30: Technical Papers - Regression Testing at Grand Ballroom
Chair(s): Dan HaoPeking University
issta-2019-Technical-Papers11:00 - 11:22
Talk
Wing LamUniversity of Illinois at Urbana-Champaign, Patrice GodefroidMicrosoft Research, Suman NathMicrosoft Corporation, Anirudh SanthiarIndian Institute of Science, Suresh Thummalapenta
issta-2019-Technical-Papers11:22 - 11:45
Talk
August ShiUniversity of Illinois at Urbana-Champaign, Jonathan BellGeorge Mason University, Darko MarinovUniversity of Illinois at Urbana-Champaign
Pre-print Media Attached
issta-2019-Technical-Papers11:45 - 12:07
Talk
Oliver SchwahnTU Darmstadt, Nicolas CoppikTU Darmstadt, Stefan WinterTU Darmstadt, Neeraj Suri
issta-2019-Technical-Papers12:07 - 12:30
Talk
issta-2019-catering
12:30 - 14:00: Catering - Lunch at Valley Cafe
issta-2019-catering12:30 - 14:00
Lunch
issta-2019-ISSTA-Streering-Committee-Meeting
issta-2019-Technical-Papers
14:00 - 15:30: Technical Papers - Testing and Machine Learning at Grand Ballroom
Chair(s): Hongyu ZhangThe University of Newcastle
issta-2019-Technical-Papers14:00 - 14:22
Talk
Xiaofei XieNanyang Technological University, Lei MaKyushu University, Felix Juefei-XuCarnegie Mellon University, Minhui Xue, Hongxu ChenNanyang Technological University, Yang LiuNanyang Technological University, Singapore, Jianjun ZhaoKyushu University, Bo LiUIUC, Jianxiong YinNVIDIA AI Tech Centre, Simon SeeNVIDIA AI Tech Centre
issta-2019-Technical-Papers14:22 - 14:45
Talk
Maxime CordySnT, University of Luxembourg, Steve Mullerunaffiliated, Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg
issta-2019-Technical-Papers14:45 - 15:07
Talk
Xia LiUniversity of Texas at Dallas, USA, Wei LiSouthern University of Science and Technology, Yuqun ZhangSouthern University of Science and Technology, Lingming Zhang
issta-2019-Technical-Papers15:07 - 15:30
Talk
Goran PiskachevFraunhofer IEM, Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
DOI Pre-print Media Attached File Attached
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Grand Ballroom
issta-2019-catering15:30 - 16:00
Break
issta-2019-Technical-Papers
16:00 - 17:30: Technical Papers - APIs and Symbolic Execution at Grand Ballroom
Chair(s): Moonzoo KimKAIST
issta-2019-Technical-Papers16:00 - 16:22
Talk
Maria KechagiaUniversity College London, Xavier DevroeyDelft University of Technology, Annibale PanichellaDeflt University of Technology, Georgios GousiosTU Delft, Arie van DeursenDelft University of Technology
DOI Pre-print Media Attached
issta-2019-Technical-Papers16:22 - 16:45
Talk
Mattia FazziniGeorgia Institute of Technology, Qi XinGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
issta-2019-Technical-Papers16:45 - 17:07
Talk
Haipeng CaiWashington State University Pullman, Ziyi Zhang, Li LiMonash University, Australia, Xiaoqin FuWashington State University
Pre-print
issta-2019-Technical-Papers17:07 - 17:30
Talk
Awanish PandeyIIT Kanpur, India, Phani Raj Goutham Kotcharlakota, Subhajit RoyIIT Kanpur, India
issta-2019-catering
issta-2019-catering17:45 - 21:00
Dinner

Fri 19 Jul

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-Technical-Papers
11:00 - 12:30: Technical Papers - Static Analysis and Debugging at Grand Ballroom
Chair(s): Arie van DeursenDelft University of Technology
issta-2019-Technical-Papers11:00 - 11:22
Talk
Christian KlingerUniversity of Texas, Austin, Maria ChristakisMPI-SWS, Valentin WüstholzConsenSys Diligence
Pre-print
issta-2019-Technical-Papers11:22 - 11:45
Talk
Michael ReifTU Darmstadt, Germany, Florian KüblerTU Darmstadt, Germany, Michael EichbergTU Darmstadt, Germany, Dominik HelmTU Darmstadt, Germany, Mira MeziniTU Darmstadt, Germany
Pre-print File Attached
issta-2019-Technical-Papers11:45 - 12:07
Talk
Sungho LeeKAIST, South Korea, Sukyoung RyuKAIST, South Korea
DOI Pre-print
issta-2019-Technical-Papers12:07 - 12:30
Talk
Sandro TolksdorfTU Darmstadt, Daniel LehmannTU Darmstadt, Michael PradelTU Darmstadt and Facebook
Link to publication DOI Pre-print
issta-2019-catering
12:30 - 14:00: Catering - Lunch at Valley Cafe
issta-2019-catering12:30 - 14:00
Lunch
issta-2019-Technical-Papers
14:00 - 15:30: Technical Papers - Testing GUIs and Cars at Grand Ballroom
Chair(s): Lingming Zhang
issta-2019-Technical-Papers14:00 - 14:22
Talk
Xue Qin, Hao ZhongShanghai Jiao Tong University, Xiaoyin WangUniversity of Texas at San Antonio, USA
issta-2019-Technical-Papers14:22 - 14:45
Talk
Christian DegottCISPA Helmholtz Center for Information Security, Nataniel Borges Jr.CISPA Helmholtz Center for Information Security, Andreas ZellerCISPA Helmholtz Center for Information Security
Pre-print Media Attached
issta-2019-Technical-Papers14:45 - 15:07
Talk
Thomas D. WhiteThe University of Sheffield, Gordon FraserUniversity of Passau, Guy J. BrownThe University of Sheffield
issta-2019-Technical-Papers15:07 - 15:30
Talk
Alessio GambiUniversity of Passau, Marc MuellerBeamNG GmbH, Gordon FraserUniversity of Passau
issta-2019-catering
15:30 - 16:00: Catering - Mini Break at Grand Ballroom
issta-2019-catering15:30 - 16:00
Break
issta-2019-Technical-Papers
16:00 - 17:30: Technical Papers - Potpourri at Grand Ballroom
Chair(s): Andreas ZellerCISPA Helmholtz Center for Information Security
issta-2019-Technical-Papers16:00 - 16:22
Talk
Rohan PadhyeUniversity of California, Berkeley, Caroline LemieuxUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg
Link to publication DOI Pre-print
issta-2019-Technical-Papers16:22 - 16:45
Talk
Zhe ChenNanjing University of Aeronautics and Astronautics, Junqi YanNanjing University of Aeronautics and Astronautics, Shuanglong KanNanjing University of Aeronautics and Astronautics, Ju QianNanjing University of Aeronautics and Astronautics, Jingling XueUNSW Sydney
issta-2019-Technical-Papers16:45 - 17:07
Talk
Elvira Albert, Maria Garcia de la BandaMonash University, Miguel Gómez-ZamalloaComplutense University of Madrid, Miguel IsabelComplutense University of Madrid, Peter J. StuckeyMonash University
issta-2019-Technical-Papers17:07 - 17:30
Talk
Aashish Kolluri, Ivica NikolicNational University Of Singapore, Ilya SergeyYale-NUS College and National University of Singapore, Aquinas Hobor, Prateek SaxenaNational University Of Singapore
issta-2019-catering
18:00 - 21:30: Catering - PC Dinner at the lobby of the conference venue

Wed 17 Jul 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
Grand Ballroom
Valley Cafe
12:30 - 14:00

Fri 19 Jul 2019

Mon 15 Jul 2019

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Function Room A
Function Room B
Meeting Room 4
Meeting Room 8

Tue 16 Jul 2019

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Function Room B
Meeting Room 2
Meeting Room 4
Meeting Room 8
Valley Cafe
12:30 - 14:00
the lobby of the conference venue

Wed 17 Jul 2019

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Grand Ballroom
Valley Cafe
12:30 - 14:00

Thu 18 Jul 2019

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Grand Ballroom
Valley Cafe
12:30 - 14:00
Yuxiandu Chinese Royal Gastronomy Museum
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)