Daejun Park
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2015–2024
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ASPLOS | LazyBarrier: Reconstructing Android IO Stack for Barrier-Enabled Flash Storage. | Yuanyi Zhang, Heng Zhang, Wenbin Cao, Xing He, Daejun Park, Jinyoung Choi, SungJun Park |
| 2024 | USENIX | ZMS: Zone Abstraction for Mobile Flash Storage. | Joo Young Hwang, Seokhwan Kim, Daejun Park, Yong-Gil Song, Junyoung Han, Seunghyun Choi, Sangyeun Cho, Youjip Won |
| 2021 | ASPLOS | Language-parametric compiler validation with application to LLVM. | Theodoros Kasampalis, Daejun Park, Zhengyao Lin, Vikram S. Adve, Grigore Rosu |
| 2020 | CAV | End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract. | Daejun Park, Yi Zhang, Grigore Rosu |
| 2019 | AAAI | Logistic Regression on Homomorphic Encrypted Data at Scale. | Kyoohyung Han, Seungwan Hong, Jung Hee Cheon, Daejun Park |
| 2019 | PLDI | A complete formal semantics of x86-64 user-level instruction set architecture. | Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis, Vikram S. Adve, Grigore Rosu |
| 2018 | ISoLA | A Language-Independent Approach to Smart Contract Verification. | Xiaohong Chen, Daejun Park, Grigore Rosu |
| 2018 | TACAS | Invariant Synthesis for Incomplete Verification Engines. | Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park |
| 2017 | USENIX | iJournaling: Fine-Grained Journaling for Improving the Latency of Fsync System Call. | Daejun Park, Dongkun Shin |
| 2016 | OOPSLA | Semantics-based program verifiers for all languages. | Andrei Stefanescu, Daejun Park, Shijiao Yuwen, Yilong Li, Grigore Rosu |
| 2015 | PLDI | KJS: a complete formal semantics of JavaScript. | Daejun Park, Andrei Stefanescu, Grigore Rosu |