Safe futures for Java (2005)

by Adam Welc , Suresh Jagannathan , Antony Hosking
Venue:In Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2005). ACM
Citations:74 - 7 self

Active Bibliography

TABLE OF CONTENTS – Adam Welc - 2006
22 Transparently reconciling transactions with locking for Java synchronization – Adam Welc, Antony L. Hosking, Suresh Jagannathan - 2006
71 Transactional monitors for concurrent objects – Adam Welc, Suresh Jagannathan, Antony L. Hosking
4 Revocation techniques for Java concurrency – Adam Welc, Suresh Jagannathan, Antony L. Hosking - 2005
General Terms – Armand Navabi, Xiangyu Zhang, Suresh Jagannathan
2 Types for Correct Concurrent API Usage – Nels E. Beckman, Jonathan Aldrich (chair, Stephen Brookes, William Scherlis - 2010
Types for Correct Concurrent API Usage – Nels E. Beckman - 2010
1 Isolating Determinism in Multi-threaded Programs – Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan
72 Autolocker: Synchronization Inference for Atomic Sections – Bill Mccloskey, Feng Zhou, David Gay, Eric Brewer - 2006
8 Preemption-Based Avoidance of Priority Inversion for Java – Adam Welc, Antony L. Hosking, Suresh Jagannathan - 2004
66 Types for safe locking: Static race detection for Java – Martin Abadi, Cormac Flanagan, Stephen N. Freund - 2006
58 SafeJava: A Unified Type System for Safe Programming – Chandrasekhar Boyapati - 2004
Curriculum Vitae – Virendra Jayant Marathe, Michael L. Scott
Locking Atomic Sections – Dave Cunningham
215 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
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
36 Optimized run-time race detection and atomicity checking using partial discovered types – Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott D. Stoller - 2005
72 Runtime analysis of atomicity for multi-threaded programs – Liqiang Wang, Scott D. Stoller - 2006