Scalable statistical bug isolation
Supporting nested transactional memory in logTM
Proceedings of the 12th international conference on Architectural support for programming languages and operating systems - ASPLOS-XII
ACM SIGPLAN Notices
Alex Aiken
Alice X. Zheng
Mayur Naik
Michael M. Swift
Luke Yen
Michael I. Jordan
Diagnose Crashing Faults on Production Software
Checkpoints and Continuations Instead of Nested Transactions