共 50 条
- [2] Alternate methods of storing committed transactions in the log for their future re-execution WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 1, PROCEEDINGS: INFORMATION SYSTEMS DEVELOPMENT, 2001, : 508 - 512
- [4] Partial re-execution: Reconciling transactions to increase concurrency in object-bases INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 1469 - 1475
- [5] The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web PROCEEDINGS OF THE TWENTY-SIXTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES (SOSP '17), 2017, : 546 - 564
- [6] Finding missing synchronization in a distributed computation using controlled re-execution Distributed Computing, 2004, 17 : 107 - 130
- [7] Re-execution of distributed programs to detect bugs hidden by racing messages THIRTIETH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL 1: SOFTWARE TECHNOLOGY AND ARCHITECTURE, 1997, : 423 - 432
- [9] Shreds: Fine-grained Execution Units with Private Memory 2016 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP), 2016, : 56 - 71
- [10] Compositional Symbolic Execution using Fine-Grained Summaries 2015 24TH AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC 2015), 2015, : 213 - 222