共 50 条
- [41] Complexity and information flow analysis for multi-threaded programs [J]. The European Physical Journal Special Topics, 2017, 226 : 2375 - 2392
- [43] Interactive visualization environment of multi-threaded parallel programs [J]. PARALLEL COMPUTING: FUNDAMENTALS, APPLICATIONS AND NEW DIRECTIONS, 1998, 12 : 311 - 318
- [44] Handling information release and erasure in multi-threaded programs [J]. CIS: 2007 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY, PROCEEDINGS, 2007, : 824 - 828
- [45] Threader: A Verifier for Multi-threaded Programs (Competition Contribution) [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : 633 - 636
- [46] Thread-specific heaps for multi-threaded programs [J]. ACM SIGPLAN NOTICES, 2001, 36 (01) : 18 - 24
- [47] AggrePlay: Efficient Record and Replay of Multi-threaded Programs [J]. ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2019, : 567 - 577
- [49] Predicate Abstraction and Refinement for Verifying Multi-Threaded Programs [J]. POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2011, : 331 - 344
- [50] Safe and Timely Dynamic Updates for Multi-threaded Programs [J]. PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 13 - 24