ISSTA 2019 - Catering

About
Program

Lunch, Diner, Coffee-breaks

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect other time zone

The GMT offsets shown here reflect the offsets at this moment. These offsets update automatically in case there is a change in daylight saving time.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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: Beijing, Chongqing, Hong Kong, Urumqi change

	09:00 - 10:30: SPIN KeynoteWorkshop – TAV-CPS/IoT at Meeting Room 4

	09:00 - 10:30 Talk		SPIN Keynote Workshop – TAV-CPS/IoT

	10:30 - 11:00: Mini BreakCatering at Meeting Room 4

	10:30 - 11:00 Break		Mini Break Catering

	10:30 - 11:00: Mini BreakCatering at Meeting Room 8

	11:00 - 12:30: Session 1 -Automated Software Testing of CPS-IoTWorkshop – TAV-CPS/IoT at Meeting Room 8

	11:00 - 11:20 Talk		Target-driven Compositional Concolic Testing Workshop – TAV-CPS/IoT Yunho KimKAIST
	11:20 - 11:40 Talk		Systematically Ensuring the Confidence of Home Automation IoT Systems By Model Checking Workshop – TAV-CPS/IoT Lei Bu
	11:40 - 12:00 Talk		The Mobile Test Automation Pyramid Workshop – TAV-CPS/IoT Mayank Saraswat
	12:00 - 12:30 Talk		Panel Workshop – TAV-CPS/IoT

	12:30 - 14:00: LunchCatering at Valley Cafe

	14:00 - 15:30: Session 2 - Analysis of CPS-IoTWorkshop – TAV-CPS/IoT at Meeting Room 8

	14:00 - 14:20 Talk		Model Checking of Automotive Workshop – TAV-CPS/IoT Toshiaki AokiJAIST
	14:20 - 14:40 Talk		Symbolic Execution-based Approach to Extracting a Micro State Transition Table Workshop – TAV-CPS/IoT Takahiro Shimizu, Norihiro YoshidaNagoya University, Ryota YamamotoNagoya University, Hiroaki TakadaNagoya University
	14:40 - 14:55 Talk		How to Mock and Verify the Billing in Mobile Carrier Payment world Workshop – TAV-CPS/IoT Keshav Potdar
	14:55 - 15:10 Talk		How to Test Lead a Project and Get the Best out of your Testers Workshop – TAV-CPS/IoT Nicole Hoskins-Barlow
	15:10 - 15:30 Talk		Panel Workshop – TAV-CPS/IoT

	15:30 - 16:00: Mini BreakCatering at Meeting Room 4

	15:30 - 16:00 Break		Mini Break Catering

	15:30 - 16:00: Mini BreakCatering at Meeting Room 8

	16:00 - 17:30: Session 3 - Concurrency and Security of CPS-IoTWorkshop – TAV-CPS/IoT at Meeting Room 8

	16:00 - 16:20 Talk		Automated Software Testing Workshop – TAV-CPS/IoT Valerio TerragniUniversità della Svizzera Italiana
	16:20 - 16:40 Talk		Scalable Detection of Concurrency Vulnerabilities Workshop – TAV-CPS/IoT Yan CaiInstitute of Software, Chinese Academy of Sciences
	16:40 - 17:00 Talk		Telescope in IoT: Security Situation Awareness Framework for Various IoT Devices Workshop – TAV-CPS/IoT Letian Sha
	17:00 - 17:20 Talk		Panel Workshop – TAV-CPS/IoT
	17:20 - 17:30 Talk		Wrap up Workshop – TAV-CPS/IoT

	17:30 - 20:00: Reception for SPIN and Workshop attendeesCatering at Function Room A

	17:30 - 20:00 Dinner		Reception for SPIN and Workshop attendees Catering

