IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants.

Abraham Chan, Stefan Winter, Habib Saissi, Karthik Pattabiraman, Neeraj Suri

Browse the full ICST paper archive.