1. Abstractions for Practical Virtual Machine Replay;ACM SIGPLAN Notices;2016-10-11
2. Abstractions for Practical Virtual Machine Replay;Proceedings of the12th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments;2016-03-25
3. Deterministic Replay;ACM Computing Surveys;2015-11-21
4. A survey of checker architectures;ACM Computing Surveys;2013-08
5. A rule-based approach for availability of service by automated service substitution;Software: Practice and Experience;2012-09-17