Följ
Daejun Park
Daejun Park
Runtime Verification, Inc.
Verifierad e-postadress på runtimeverification.com - Startsida
Titel
Citeras av
Citeras av
År
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
2772018
KJS: A complete formal semantics of JavaScript
D Park, A Stefănescu, G Roşu
PLDI'15, 346-356, 2015
1432015
Semantics-based program verifiers for all languages
A Stefănescu, D Park, S Yuwen, Y Li, G Roşu
OOPSLA'16, 74-91, 2016
1102016
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
842018
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
73*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
532019
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
242014
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
142018
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
92020
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
92018
Verifiable computing for approximate computation
S Chen, JH Cheon, D Kim, D Park
Cryptology ePrint Archive, 2019
62019
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
42021
Unstaging Translation of Cross-Stage Persistent Multi-Staged Programs
J Choi, J Kang, D Park, K Yi
3*2012
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
22020
Encrypted Execution
D Park, J Kang, K Heo, S Cho, Y Yoon, K Yi
22012
Cut-Bisimulation and Program Equivalence
D Park, G Rosu, VS Adve, T Kasampalis
Unpublished manuscript, University of Illinois at Urbana-Champaign, 2020
12020
Semantics-based program verification
D Park
University of Illinois at Urbana-Champaign, 2019
12019
Calculation verification for approximate calculation
JH Cheon, D Kim, D Park
US Patent App. 17/422,278, 2022
2022
Parameterized Procedural Summaries: How to Achieve Scalable and Context-sensitive Buffer-overrun Static Detection for C Programs
D Park
Seoul National University, 2008
2008
Using Fully Automatic Static Analyzer for Domain-Specific Software Verification
K Yi, D Park, H Lee
UNU/IIST, 80, 2006
2006
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20