Registered user since Tue 17 Feb 2015

Name: Daejun Park

Affiliation: University of Illinois at Urbana-Champaign

Personal website: http://fsl.cs.illinois.edu/index.php/Daejun_Park

SPLASH 2016 Activities

• Author of Semantics-Based Program Verifiers for All Languages within the OOPSLA-track in SPLASH 2016
• Show activities from other conferences