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

by Kim, Deokhwan, Rinard, Martin C.
Published 2012

Parallelizing Sequential Programs with Statistical Accuracy Tests

by Misailovic, Sasa, Kim, Deokhwan, Rinard, Martin C.
Published 2015

Verified integrity properties for safe approximate program transformations

by Kim, Deokhwan, Misailovic, Sasa, Rinard, Martin C., Carbin, Michael James
Published 2014

Proving acceptability properties of relaxed nondeterministic approximate programs

by Carbin, Michael James, Kim, Deokhwan, Misailovic, Sasa, Rinard, Martin C.
Published 2012

Sound input filter generation for integer overflow errors

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

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

by Sidiroglou-Douskos, Stelios, Lahtinen, Eric, Piselli, Paolo, Long, Fan, Kim, Deokhwan, Rinard, Martin C., Rittenhouse, Nathan (Nathan W.)
Published 2015