Daejun Park

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 14

Top Topics

Logistic Regression

Moment Invariants

Logical Language

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Shuo Chen, Jung Hee Cheon, Dongwoo Kim, Daejun Park
Interactive Proofs for Rounding Arithmetic. IEEE Access 10 (2022)
Theodoros Kasampalis, Daejun Park, Zhengyao Lin, Vikram S. Adve, Grigore Rosu
Language-parametric compiler validation with application to LLVM. ASPLOS (2021)
Daniel Neider, P. Madhusudan, Shambwaditya Saha, Pranav Garg, Daejun Park
A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines. J. Autom. Reason. 64 (7) (2020)
Daejun Park, Yi Zhang, Grigore Rosu
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract. CAV (1) (2020)
Kyoohyung Han, Seungwan Hong, Jung Hee Cheon, Daejun Park
Logistic Regression on Homomorphic Encrypted Data at Scale. AAAI (2019)
Shuo Chen, Jung Hee Cheon, Dongwoo Kim, Daejun Park
Verifiable Computing for Approximate Computation. IACR Cryptol. ePrint Arch. 2019 (2019)
Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis, Vikram S. Adve, Grigore Rosu
A complete formal semantics of x86-64 user-level instruction set architecture. PLDI (2019)
Kyoohyung Han, Seungwan Hong, Jung Hee Cheon, Daejun Park
Efficient Logistic Regression on Large Encrypted Data. IACR Cryptol. ePrint Arch. 2018 (2018)
Daejun Park, Yi Zhang, Manasvi Saxena, Philip Daian, Grigore Rosu
A formal verification tool for Ethereum VM bytecode. ESEC/SIGSOFT FSE (2018)
Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon M. Moore, Daejun Park, Yi Zhang, Andrei Stefanescu, Grigore Rosu
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. CSF (2018)
Xiaohong Chen, Daejun Park, Grigore Rosu
A Language-Independent Approach to Smart Contract Verification. ISoLA (4) (2018)
Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park
Invariant Synthesis for Incomplete Verification Engines. TACAS (1) (2018)
Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park
Invariant Synthesis for Incomplete Verification Engines. CoRR (2017)
Andrei Stefanescu, Daejun Park, Shijiao Yuwen, Yilong Li, Grigore Rosu
Semantics-based program verifiers for all languages. OOPSLA (2016)
Daejun Park, Andrei Stefanescu, Grigore Rosu
KJS: a complete formal semantics of JavaScript. PLDI (2015)
Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Daejun Park, Jeehoon Kang, Kwangkeun Yi
Global Sparse Analysis Framework. ACM Trans. Program. Lang. Syst. 36 (3) (2014)