1
Publications
16
Citations
1
H-Index
2021
Active since
Affiliations
Runtime Verification (United States)(Current)
Daejun Park is an author at Runtime Verification (United States) specializing in computer engineering, formal verification, and formal methods.
Top concepts
CompilersEngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2021–2021
1
1
Language-parametric compiler validation with application to LLVM
Theodoros Kasampalis, Daejun Park, Zhengyao Lin et al. · 2021 · 16 citations
Rows per page
1–1 of 1