C++ Logo

sg12

Advanced search

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

From: Gabriel Dos Reis <gdr_at_[hidden]>
Date: Thu, 31 Oct 2013 05:43:12 +0000
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

Received on 2013-10-31 06:43:31