共 50 条
- [41] Kismet: Parallel Speedup Estimates for Serial Programs [J]. ACM SIGPLAN NOTICES, 2011, 46 (10) : 519 - 536
- [42] Kismet: Parallel Speedup Estimates for Serial Programs [J]. OOPSLA 11: PROCEEDINGS OF THE 2011 ACM INTERNATIONAL CONFERENCE ON OBJECT ORIENTED PROGRAMMING SYSTEMS LANGUAGES AND APPLICATIONS, 2011, : 519 - 536
- [45] Security for multithreaded programs under cooperative scheduling [J]. PERSPECTIVES OF SYSTEMS INFORMATICS, 2007, 4378 : 474 - +
- [46] Using Unfoldings in Automated Testing of Multithreaded Programs [J]. 2012 PROCEEDINGS OF THE 27TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2012, : 150 - 159
- [47] Pattern-Based Verification for Multithreaded Programs [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2014, 36 (03):
- [48] SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 394 - +
- [49] Program Visualization for Debugging Deadlocks in Multithreaded Programs [J]. ADVANCES IN SOFTWARE ENGINEERING, 2010, 117 : 228 - 236
- [50] Assertion Guided Symbolic Execution of Multithreaded Programs [J]. 2015 10TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE 2015) PROCEEDINGS, 2015, : 854 - 865