Chris Hathhorn, Chucky Ellison, Grigore Rosu. Defining the undefinedness of C. In David Grove, Steve Blackburn, editors, Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015. pages 336-345, ACM, 2015. [doi]
Abstract is missing.