Daejun Park
Daejun Park
PhD student in Computer Science, University of Illinois at Urbana–Champaign
Verified email at illinois.edu - Homepage
Cited by
Cited by
Kevm: A complete formal semantics of the ethereum virtual machine
E Hildenbrandt, M Saxena, N Rodrigues, X Zhu, P Daian, D Guth, ...
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 204-217, 2018
KJS: A complete formal semantics of JavaScript
D Park, A Stefănescu, G Roşu
PLDI'15, 346-356, 2015
Semantics-based program verifiers for all languages
A Stefănescu, D Park, S Yuwen, Y Li, G Roşu
OOPSLA'16, 74-91, 2016
A formal verification tool for Ethereum VM bytecode
D Park, Y Zhang, M Saxena, P Daian, G Roşu
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
Global sparse analysis framework
H Oh, K Heo, W Lee, W Lee, D Park, J Kang, K Yi
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (3), 1-44, 2014
Efficient Logistic Regression on Large Encrypted Data.
K Han, S Hong, JH Cheon, D Park
IACR Cryptol. ePrint Arch. 2018, 662, 2018
A complete formal semantics of x86-64 user-level instruction set architecture
S Dasgupta, D Park, T Kasampalis, VS Adve, G Roşu
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
Invariant synthesis for incomplete verification engines
D Neider, P Garg, P Madhusudan, S Saha, D Park
International Conference on Tools and Algorithms for the Construction and …, 2018
A language-independent approach to smart contract verification
X Chen, D Park, G Roşu
International Symposium on Leveraging Applications of Formal Methods, 405-413, 2018
Unstaging Translation of Cross-Stage Persistent Multi-Staged Programs
J Choi, J Kang, D Park, K Yi
Encrypted Execution
D Park, J Kang, K Heo, S Cho, Y Yoon, K Yi
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
D Park, Y Zhang, G Rosu
Semantics-based program verification
D Park
University of Illinois at Urbana-Champaign, 2019
Verifiable Computing for Approximate Computation.
S Chen, JH Cheon, D Kim, D Park
IACR Cryptol. ePrint Arch. 2019, 762, 2019
Parameterized Procedural Summaries: How to Achieve Scalable and Context-sensitive Buffer-overrun Static Detection for C Programs
D Park
Seoul National University, 2008
Using Fully Automatic Static Analyzer for Domain-Specific Software Verification
K Yi, D Park, H Lee
UNU/IIST, 80, 2006
Cut-Bisimulation and Program Equivalence
D Park, T Kasampalis, VS Adve, G Rosu
A Machine Learning Approach to Synthesizing Invariants for Incomplete Verification Engines
D Neider, P Madhusudan, S Saha, P Garg, D Park
The system can't perform the operation now. Try again later.
Articles 1–18