A parameterized type system for race-free Java programs

By Chandrasekhar Boyapati, Martin C. Rinard. Conference on Object-Oriented Programming Systems, Languages, and Applications, 2001

308 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Hardware and Architecture, Software

View Paper: https://www.semanticscholar.org/paper/5765b212a785a7d34df60fb72cba1d9f53e7965d

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

In Hardware and Architecture

In Software

Citations in the corpus

Hybrid dynamic data race detection (2003, background): “Boyapati and Rinard propose a system of type annotations for Java that ensures a well-typed program is race-free and allows the programmer to write a generic class and subclass it with different protection mechanisms [5].”
Checking Interference with Fractional Permissions (2003, background): “(For example, consider the lock checking of Flanagan and Abadi [6], or Boyapati et al [7] [8].)”
Efficient and precise datarace detection for multithreaded object-oriented programs (2002, unknown): “[6].”
A type and effect system for atomicity (2003, background): “This approach has been extended [7, 5] and adapted to other languages [24].”
Effective static race detection for Java (2006, background): “…and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Veri.cation Reliability; D.2.5 [Software Engineering]: Testing and Debugging Debugging aids General Terms Experimentation, Reliability Keywords static race detection, Java, synchronization, concurrency, multi-threading 1.”
Formalising Java's Data Race Free Guarantee (2007, background): “The data race freedom can be established inside the program logics themselves, or using dedicated type systems [22, 23].”
Atomizer: a dynamic atomicity checker for multithreaded programs (2004, background): “Th is lockbased synchronization discipline is supported by a variety of t pe systems [21, 20, 19, 22, 8, 7, 28] and other static [49, 23, 10, 13] and dynamic [47, 11, 51, 42, 45] analyses.”
Ownership, encapsulation and the disjointness of type and effect (2002, background): “[11] Chandrasekhar Boyapati, Robert Lee, and Martin Rinard.”
FastTrack: efficient and precise dynamic race detection (2009, background): “FASTTRACK is even comparable in speed to ERASER on our Java benchmarks, while never reporting false alarms.”
KISS: keep it simple and sequential (2004, background): “This approach has been extended [6, 5] and adapted to other languages [22].”
Ownership types for safe programming: preventing data races and deadlocks (2002, methodology): “To simplify the presentation of key ideas behind our approach, we describe our type system formally in the context of a core subset of Java [24] known as Concurrent Java [7, 22].”
Race directed random testing of concurrent programs (2008, methodology): “Type based techniques [20, 5, 6], which require programmer annotations, have been used to reduce the race detection problem to a type checking problem.”