Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
PLDI 2020 (series) / SOAP 2020 (series) / 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP) 2020 /

Tool Talk: KLEE

Cristian Cadar, Martin Nowack
SOAP 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/

Cristian Cadar
Cristian Cadar
Imperial College London
United Kingdom
Martin Nowack
Martin Nowack
Imperial College London

Mon 15 Jun

Displayed time zone: Pacific Time (US & Canada) change

08:00 - 09:00
Tool Talks 1SOAP at SOAP live stream
08:00
15m
Other
Tool Talk: Soufflé
SOAP
Bernhard Scholz University of Sydney, Australia
Media Attached
08:15
15m
Other
Tool Talk: DOOP
SOAP
Yannis Smaragdakis University of Athens, Greece
Media Attached
08:30
15m
Other
Tool Talk: CodeChecker
SOAP
Gábor Márton Ericsson Ltd, Dániel Krupp Ericsson Ltd
Media Attached
08:45
15m
Other
Tool Talk: KLEE
SOAP
Cristian Cadar Imperial College London, Martin Nowack Imperial College London
Media Attached