Daejun Park

According to our database, Daejun Park authored at least 16 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Interactive Proofs for Rounding Arithmetic.

Shuo Chen, Jung Hee Cheon, Dongwoo Kim, Daejun Park

IEEE Access, 2022

2021

Language-parametric compiler validation with application to LLVM.

Theodoros Kasampalis, Daejun Park, Zhengyao Lin, Vikram S. Adve, Grigore Rosu

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines.

Daniel Neider, P. Madhusudan, Shambwaditya Saha, Pranav Garg, Daejun Park

J. Autom. Reason., 2020

End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract.

Daejun Park, Yi Zhang, Grigore Rosu

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Semantics-based program verification

Daejun Park

PhD thesis, 2019

Verifiable Computing for Approximate Computation.

Shuo Chen, Jung Hee Cheon, Dongwoo Kim, Daejun Park

IACR Cryptol. ePrint Arch., 2019

A complete formal semantics of x86-64 user-level instruction set architecture.

Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis, Vikram S. Adve, Grigore Rosu

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Logistic Regression on Homomorphic Encrypted Data at Scale.

Kyoohyung Han, Seungwan Hong, Jung Hee Cheon, Daejun Park

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Efficient Logistic Regression on Large Encrypted Data.

Kyoohyung Han, Seungwan Hong, Jung Hee Cheon, Daejun Park

IACR Cryptol. ePrint Arch., 2018

Invariant Synthesis for Incomplete Verification Engines.

Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

A formal verification tool for Ethereum VM bytecode.

Daejun Park, Yi Zhang, Manasvi Saxena, Philip Daian, Grigore Rosu

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

A Language-Independent Approach to Smart Contract Verification.

Xiaohong Chen, Daejun Park, Grigore Rosu

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine.

Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon M. Moore, Daejun Park, Yi Zhang, Andrei Stefanescu, Grigore Rosu

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2016

Semantics-based program verifiers for all languages.

Andrei Stefanescu, Daejun Park, Shijiao Yuwen, Yilong Li, Grigore Rosu

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015

KJS: a complete formal semantics of JavaScript.

Daejun Park, Andrei Stefanescu, Grigore Rosu

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Global Sparse Analysis Framework.

Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi

ACM Trans. Program. Lang. Syst., 2014