Taming undefined behavior in LLVM

Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes. Taming undefined behavior in LLVM. In Albert Cohen 0001, Martin T. Vechev, editors, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017. pages 633-647, ACM, 2017. [doi]

Authors

Juneyoung Lee

This author has not been identified. Look up 'Juneyoung Lee' in Google

Yoonseung Kim

This author has not been identified. Look up 'Yoonseung Kim' in Google

Youngju Song

This author has not been identified. Look up 'Youngju Song' in Google

Chung-Kil Hur

This author has not been identified. Look up 'Chung-Kil Hur' in Google

Sanjoy Das

This author has not been identified. Look up 'Sanjoy Das' in Google

David Majnemer

This author has not been identified. Look up 'David Majnemer' in Google

John Regehr

This author has not been identified. It may be one of the following persons: Look up 'John Regehr' in Google

Nuno P. Lopes

This author has not been identified. Look up 'Nuno P. Lopes' in Google