Daejun Park -

Registered user since Tue 17 Feb 2015

Name:Daejun Park

Affiliation:University of Illinois at Urbana-Champaign

Personal website: https://daejunpark.github.io/

Contributions

2019

PLDI

Author of A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture within the PLDI Research Papers-track

2018

ESEC/FSE

Author of A Formal Verification Tool for Ethereum VM Bytecode within the Demonstrations-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2016

SPLASH

Author of Semantics-Based Program Verifiers for All Languages within the OOPSLA-track

2015

PLDI

Author of KJS: A Complete Formal Semantics of JavaScript within the Research Papers-track