Debugging with Intelligence via Probabilistic Inference (* ICSE 2018 * - Technical Papers ) - * ICSE 2018 *

Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

Who

Zhaogui Xu, Shiqing Ma, Xiangyu Zhang, Shuofei Zhu, Baowen Xu

Track

* ICSE 2018 * Technical Papers

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

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

When

Fri 1 Jun 2018 14:40 - 15:00 at H1 room - Inference and Invariants Chair(s): Robert Feldt

Zhaogui Xu

Nanjing University, China

China

Shiqing Ma

Purdue University, USA

Xiangyu Zhang

Purdue University

Shuofei Zhu

Nanjing University, China

Baowen Xu

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

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

Session Program

Fri 1 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	14:00 - 15:30	Inference and InvariantsTechnical Papers at H1 room Chair(s): Robert Feldt Chalmers University of Technology

	14:00 20m Talk		Inferring and Asserting Distributed System Invariants Technical Papers Stewart Grant , Hendrik Cech , Ivan Beschastnikh University of British Columbia Link to publication Media Attached
	14:20 20m Talk		DroidStar: Callback Typestates for Android Classes Technical Papers Arjun Radhakrishna Microsoft, Nicholas Lewchenko , Shawn Meier , Sergio Mover University of Colorado Boulder, Krishna Chaitanya Sripada , Damien Zufferey MPI-SWS, Bor-Yuh Evan Chang University of Colorado Boulder, Pavol Cerny University of Colorado Boulder
	14:40 20m Talk		Debugging with Intelligence via Probabilistic Inference Technical Papers Zhaogui Xu Nanjing University, China, Shiqing Ma Purdue University, USA, Xiangyu Zhang Purdue University, Shuofei Zhu Nanjing University, China, Baowen Xu
	15:00 20m Talk		Reducer-Based Construction of Conditional Verifiers Technical Papers Dirk Beyer LMU Munich, Marie-Christine Jakobs LMU, Munich, Germany, Thomas Lemberger , Heike Wehrheim Pre-print File Attached
	15:20 10m Talk		Q&A in groups Technical Papers