Deokhwan Kim

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 2

Top Topics

Information Flow

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Embed. Comput. Syst.

Publications

Malavika Samak, Deokhwan Kim, Martin C. Rinard
Synthesizing replacement classes. Proc. ACM Program. Lang. 4 (POPL) (2020)
Chan-Gun Lee, Nhu-Ngoc Dao, Seonmin Jang, Deokhwan Kim, Yonghun Kim, Sungrae Cho
Gyro Drift Correction for An Indirect Kalman Filter Based Sensor Fusion Driver. Sensors 16 (6) (2016)
Michael I. Gordon, Deokhwan Kim, Jeff H. Perkins, Limei Gilham, Nguyen Nguyen, Martin C. Rinard
Information Flow Analysis of Android Applications in DroidSafe. NDSS (2015)
Stelios Sidiroglou-Douskos, Eric Lahtinen, Nathan Rittenhouse, Paolo Piselli, Fan Long, Deokhwan Kim, Martin C. Rinard
Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement. ASPLOS (2015)
Fan Long, Stelios Sidiroglou-Douskos, Deokhwan Kim, Martin C. Rinard
Sound input filter generation for integer overflow errors. POPL (2014)
Sasa Misailovic, Deokhwan Kim, Martin C. Rinard
Parallelizing Sequential Programs with Statistical Accuracy Tests. ACM Trans. Embed. Comput. Syst. 12 (2s) (2013)
Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard
Verified integrity properties for safe approximate program transformations. PEPM (2013)
Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard
Proving acceptability properties of relaxed nondeterministic approximate programs. PLDI (2012)
Deokhwan Kim, Martin C. Rinard
Verification of semantic commutativity conditions and inverse operations on linked data structures. PLDI (2011)