Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
VenueOnline!
Room nameSOAP live stream
Floor0
Additional information

Slack channel: #soap

Slack channel for informal discussion: #soap-informal

YouTube live stream

Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 15 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change

05:00 - 06:00: Keynote 1SOAP at SOAP live stream
05:00 - 06:00
Talk
Keynote: Formal Reasoning and the Hacker Way
SOAP
Peter W. O'HearnFacebook and University College London
Media Attached
06:20 - 07:40: Research Paper PresentationsSOAP at SOAP live stream
06:20 - 06:46
Talk
Explaining Bug Provenance with Trace Witnesses
SOAP
Jixiang ShenThe University of Sydney, Xi WuThe University of Sydney, Neville GrechUniversity of Athens, Greece, Bernhard ScholzUniversity of Sydney, Australia, Yannis SmaragdakisUniversity of Athens, Greece
Media Attached
06:46 - 07:13
Talk
TACAI: An Intermediate Representation based on Abstract Interpretation
SOAP
Michael ReifTU Darmstadt, Germany, Florian KüblerTU Darmstadt, Germany, Dominik HelmTU Darmstadt, Germany, Ben HermannPaderborn University, Michael EichbergTU Darmstadt, Germany, Mira MeziniTechnische Universität Darmstadt
Media Attached
07:13 - 07:40
Talk
Value and Allocation Sensitivities in Static Python Analyses
SOAP
Raphaël MonatSorbonne University — LIP6, Abdelraouf OuadjaoutSorbonne Université, Antoine MinéSorbonne Université
Media Attached
08:00 - 09:00: Tool Talks 1SOAP at SOAP live stream
08:00 - 08:15
Other
Tool Talk: Soufflé
SOAP
Bernhard ScholzUniversity of Sydney, Australia
Media Attached
08:15 - 08:30
Other
Tool Talk: DOOP
SOAP
Yannis SmaragdakisUniversity of Athens, Greece
Media Attached
08:30 - 08:45
Other
Tool Talk: CodeChecker
SOAP
Gábor MártonEricsson Ltd, Dániel KruppEricsson Ltd
Media Attached
08:45 - 09:00
Other
Tool Talk: KLEE
SOAP
Cristian CadarImperial College London, Martin NowackImperial College London
Media Attached
10:40 - 12:00: Tool Talks 2SOAP at SOAP live stream
10:40 - 10:56
Other
Tool Talk: Soot
SOAP
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Media Attached
10:56 - 11:12
Other
Tool Talk: Phasar
SOAP
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University
Media Attached File Attached
11:12 - 11:28
Other
Tool Talk: MagpieBridge
SOAP
Linghui LuoPaderborn University, Germany
Media Attached
11:28 - 11:44
Other
Tool Talk: WALA
SOAP
Julian DolbyIBM Research, USA
Media Attached
11:44 - 12:00
Other
Buffer for Toolk Talk discussions, Best Presentation Award announcement
SOAP

Mon 15 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change

Room5:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:0030
SOAP live stream