|
20
|
Transparently reconciling transactions with locking for Java synchronization
– Adam Welc, Antony L. Hosking, Suresh Jagannathan
- 2006
|
|
4
|
Revocation techniques for Java concurrency
– Adam Welc, Suresh Jagannathan, Antony L. Hosking
- 2005
|
|
|
General Terms
– Armand Navabi, Xiangyu Zhang, Suresh Jagannathan
|
|
|
This is brought to you for free and open access by the Theses and Dissertations at Research Showcase. It has been accepted for inclusion in Dissertations by an authorized administrator of Research Showcase. For more information, please contact research-sh
– Nels E. Beckman, Nels E. Beckman, Stephen Brookes, William Scherlis
- 2010
|
|
2
|
Types for Correct Concurrent API Usage
– Nels E. Beckman, Jonathan Aldrich (chair, Stephen Brookes, William Scherlis
- 2010
|
|
|
Isolating Determinism in Multi-threaded Programs
– Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan
|
|
56
|
Autolocker: Synchronization Inference for Atomic Sections
– Bill Mccloskey, Feng Zhou, David Gay, Eric Brewer
- 2006
|
|
7
|
Preemption-Based Avoidance of Priority Inversion for Java
– Adam Welc, Antony L. Hosking, Suresh Jagannathan
- 2004
|
|
50
|
Types for safe locking: Static race detection for Java
– Martin Abadi, Cormac Flanagan, Stephen N. Freund
- 2006
|
|
54
|
SafeJava: A Unified Type System for Safe Programming
– Chandrasekhar Boyapati
- 2004
|
|
|
Curriculum Vitae
– Virendra Jayant Marathe, Michael L. Scott
|
|
|
Locking Atomic Sections
– Dave Cunningham
|
|
188
|
A type and effect system for atomicity
– Cormac Flanagan, Shaz Qadeer
- 2003
|
|
|
2.1 Advances on Architecture: Multi-core Processor............................................................................... 5
– Qichang Chen, Liqiang Wang, Ping Guo, He Huang
|
|
34
|
Optimized run-time race detection and atomicity checking using partial discovered types
– Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott D. Stoller
- 2005
|
|
|
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
|
|
57
|
Runtime analysis of atomicity for multi-threaded programs
– Liqiang Wang, Scott D. Stoller
- 2006
|
|
3
|
Toward a Benchmark for MultiThreaded Testing Tools
– Yaniv Eytani, Scott D. Stoller, Klaus Havelund, Shmuel Ur
- 2005
|
|
22
|
Toward a Framework and Benchmark for Testing Tools for Multi-Threaded Programs
– Yaniv Eytani, Klaus Havelund, Scott D. Stoller, Shmuel Ur
- 2007
|
