Stable Deterministic Multithreading through Schedule Memoization
暂无分享,去创建一个
Junfeng Yang | Jingyue Wu | Heming Cui | Chia-che Tsai | Chia-che Tsai | Junfeng Yang | Heming Cui | Jingyue Wu
[1] Yuanyuan Zhou,et al. PRES: probabilistic replay with execution sketching on multiprocessors , 2009, SOSP '09.
[2] Michael J. Fischer,et al. The String-to-String Correction Problem , 1974, JACM.
[3] Ion Stoica,et al. Friday: Global Comprehension for Distributed Replay , 2007, NSDI.
[4] Xuezheng Liu,et al. Usenix Association 8th Usenix Symposium on Operating Systems Design and Implementation R2: an Application-level Kernel for Record and Replay , 2022 .
[5] Junfeng Yang,et al. Automatically generating malicious disks using symbolic execution , 2006, 2006 IEEE Symposium on Security and Privacy (S&P'06).
[6] Bradley C. Kuszmaul,et al. Cilk: an efficient multithreaded runtime system , 1995, PPOPP '95.
[7] Koushik Sen,et al. DART: directed automated random testing , 2005, PLDI '05.
[8] Jong-Deok Choi,et al. Deterministic replay of distributed Java applications , 2000, Proceedings 14th International Parallel and Distributed Processing Symposium. IPDPS 2000.
[9] Srikanth Kandula,et al. Flashback: A Lightweight Extension for Rollback and Deterministic Replay for Software Debugging , 2004, USENIX Annual Technical Conference, General Track.
[10] Dan Grossman,et al. CoreDet: a compiler and runtime system for deterministic multithreaded execution , 2010, ASPLOS XV.
[11] Peter M. Chen,et al. Execution replay of multiprocessor virtual machines , 2008, VEE '08.
[12] Yuanyuan Zhou,et al. AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants , 2007, IEEE Micro.
[13] Koushik Sen,et al. Randomized active atomicity violation detection in concurrent programs , 2008, SIGSOFT '08/FSE-16.
[14] Koushik Sen,et al. Race directed random testing of concurrent programs , 2008, PLDI '08.
[15] Dawson R. Engler,et al. EXE: Automatically Generating Inputs of Death , 2008, TSEC.
[16] Jason Nieh,et al. Transparent, lightweight application execution replay on commodity multiprocessor operating systems , 2010, SIGMETRICS '10.
[17] E. Berger,et al. Grace: Safe and Efficient Concurrent Programming , 2008 .
[18] Joseph A. Fisher,et al. Predicting conditional branch directions from previous runs of a program , 1992, ASPLOS V.
[19] Vitaly Chipounov,et al. Selective Symbolic Execution , 2009 .
[20] Marek Olszewski,et al. Kendo: efficient deterministic multithreading in software , 2009, ASPLOS.
[21] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools (2nd Edition) , 2006 .
[22] James R. Larus,et al. Branch prediction for free , 1993, PLDI '93.
[23] Samuel T. King,et al. ReVirt: enabling intrusion analysis through virtual-machine logging and replay , 2002, OPSR.
[24] Brandon Lucia,et al. DMP: Deterministic Shared-Memory Multiprocessing , 2010, IEEE Micro.
[25] Shan Lu,et al. ConMem: detecting severe concurrency bugs through an effect-oriented approach , 2010, ASPLOS XV.
[26] Xiao Ma,et al. MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs , 2007, SOSP.
[27] Edward A. Lee. The problem with threads , 2006, Computer.
[28] Horatiu Jula,et al. Deadlock Immunity: Enabling Systems to Defend Against Deadlocks , 2008, OSDI.
[29] Koen De Bosschere,et al. RecPlay: a fully integrated practical record/replay system , 1999, TOCS.
[30] Miguel Castro,et al. Better bug reporting with better privacy , 2008, ASPLOS 2008.
[31] Emery D. Berger,et al. Grace: safe multithreaded programming for C/C++ , 2009, OOPSLA 2009.
[32] Ion Stoica,et al. ODR: output-deterministic replay for multicore debugging , 2009, SOSP '09.
[33] Patrice Godefroid,et al. Automated Whitebox Fuzz Testing , 2008, NDSS.
[34] Koushik Sen,et al. CUTE: a concolic unit testing engine for C , 2005, ESEC/FSE-13.
[35] Dawson R. Engler,et al. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs , 2008, OSDI.
[36] Josep Torrellas,et al. Capo: a software-hardware interface for practical deterministic multiprocessor replay , 2009, ASPLOS.
[37] George Candea,et al. Automated software testing as a service , 2010, SoCC '10.
[38] Manuel Costa,et al. Bouncer: securing software by blocking bad input , 2008, WRAITS '08.
[39] Scott A. Mahlke,et al. Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs , 2008, OSDI.
[40] Yuanyuan Zhou,et al. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics , 2008, ASPLOS.
[41] James R. Larus,et al. Efficient path profiling , 1996, Proceedings of the 29th Annual IEEE/ACM International Symposium on Microarchitecture. MICRO 29.
[42] Michael Burrows,et al. Eraser: a dynamic data race detector for multithreaded programs , 1997, TOCS.
[43] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.
[44] Yuanyuan Zhou,et al. CTrigger: exposing atomicity violation bugs from their hiding places , 2009, ASPLOS.
[45] Dawson R. Engler,et al. RacerX: effective, static detection of race conditions and deadlocks , 2003, SOSP '03.
[46] Christoforos E. Kozyrakis,et al. Evaluating MapReduce for Multi-core and Multiprocessor Systems , 2007, 2007 IEEE 13th International Symposium on High Performance Computer Architecture.
[47] Adam Kiezun,et al. Grammar-based whitebox fuzzing , 2008, PLDI '08.
[48] Yuanyuan Zhou,et al. BugBench: Benchmarks for Evaluating Bug Detection Tools , 2005 .