Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 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
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

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