Deokhwan Kim
Contact
Email: dki...@csail.mit.edu
Publications
Peer-Reviewed Papers
Synthesizing Replacement Classes. Malavika Samak, Deokhwan Kim, and Martin C. Rinard. In Proceedings of Principles of Programming Languages, POPL, 2020. [paper]
Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement. Stelios Sidiroglou-Douskos, Eric Lahtinen, Nathan Rittenhouse, Paolo Piselli, Fan Long, Deokhwan Kim, and Martin Rinard. In Proceedings of Architectural Support for Programming Languages and Operating Systems, ASPLOS, 2015. [paper]
Information-Flow Analysis of Android Applications in DroidSafe. Michael I. Gordon, Deokhwan Kim, Jeff Perkins, Limei Gilham, Nguyen Nguyen, and Martin Rinard. In Proceedings of Network and Distributed System Security Symposium, NDSS, 2015. [paper]
Sound Input Filter Generation for Integer Overflow Errors. Fan Long, Stelios Sidiroglou-Douskos, Deokhwan Kim, and Martin Rinard. In Proceedings of Principles of Programming Languages, POPL, 2014. [paper]
Parallelizing Sequential Programs with Statistical Accuracy Tests. Sasa Misailovic, Deokhwan Kim, and Martin Rinard. ACM Transactions on Embedded Computing Systems, 2013. [paper (via ACM Author-Izer)]
Verified Integrity Properties for Safe Approximate Program Transformations. Michael Carbin, Deokhwan Kim, Sasa Misailovic, and Martin C. Rinard. In Proceedings of Partial Evaluation and Program Manipulation, PEPM, 2013. Short Research Paper. [paper (via ACM Author-Izer)]
Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs. Michael Carbin, Deokhwan Kim, Sasa Misailovic, and Martin C. Rinard. In Proceedings of Programming Language Design and Implementation, PLDI, 2012. [paper (via ACM Author-Izer)]
Verification of Semantic Commutativity Conditions and Inverse Operations on Linked Data Structures. Deokhwan Kim and Martin C. Rinard. In Proceedings of Programming Language Design and Implementation, PLDI, 2011. [paper (via ACM Author-Izer)]
Technical Reports
Sound Input Filter Generation for Integer Overflow Errors. Fan Long, Stelios Sidiroglou-Douskos, Deokhwan Kim, and Martin Rinard. Technical Report MIT-CSAIL-TR-2013-018, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 2013. [paper]
Reasoning about Relaxed Programs. Michael Carbin, Deokhwan Kim, Sasa Misailovic, and Martin C. Rinard. Technical Report MIT-CSAIL-TR-2011-050, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 2011. [paper]
Verification of Semantic Commutativity Conditions and Inverse Operations on Linked Data Structures. Deokhwan Kim and Martin C. Rinard. Technical Report MIT-CSAIL-TR-2010-056, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 2010. [paper | source code]
Parallelizing Sequential Programs With Statistical Accuracy Tests. Sasa Misailovic, Deokhwan Kim, and Martin Rinard. Technical Report MIT-CSAIL-TR-2010-038, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 2010. [paper]
Automatic Parallelization With Statistical Accuracy Bounds. Sasa Misailovic, Deokhwan Kim, and Martin Rinard. Technical Report MIT-CSAIL-TR-2010-007, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 2010. [paper]