Travelled to:1 × China
1 × Italy
1 × Turkey
2 × USA
Collaborated with:M.C.Rinard M.Carbin S.Misailovic S.Sidiroglou-Douskos F.Long M.Samak E.Lahtinen N.Rittenhouse P.Piselli
Talks about:properti (2) overflow (2) approxim (2) program (2) condit (2) integ (2) nondeterminist (1) transform (1) discoveri (1) structur (1)
Person: Deokhwan Kim
DBLP: Kim:Deokhwan
Contributed to:
2015
2014
2013
201220112020Wrote 6 papers:
- ASPLOS-2015-Sidiroglou-Douskos #automation #branch #integer #using
- Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement (SSD, EL, NR, PP, FL, DK, MCR), pp. 473–486.
- POPL-2014-LongSKR #fault #generative #integer
- Sound input filter generation for integer overflow errors (FL, SSD, DK, MCR), pp. 439–452.
- PEPM-2013-CarbinKMR #approximate #program transformation
- Verified integrity properties for safe approximate program transformations (MC, DK, SM, MCR), pp. 63–66.
- PLDI-2012-CarbinKMR #approximate #nondeterminism #proving #source code
- Proving acceptability properties of relaxed nondeterministic approximate programs (MC, DK, SM, MCR), pp. 169–180.
- PLDI-2011-KimR #commutative #data type #linked data #open data #semantics #verification
- Verification of semantic commutativity conditions and inverse operations on linked data structures (DK, MCR), pp. 528–541.
- POPL-2020-SamakKR
- Synthesizing replacement classes (MS, DK, MCR), p. 33.