* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Fri 1 Jun 2018 14:20 - 14:40 at H1 room - Inference and Invariants Chair(s): Robert Feldt

Fri 1 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30: Inference and InvariantsTechnical Papers at H1 room
Chair(s): Robert FeldtChalmers University of Technology
14:00 - 14:20
Talk
Inferring and Asserting Distributed System Invariants
Technical Papers
Stewart Grant, Hendrik Cech, Ivan BeschastnikhUniversity of British Columbia
Link to publication Media Attached
14:20 - 14:40
Talk
DroidStar: Callback Typestates for Android Classes
Technical Papers
Arjun RadhakrishnaMicrosoft, Nicholas Lewchenko, Shawn Meier, Sergio MoverUniversity of Colorado Boulder, Krishna Chaitanya Sripada, Damien ZuffereyMPI-SWS, Bor-Yuh Evan ChangUniversity of Colorado Boulder, Pavol CernyUniversity of Colorado Boulder
14:40 - 15:00
Talk
Debugging with Intelligence via Probabilistic Inference
Technical Papers
Zhaogui XuNanjing University, China, Shiqing MaPurdue University, USA, Xiangyu ZhangPurdue University, Shuofei ZhuNanjing University, China, Baowen Xu
15:00 - 15:20
Talk
Reducer-Based Construction of Conditional Verifiers
Technical Papers
Pre-print File Attached
15:20 - 15:30
Talk
Q&A in groups
Technical Papers