|
164
|
Atomizer: a dynamic atomicity checker for multithreaded programs
– Cormac Flanagan, Stephen N. Freund
- 2004
|
|
35
|
Run-Time Analysis for Atomicity
– Liqiang Wang, Scott D. Stoller
- 2003
|
|
34
|
Optimized run-time race detection and atomicity checking using partial discovered types
– Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott D. Stoller
- 2005
|
|
19
|
Dynamic Detection of Atomic-Set-Serializability Violations
– Christian Hammer, Julian Dolby , Mandana Vaziri , Frank Tip
- 2008
|
|
38
|
Checking concise specifications for multithreaded software
– Stephen N. Freund, Shaz Qadeer
- 2004
|
|
38
|
Type Inference For Atomicity
– Cormac Flanagan, Stephen N. Freund, Marina Lifshin
- 2005
|
|
20
|
Transparently reconciling transactions with locking for Java synchronization
– Adam Welc, Antony L. Hosking, Suresh Jagannathan
- 2006
|
|
71
|
Associating synchronization constraints with data in an object-oriented language
– Mandana Vaziri, Frank Tip, Julian Dolby
- 2006
|
|
21
|
Detecting potential deadlocks with static analysis and runtime monitoring
– Rahul Agarwal, Liqiang Wang, Scott D. Stoller
- 2005
|
|
5
|
Effects for cooperable and serializable threads
– Jaeheon Yi, Cormac Flanagan
- 2010
|
|
27
|
Randomized active atomicity violation detection in concurrent programs
– Chang-seo Park, Koushik Sen
- 2008
|
|
20
|
Asserting and checking determinism for multithreaded programs
– Jacob Burnim, Koushik Sen
- 2009
|
|
26
|
Exploiting purity for atomicity
– Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
- 2004
|
|
|
2.1 Advances on Architecture: Multi-core Processor............................................................................... 5
– Qichang Chen, Liqiang Wang, Ping Guo, He Huang
|
|
42
|
Accurate and Efficient Runtime Detection of Atomicity Errors in Concurrent Programs
– Liqiang Wang
- 2006
|
|
|
Programs Title for Potential Programming Errors
– Ali H. Doğru, Veli Biçer, Cover Design, Kristin Klinger, Julia Mosemann, Lindsay Johnston, Erika Carter, Joel Gamon, Jamie Snavely, Keith Glazewski, Natalie Pronio, Nick Newcomer, Qichang Chen, Liqiang Wang, Ping Guo
|
|
40
|
Velodrome: A Sound and Complete Dynamic Atomicity Checker for Multithreaded Programs
– Cormac Flanagan
|
|
59
|
Safe futures for Java
– Adam Welc, Suresh Jagannathan, Antony Hosking
- 2005
|
|
3
|
AtomRace: Data Race and Atomicity Violation Detector and Healer
– Zdeněk Letko, Tomáš Vojnar, Bohuslav Krena
|
