PLDI 2020 (series) / SOAP 2020 (series) /
SOAP 2020 Program
This is the SOAP 2020 program - see the full program for PLDI 2020 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 15 JunDisplayed time zone: Pacific Time (US & Canada) change
Mon 15 Jun
Displayed time zone: Pacific Time (US & Canada) change
05:00 - 06:00 | |||
05:00 60mTalk | Keynote: Formal Reasoning and the Hacker Way SOAP Peter W. O'Hearn Facebook and University College London Media Attached |
06:20 - 07:40 | |||
06:20 26mTalk | Explaining Bug Provenance with Trace Witnesses SOAP Jixiang Shen The University of Sydney, Xi Wu The University of Sydney, Neville Grech University of Athens, Greece, Bernhard Scholz University of Sydney, Australia, Yannis Smaragdakis University of Athens, Greece Media Attached | ||
06:46 26mTalk | TACAI: An Intermediate Representation based on Abstract Interpretation SOAP Michael Reif TU Darmstadt, Germany, Florian Kübler TU Darmstadt, Germany, Dominik Helm TU Darmstadt, Germany, Ben Hermann Paderborn University, Michael Eichberg TU Darmstadt, Germany, Mira Mezini Technische Universität Darmstadt Media Attached | ||
07:13 26mTalk | Value and Allocation Sensitivities in Static Python Analyses SOAP Raphaël Monat Sorbonne University — LIP6, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université Media Attached |
08:00 - 09:00 | |||
08:00 15mOther | Tool Talk: Soufflé SOAP Bernhard Scholz University of Sydney, Australia Media Attached | ||
08:15 15mOther | Tool Talk: DOOP SOAP Yannis Smaragdakis University of Athens, Greece Media Attached | ||
08:30 15mOther | Tool Talk: CodeChecker SOAP Media Attached | ||
08:45 15mOther | Tool Talk: KLEE SOAP Media Attached |
09:20 - 10:20 | |||
09:20 60mTalk | Keynote: Beyond Code: New Signals for Static Analysis SOAP Media Attached |
10:40 - 12:00 | |||
10:40 16mOther | Tool Talk: Soot SOAP Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Media Attached | ||
10:56 16mOther | Tool Talk: Phasar SOAP Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University Media Attached File Attached | ||
11:12 16mOther | Tool Talk: MagpieBridge SOAP Linghui Luo Paderborn University, Germany Media Attached | ||
11:28 16mOther | Tool Talk: WALA SOAP Julian Dolby IBM Research, USA Media Attached | ||
11:44 16mOther | Buffer for Toolk Talk discussions, Best Presentation Award announcement SOAP |