Collaborated with:G.Rosu Y.Zhang M.Saxena P.Daian A.Stefanescu Shijiao Yuwen Y.Li S.Dasgupta T.Kasampalis V.S.Adve
Talks about:semant (2) formal (2) architectur (1) instruct (1) ethereum (1) program (1) languag (1) complet (1) bytecod (1) verifi (1)
Person: Daejun Park 0001
DBLP: 0001:Daejun_Park
Contributed to:
2018
2016
2019Wrote 3 papers:
- ESEC-FSE-2018-0001ZSDR #bytecode #verification #virtual machine
- A formal verification tool for Ethereum VM bytecode (DP0, YZ, MS, PD, GR), pp. 912–915.
- OOPSLA-2016-StefanescuPYLR #semantics #verification
- Semantics-based program verifiers for all languages (AS, DP0, SY, YL, GR), pp. 74–91.
- PLDI-2019-Dasgupta0KAR #architecture #semantics #set
- A complete formal semantics of x86-64 user-level instruction set architecture (SD, DP0, TK, VSA, GR), pp. 1133–1148.