BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 DBLP: 0001:Daejun_Park

Contributed to:

ESEC/FSE 20182018
OOPSLA 20162016
PLDI 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.