Session 8: Correctness (Aaron Smith)

When:
16th March 2016 @ 10:00 am – 11:15 am
2016-03-16T10:00:00+01:00
2016-03-16T11:15:00+01:00

Chair: Aaron Smith (Microsoft)

#45: Soham Chakraborty and Viktor Vafeiadis. Validating Optimizations of Concurrent C/C++ Programs

#85: Ignacio Laguna, Martin Schulz, David F. Richards, Jon Calhoun and Luke Olson. IPAS: Intelligent Protection Against Silent Output Corruption in Scientific Applications

#99: Adarsh Yoga and Santosh Nagarakatte. Atomicity Violation Checker for Task Parallel Programs

Posted in .