Type Inference for Atomicity

Type Inference for Atomicity (2005)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Cormac Flanagan , Stephen N. Freund , Marina Lifshin

Venue:	TLDI'05
Citations:	38 - 3 self

BibTeX

@MISC{Flanagan05typeinference,
    author = {Cormac Flanagan and Stephen N. Freund and Marina Lifshin},
    title = {Type Inference for Atomicity },
    year = {2005}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

2605	Graph-based algorithms for Boolean function manipulation - Bryant - 1986
774	Linearizability: A correctness condition for concurrent objects - Herlihy, Wing - 1990
352	Language support for lightweight transactions - Harris, Fraser - 2003
261	Ownership types for safe programming: Preventing data races and deadlocks - Boyapati, Lee, et al. - 2002
239	Classes and mixins - Flatt, Krishnamurthi, et al. - 1998
238	Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem - Godefroid - 1996
221	Type-based race detection for java - Flanagan, Freund
211	Polymorphic effect systems - Lucassen, Gifford - 1988
188	A type and effect system for atomicity - Flanagan, Qadeer - 2003
170	A parameterized type system for race-free Java programs - Boyapati, Rinard - 2001
170	The theory of Database Concurrency Control - Papadimitriou - 1986
164	Atomizer: a dynamic atomicity checker for multithreaded programs - Flanagan, Freund
137	Reduction: a method of proving properties of parallel programs - Lipton - 1975
114	Polymorphic type, region and effect inference - Talpin, Jouvelot - 1992
100	Hybrid dynamic data race detection - O’Callahan, Choi - 2003
94	Model-checking multi-threaded distributed Java programs - Stoller - 2000
90	Type-safe multithreading in cyclone - Grossman - 2003
77	Implementation of Argus - Liskov, Curtis, et al. - 1987
76	Introduction to set constraint-based program analysis - Aiken - 1999
69	Types for atomicity - Flanagan, Qadeer - 2003
66	Transactional Monitors for Concurrent Objects - Welc, Jagannathan, et al. - 2004
59	Systematic testing of multithreaded Java programs - Bruening - 1999
59	Static conflict analysis for multi-threaded object-oriented programs - Praun, Gross - 2003
58	Runtime analysis of atomicity for multi-threaded programs - Wang, Stoller - 2006
51	Performance Evaluation Corporation. SPEC Benchmarks. Available from http://www.spec.org - Standard - 2004
50	Camelot and Avalon: A Distributed Transaction Facility - Eppinger, Mummert, et al. - 1991
49	Type inference for parameterized race-free Java - Agarwal, Stoller - 2004
46	Summarizing procedures in concurrent programs - Qadeer, Rajamani, et al. - 2004
44	Verifying atomicity specifications for concurrent object-oriented software using model-checking - Hatcliff, Robby, et al. - 2004
44	Implementation of the typed call-by-value lambdacalculus using a stack of regions - Tofte, Talpin - 1994
40	Type Inference Against Races - Flanagan, Freund
38	Checking concise specifications for multithreaded software - Freund, Qadeer - 2003
32	Invariant-based specification, synthesis, and verification of synchronization in concurrent programs - Deng, Dwyer, et al. - 2002
28	Typechecking dependent types and subtypes - Cardelli - 1988
26	Exploiting purity for atomicity - Flanagan, Freund, et al. - 2004
18	Transactions for software model checking - Flanagan, Qadeer - 2003
1	util.concurrent package, release 1.3.4 - Lea - 2004
1	Extended parameterized Atomic Java - Sasturkar, Agarwal, et al. - 2004
1	Implementation of Argus. InProc. Symposium on Operating Systems Principles - Liskov, Curtis, et al. - 1987