Deokhwan Kim

According to our database, Deokhwan Kim authored at least 9 papers between 2011 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Synthesizing replacement classes.

Malavika Samak, Deokhwan Kim, Martin C. Rinard

Proc. ACM Program. Lang., 2020

2016

Gyro Drift Correction for An Indirect Kalman Filter Based Sensor Fusion Driver.

Chan-Gun Lee, Nhu-Ngoc Dao, Seonmin Jang, Deokhwan Kim, Yonghun Kim, Sungrae Cho

Sensors, 2016

2015

Information Flow Analysis of Android Applications in DroidSafe.

Michael I. Gordon, Deokhwan Kim, Jeff H. Perkins, Limei Gilham, Nguyen Nguyen, Martin C. Rinard

Proceedings of the 22nd Annual Network and Distributed System Security Symposium, 2015

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

Stelios Sidiroglou-Douskos, Eric Lahtinen, Nathan Rittenhouse, Paolo Piselli, Fan Long, Deokhwan Kim, Martin C. Rinard

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

Sound input filter generation for integer overflow errors.

Fan Long, Stelios Sidiroglou-Douskos, Deokhwan Kim, Martin C. Rinard

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Parallelizing Sequential Programs with Statistical Accuracy Tests.

Sasa Misailovic, Deokhwan Kim, Martin C. Rinard

ACM Trans. Embed. Comput. Syst., 2013

Verified integrity properties for safe approximate program transformations.

Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

2012

Proving acceptability properties of relaxed nondeterministic approximate programs.

Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2011

Verification of semantic commutativity conditions and inverse operations on linked data structures.

Deokhwan Kim, Martin C. Rinard

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011