Concepedia

Dohyeong Kim

DK

7

Publications

155

Citations

7

H-Index

2014

Active since

Affiliations

Purdue University West Lafayette(Current)

Simon Fraser University

Dohyeong Kim is an author at Purdue University West Lafayette specializing in computer science, software analysis, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsSoftware TestingFormal VerificationSoftware EngineeringSoftware DesignSystem Software

Publications per year

2014–2024

7

Publications

7

LDX

Yonghwi Kwon, Dohyeong Kim, William N. Sumner et al. · 2016 · 49 citations

Engineering, Causality Inference, Software Analysis +16

SemCluster: clustering of imperative programming assignments based on quantitative semantic features

David Mitchel Perry, Dohyeong Kim, Roopsha Samanta et al. · 2019 · 27 citations · Full text

Engineering, Software Engineering, Software Analysis +23

Apex: automatic programming assignment error explanation

Dohyeong Kim, Yonghwi Kwon, Peng Liu et al. · 2016 · 23 citations · Full text

Mathematical Programming, Software Maintenance, Engineering +18

Dual Execution for On the Fly Fine Grained Execution Comparison

Dohyeong Kim, Yonghwi Kwon, William N. Sumner et al. · 2015 · 18 citations

Engineering, Computer Architecture, Software Engineering +23

Reuse-oriented reverse engineering of functional components from x86 binaries

Dohyeong Kim, William N. Sumner, Xiangyu Zhang et al. · 2014 · 16 citations

Engineering, Hardware Verification Language, Binary Program +21

Rows per page

1–5 of 7