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

SPLASH 2019	Session Chair of Model Checking (part of OOPSLA)
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)
Show activities from other conferences

SPLASH 2019-profile
View general profile