Tue 16 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

	09:00 - 10:30: Lecture 1Summer School at Meeting Room 8

	09:00 - 10:30 Talk		Automated Program Repair Summer School Abhik RoychoudhuryNational University of Singapore

	09:30 - 10:35: Session 1Doctoral Symposium at Meeting Room 2

	09:30 - 09:46 Day opening		Openning Doctoral Symposium
	09:46 - 10:02 Doctoral symposium paper		On the Correctness of GPU Programs Doctoral Symposium Chao PengUniversity of Edinburgh, UK
	10:02 - 10:18 Doctoral symposium paper		JNI Program Analysis with Automatically Extracted C Semantic Summary Doctoral Symposium Sungho LeeKAIST, South Korea
	10:18 - 10:35 Doctoral symposium paper		Identifying Error Code Misuses in Complex System Doctoral Symposium Tang WenshengThe Hong Kong University of Science and Technology

	10:30 - 11:00: Mini BreakCatering at Function Room B

	10:30 - 11:00: Mini BreakCatering at Meeting Room 4

	10:30 - 11:00 Break		Mini Break Catering

	10:30 - 11:00: Mini BreakCatering at Meeting Room 8

	10:35 - 11:00: Mini BreakCatering at Meeting Room 2

	11:00 - 12:30: Session 2Doctoral Symposium at Meeting Room 2

	11:00 - 11:20 Doctoral symposium paper		Continuous Software Performance Assessment Doctoral Symposium Christoph LaaberUniversity of Zurich DOI Pre-print
	11:20 - 11:40 Doctoral symposium paper		Conditional Dynamic Partial Order Reduction and Optimality Results Doctoral Symposium Miguel IsabelComplutense University of Madrid
	11:40 - 12:00 Doctoral symposium paper		A New Dimension of Test Quality: Assessing and Generating Higher Quality Unit Test Cases Doctoral Symposium Giovanni GranoUniversity of Zurich DOI Pre-print
	12:00 - 12:30 Talk		Planning and choosing research projects during PhD studies Doctoral Symposium Abhik RoychoudhuryNational University of Singapore

	11:00 - 12:30: Lecture 2Summer School at Meeting Room 8

	11:00 - 12:30 Talk		Program Synthesis Summer School Yingfei XiongPeking University

	12:30 - 14:00: LunchCatering at Valley Cafe

	12:30 - 14:00 Lunch		Lunch Catering

	14:00 - 15:30: Session 3Doctoral Symposium at Meeting Room 2

	14:00 - 14:20 Doctoral symposium paper		A Cost-Effective Strategy for Software Vulnerability Prediction Based on Bellwether Analysis Doctoral Symposium Patrick Kwaku KudjoJiangsu University
	14:20 - 14:40 Doctoral symposium paper		Towards Scalable Defense of Information Flow Security for Distributed Systems Doctoral Symposium Xiaoqin FuWashington State University
	14:40 - 15:00 Doctoral symposium paper		Mining Constraints for Grammar Fuzzing Doctoral Symposium Michaël MeraCISPA, Germany
	15:00 - 15:30 Talk		Panel Disscussion Doctoral Symposium

	14:00 - 15:30: Lecture 3Summer School at Meeting Room 8

	14:00 - 15:30 Talk		Towards Data-driven Cloud Service Intelligence Summer School Qingwei LinMicrosoft Research, China

	15:30 - 16:00: Mini BreakCatering at Function Room B

	15:30 - 16:00: Mini BreakCatering at Meeting Room 2

	15:30 - 16:00: Mini BreakCatering at Meeting Room 4

	15:30 - 16:00 Break		Mini Break Catering

	15:30 - 16:00: Mini BreakCatering at Meeting Room 8

	16:00 - 17:30: Session 4Doctoral Symposium at Meeting Room 2

	16:00 - 17:30 Talk		Panel Disscussion Doctoral Symposium

	16:00 - 17:30: Lecture 4Summer School at Meeting Room 8

	16:00 - 17:30 Talk		Building Great Fuzzers Within Minutes Summer School Andreas ZellerCISPA Helmholtz Center for Information Security

	18:00 - 21:30: OC DinnerCatering at the lobby of the conference venue

	18:00 - 21:30 Dinner		OC Dinner Catering

