[ub] a recent empirical study on undefined behavior-based program transformations

Gabriel Dos Reis gdr at microsoft.com
Thu Oct 31 06:43:12 CET 2013


A redux from the team that sparked discussions last Spring and the
eventual formation of SG12.

  http://pdos.csail.mit.edu/~xi/papers/stack-sosp13.pdf

(Thanks to Donn for bringing this follow up paper to my attention.)

-- Gaby



More information about the ub mailing list