Concepedia

Deokhwan Kim

DK

Statistics

Publications

21

Citations

1.1K

H-Index

16

Active since

2011

Affiliations

Massachusetts Institute of Technology(Current)

Gwangju Institute of Science and Technology

Korea Institute of Civil Engineering and Building Technology

Inha University

Ewha Womans University

Deokhwan Kim is an author at Massachusetts Institute of Technology specializing in engineering, program analysis, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsSoftware AnalysisVerificationFormal VerificationComputer EngineeringComputer ArchitectureSystem Software

Publications per year

2011–2023

21

Publications

21

Information-Flow Analysis of Android Applications in DroidSafe

Michael I. Gordon, Deokhwan Kim, Jeff Perkins et al. · 2015 · 424 citations

Proving acceptability properties of relaxed nondeterministic approximate programs

Michael Carbin, Deokhwan Kim, Saša Misailovíc et al. · 2012 · 104 citations

Engineering, Compiler Technology, Verification +21

Parallelizing Sequential Programs with Statistical Accuracy Tests

Saša Misailovíc, Deokhwan Kim, Martin Rinard · ACM Transactions on Embedded Computing Systems · 2013 · 86 citations

Engineering, Compiler Technology, Computer Architecture +19

Sound input filter generation for integer overflow errors

Fan Long, Stelios Sidiroglou-Douskos, Deokhwan Kim et al. · 2014 · 56 citations · Full text

Engineering, Computer Architecture, Software Engineering +20

Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement

Stelios Sidiroglou-Douskos, Eric Lahtinen, Nathan Rittenhouse et al. · 2015 · 40 citations · Full text

Branch-and-bound Algorithm, Engineering, Verification +21

1–5 of 21