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: Soufflé

SOAP 2020
Mon 15 Jun 2020 08:00 - 08:15 at SOAP live stream - Tool Talks 1

The Soufflé team will give a short talk on their Datalog engine in relation to Program Analysis.

https://souffle-lang.github.io/

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
Bernhard Scholz

Bernhard Scholz

University of Sydney, Australia