DroidStar: Callback Typestates for Android Classes (* ICSE 2018 * - Technical Papers )

Who

Arjun Radhakrishna, Nicholas Lewchenko, Shawn Meier, Sergio Mover, Krishna Chaitanya Sripada, Damien Zufferey, Bor-Yuh Evan Chang, Pavol Cerny

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

Save

When

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

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

Slovakia

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

Display full programSpecify a time band

Save

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