Casper Bach Poulsen - SPLASH 2019

Sun 20 - Fri 25 October 2019 Athens, Greece

Registered user since Wed 4 May 2016

Name:Casper Bach Poulsen

Affiliation:Delft University of Technology

Contributions

META 2019	From Definitional Interpreter To Symbolic Executor
SLE 2019	Committee Member in Program Committee within the SLE 2019-track Session Chair of Session 3: Languages (part of SLE 2019)
SPLASH 2019	Session Chair of Model Checking (part of OOPSLA)
Show activities from other conferences

SPLASH 2019-profile
View general profile