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

The DOOP team will give a short talk on their Datalog-based framework for points-to / taint analysis. The exact speaker is tbd.

https://bitbucket.org/yanniss/doop/src/master/

Research Interests: programming languages and software engineering

  • Program analysis (static analysis, test generation, invariant inference, symbolic execution)
  • Language mechanisms for abstraction (declarative languages, program generation, DSLs, modules and components, generics, extensible languages, multi-paradigm programming)
  • Languages and tools for systems (programming models for concurrency, language support for distributed computing, memory management and program locality)

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