Wed 17 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

	09:00 - 10:30: Welcome & KeynoteKeynote at Grand Ballroom

	09:00 - 09:15 Talk		Welcome Keynote Dongmei ZhangMicrosoft Research, China, Anders MøllerAarhus University
	09:15 - 10:30 Talk		Keynote by Mark Harman - Some Challenges for Software Testing Research" Keynote 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

	10:30 - 11:00: Mini BreakCatering at Grand Ballroom

	10:30 - 11:00 Break		Mini Break Catering

	12:30 - 14:00: LunchCatering at Valley Cafe

	12:30 - 14:00 Lunch		Lunch Catering

	15:30 - 16:00: Mini BreakCatering at Grand Ballroom

	15:30 - 16:00 Break		Mini Break Catering

	16:00 - 17:30: ISSTA Tool DemonstrationsTool Demonstration at Grand Ballroom

	16:00 - 16:10 Talk		Go-Clone: Graph-Embedding Based Clone Detector for Golang Tool Demonstration Cong WangTsinghua University, Jian GaoSchool of Software, Tsinghua University, Yu Jiang, Zhenchang XingAustralia National University, Huafeng Zhang, Weiliang Ying , Ming GuTsinghua University, Jiaguang Sun
	16:10 - 16:20 Talk		VFQL: Combinational Static Analysis as Query Language Tool Demonstration Guang Chen, Yuexing Wang, Min ZhouTsinghua University, Jiaguang Sun
	16:20 - 16:30 Talk		VBSAC: A Value-Based Static Analyzer for C Tool Demonstration Li ChiTsinghua University, Min ZhouTsinghua University, Zuxing GuSchool of Software, Tsinghua University, Guang Chen, Yuexing Wang, Jiecheng WuTsinghua University, Ming GuTsinghua University
	16:30 - 16:40 Talk		SAFEVM: A Safety Verifier for Ethereum Smart Contracts Tool Demonstration Elvira Albert, Pablo Gordillo, Guillermo Román-Díez, Jesus Correas, Albert Rubio
	16:40 - 16:50 Talk		CoCoTest: Collaborative Crowdsourced Testing for Android Applications Tool Demonstration Haoyu Li, Chunrong Fang, Zhibin Wei, Zhenyu ChenNanjing University
	16:50 - 17:00 Talk		Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android Tool Demonstration 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
	17:00 - 17:10 Talk		JQF: Coverage-guided Property-based Testing in Java Tool Demonstration Rohan PadhyeUniversity of California, Berkeley, Caroline LemieuxUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley
	17:10 - 17:20 Talk		Ukwikora: Continuous inspection for Keyword-Driven Testing Tool Demonstration Renaud Rwemalika, Marinos Kintis, Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg, Pierre Lorrach
	17:20 - 17:30 Talk		CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports Tool Demonstration 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

	17:30 - 20:00: Reception with postersCatering at Grand Ballroom

	17:30 - 20:00 Dinner		Reception with posters Catering

Thu 18 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

	09:00 - 10:30: Keynote & Award PresentationKeynote at Grand Ballroom

	09:00 - 10:00 Talk		Keynote - From Typestate Verification to Interpretable Deep Models Keynote Eran YahavTechnion, Stephen J FinkIBM, Nurit Dor, G. RamalingamMicrosoft Research, Emmanuel GeayWayfair
	10:00 - 10:07 Awards		Impact Paper Awards Keynote Dongmei ZhangMicrosoft Research, China
	10:07 - 10:14 Awards		Distinguished Paper Awards Keynote Anders MøllerAarhus University
	10:14 - 10:21 Awards		Distinguished Artifact Awards Keynote Dan HaoPeking University, Michael PradelTU Darmstadt and Facebook
	10:21 - 10:28 Awards		Best Tool Demonstration Award Keynote Alessandra GorlaIMDEA Software Institute, Hongyu ZhangThe University of Newcastle

	10:30 - 11:00: Mini BreakCatering at Grand Ballroom

	10:30 - 11:00 Break		Mini Break Catering

	12:30 - 14:00: LunchCatering at Valley Cafe

	12:30 - 14:00 Lunch		Lunch Catering

	15:30 - 16:00: Mini BreakCatering at Grand Ballroom

	15:30 - 16:00 Break		Mini Break Catering

	17:45 - 21:00: BanquetCatering at Yuxiandu Chinese Royal Gastronomy Museum

	17:45 - 21:00 Dinner		Banquet Catering

Fri 19 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

	09:00 - 10:30: Keynote & ISSTA 2020 PreviewKeynote at Grand Ballroom

	09:00 - 10:00 Talk		Keynote - The Theory and Practice of String Solvers Keynote Adam KiezunPrincipal Engineer, Amazon Inc., Philip GuoUCSD, Pieter Hooimeijer Engineering Manager, Facebook Inc., Michael D. ErnstUniversity of Washington, USA, Vijay GaneshUniversity of Waterloo
	10:00 - 10:15 Talk		ISSTA 2020 Preview Keynote Corina S PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center, Sarfraz KhurshidUniversity of Texas at Austin

	10:30 - 11:00: Mini BreakCatering at Grand Ballroom

	10:30 - 11:00 Break		Mini Break Catering

	12:30 - 14:00: LunchCatering at Valley Cafe

	12:30 - 14:00 Lunch		Lunch Catering

	15:30 - 16:00: Mini BreakCatering at Grand Ballroom

	15:30 - 16:00 Break		Mini Break Catering

	18:00 - 21:30: PC DinnerCatering at the lobby of the conference venue

Not scheduled yet

Not scheduled yet
Dinner

PC Dinner

Catering

CateringISSTA 2019

Mon 15 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 16 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 17 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Thu 18 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Fri 19 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Not scheduled yet

Tracks

Co-hosted Conferences

Workshops

Co-hosted Competitions

CateringISSTA 2019

Program Display Configuration

Mon 15 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 16 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 17 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Thu 18 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Fri 19 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Not scheduled yet

Mon 15 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 16 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 17 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Thu 18 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Fri 19 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change