Deokhwan Kim

A Ph.D. candidate in the Department of Electrical Engineering and Computer Science and member of the Computer Science and Artificial Intelligence Laboratory at the Massachusetts Institute of Technology

Contact

32 Vassar Street, Building 32-G730
Cambridge, MA 02139
USA

Email: dki...@csail.mit.edu

Phone: +1-617-253-7768

Publications

DBLP | ACM DL

Proceedings

• Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs
  Michael Carbin, Deokhwan Kim, Sasa Misailovic and Martin C. Rinard
  In PLDI '12: Proceedings of the 33rd ACM SIGPLAN Conference of Programming Langauge Design and Implementation, 2012
• Verification of Semantic Commutativity Conditions and Inverse Operations on Linked Data Structures
  Deokhwan Kim and Martin C. Rinard
  In PLDI '11: Proceedings of the 32nd ACM SIGPLAN Conference of Programming Langauge Design and Implementation, 2011
  [paper (via ACM Author-Izer) | bibtex]

Technical Reports

• 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, Dec. 2010
  [paper | source code | bibtex]