Daejun Park
Daejun Park
Runtime Verification, Inc.
Verified email at runtimeverification.com - 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
Logistic regression on homomorphic encrypted data at scale
K Han, S Hong, JH Cheon, D Park
Proceedings of the AAAI Conference on Artificial Intelligence 33, 9466-9471, 2019
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
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
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
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
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
D Park, Y Zhang, G Rosu
International Conference on Computer Aided Verification, 151-164, 2020
Verifiable Computing for Approximate Computation.
S Chen, JH Cheon, D Kim, D Park
IACR Cryptol. ePrint Arch. 2019, 762, 2019
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
A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines
D Neider, P Madhusudan, S Saha, P Garg, D Park
Journal of Automated Reasoning 64 (7), 1523-1552, 2020
Language-parametric compiler validation with application to LLVM
T Kasampalis, D Park, Z Lin, VS Adve, G Roşu
Proceedings of the 26th ACM International Conference on Architectural …, 2021
Semantics-based program verification
D Park
University of Illinois at Urbana-Champaign, 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
The system can't perform the operation now. Try again later.
Articles 1–18