Adam Welc, Suresh Jagannathan, Antony Hosking  Home/Search
Context
Related
| purdue.edu/homes/suresh/...oopsla05.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sourceforge.net/wi...Publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A future is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futures serve as benign annotations that mark potentially concurrent regions of code. Unfortunately, when computation relies heavily on mutation as is the case in Java, its meaning is less clear, and much of its intended simplicity lost. (Update)
Active bibliography (related documents): More All
0.8: Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs - Flanagan, Freund (2004) (Correct)
0.5: Transactional Monitors for Concurrent Objects - Adam Welc Suresh (Correct)
0.5: the Garbage Collection Bibliography - Richard Jones (2003) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ welc-safe,
author = "Adam Welc and Suresh Jagannathan and Antony Hosking",
title = "Safe Futures for Java",
url = "citeseer.ist.psu.edu/762279.html" }
Citations (may not include all citations):234 Multilisp: A language for concurrent symbolic computation (context) - JR - 1985
173 Lazy task creation: A technique for increasing the granulari.. - MOHR, KRANZ et al. - 1990
166 Classes and mixins - FLATT, KRISHNAMURTHI et al. - 1998
154 Escape analysis for Java - CHOI, GUPTA et al.
140 Eraser: a dynamic data race detector for multithreaded progr.. - SAVAGE, BURROWS et al. - 1997
117 Featherweight Java: A minimal core calculus for Java and GJ - IGARASHI, PIERCE et al. - 2001
115 Revised 5 report on the algorithmic language Scheme - KELSEY, CLINGER et al. - 1998
87 Adaptive optimization in the Jalapeno JVM - ARNOLD, FINK et al. - 2000
77 Type-based race detection for Java - FLANAGAN, FREUND - 2000
74 Ownership types for flexible alias protection - CLARKE, POTTER et al. - 1998
68 Promises: Linguistic support for efficient asynchronous proc.. (context) - LISKOV, SHRIRA - 1988
66 A high-performance parallel Lisp (context) - KRANZ, HALSTEAD et al. - 1989
63 Removing unnecessary synchronization in Java - BOGDA, OLZLE
62 The Jalapeno dynamic optimizing compiler for Java - BURKE, CHOI et al. - 1999
61 Software transactional memory - SHAVIT, TOUITOU - 1995
49 Implementing Jalapeno in Java - ALPERN, ATTANASIO et al.
43 Ownership types for safe programming: preventing data races .. - BOYAPATI, LEE et al. - 2002
42 Static analyses for eliminating unnecessary synchronization .. - ALDRICH, CHAMBERS et al. - 1999
41 machine-independent language for parallel programming (context) - RINARD, SCALES et al. - 1993
32 the ACM Conference on Object-Oriented Programming Systems, L.. (context) - of - 1999
31 Object race detection - VON PRAUN, GROSS - 2001
28 A new approach to exclusive data access in shared memory mul.. (context) - JENSEN, HAGENSEN et al. - 1987
27 Escape analysis for object-oriented languages: Application t.. - BLANCHET
26 The semantics of future and its use in program optimizations - FLANAGAN, FELLEISEN - 1995
25 Object fault handling for persistent programming languages: .. - HOSKING, MOSS - 1993
19 Language support for lightweight transactions - HARRIS, FRASER - 2003
18 Lock-free garbage collection on multiprocessors (context) - HERLIHY, MOSS - 1992
16 Transactional lock-free execution of lock-based programs - RAJWAR, GOODMAN - 2002
15 Types for atomicity (context) - FLANAGAN, QADEER - 2003
14 AND NAUGHTON (context) - CAREY, DEWITT - 1993
13 Software transactional memory for dynamic-sized data structu.. - HERLIHY, LUCHANGCO et al. - 2003
13 A status report on the OO7 OODBMS benchmarking effort - CAREY, DEWITT et al. - 1994
13 Efficient and precise datarace detection for multithreaded o.. - CHOI, LEE et al. - 2002
7 Atomizer: a dynamic atomicity checker for multithreaded prog.. - FLANAGAN, FREUND - 2004
7 Static conflict analysis for multi-threaded object-oriented .. - VON PRAUN, GROSS - 2003
6 fly detection of data races for programs with nested fork-jo.. (context) - MELLOR-CRUMMEY - 1991
5 Transactional monitors for concurrent objects - WELC, JAGANNATHAN et al. - 2004
4 Comprehensive synchronization elimination for Java - ALDRICH, SIRER et al. - 2003
3 A parallel Java Grande benchmark suite - SMITH, BULL et al. - 2001
3 transaction based runtime mechanism for parallel execution o.. (context) - KATZ, Paratran - 1989
2 Program analysis for parallel processing (context) - BERNSTEIN - 1966
2 The semantics of future and an application (context) - FLANAGAN, FELLEISEN - 2005
2 Hybrid dynamic data race detection (context) - O'CALLAHAN, CHOI - 2003
1 Concurrency analysis for Java (context) - UNGUREANU, JAGANNATHAN - 2000
1 Transparent proxies for java futures - PRATIKAKIS, SPACCO et al. - 2004
http://java.sun.com/j2se/1.5.0/docs/guide/concurrency/
Documents on the same site (http://jikesrvm.sourceforge.net/wiki/index.php/Publications): More
Space-Efficient 64-bit Java Objects through Selective.. - Kris Venstermans Lieven (Correct)
Garbage Collection Without Paging - Matthew Hertz Yi (Correct)
Relative Factors in Performance Analysis of Java Virtual - Machines Dayong Gu (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC