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

Documents Related by Co-Citation

444 MULTILISP: a language for concurrent symbolic computation – Robert H. Halstead - 1985
37 A complete guide to the future – Frank S. De Boer, Dave Clarke, Einar Broch Johnsen - 2007
225 X10: An object-oriented approach to non-uniform cluster computing – Philippe Charles, Christopher Donawa, Kemal Ebcioglu, Christian Grothoff, Allan Kielstra, Vivek Sarkar, Christoph Von Praun - 2005
31 The R-LRPD Test: Speculative Parallelization of Partially Parallel Loops – Francis Dang, Hao Yu, Lawrence Rauchwerger - 2002
35 Implicit parallelism with ordered transactions – C v Praun, L Ceze, C Cascaval
51 An asynchronous communication model for distributed concurrent objects – E B Johnsen, O Owe
23 Jcobox: generalizing active objects to concurrent components, in – J Schäfer, A Poetzsch-Heffter
472 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
49 The Semantics of Future and Its Use in Program Optimization – Cormac Flanagan, Matthias Felleisen - 1995
212 The LRPD Test: Speculative Run-Time Parallelization of Loops with Privatization and Reduction Parallelization – Lawrence Rauchwerger, David Padua - 1995
32 Modeling and Validating Distributed Embedded Real-Time Control Systems – Marcel Verhoef - 2008
185 A Scalable Approach to Thread-Level Speculation – J. Gregory Steffan , Christopher B. Colohan, Antonia Zhai, Todd C. Mowry - 2000
384 Composable memory transactions – Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi - 2005
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
46 Scala actors: Unifying thread-based and event-based programming – Martin Odersky, Martin Odersky - 2009
1095 Actors: A model of concurrent computation in distributed systems – G Agha - 1986
59 Programming Erlang: Software for a Concurrent World. The Pragmatic Programmers – J Armstrong - 2007
119 Optimistic parallelism requires abstractions – Milind Kulkarni, Keshav Pingali - 2007
320 The Implementation of the Cilk-5 Multithreaded Language – Matteo Frigo, Charles E. Leiserson, Keith H. Randall - 1998