Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Mon 15 Jun 2020 08:45 - 09:00 at SOAP live stream - Tool Talks 1

The KLEE team will give a short talk on their symbolic execution engine for LLVM IR.

https://klee.github.io/

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

08:00 - 09:00: Tool Talks 1SOAP at SOAP live stream
08:00 - 08:15
Other
SOAP
Bernhard ScholzUniversity of Sydney, Australia
Media Attached
08:15 - 08:30
Other
SOAP
Yannis SmaragdakisUniversity of Athens, Greece
Media Attached
08:30 - 08:45
Other
SOAP
Gábor MártonEricsson Ltd, Dániel KruppEricsson Ltd
Media Attached
08:45 - 09:00
Other
SOAP
Cristian CadarImperial College London, Martin NowackImperial College London
Media Attached