Extending the Java language for the prevention of data races

Extending the Java language for the prevention of data races

Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002.

Bibliographic Details
Main Author:	Lee, Robert Honway, 1981-
Other Authors:	Martin Rinard.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2005
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/16847

Similar Items

A Type System for Preventing Data Races and Deadlocks in Java Programs
by: Boyapati, Chandrasekhar, et al.
Published: (2023)

Compiler-enforced immutability for the Java language
by: Birka, Adrian, 1980-
Published: (2014)

Algorithms for data-race detection in multithreaded programs
by: Cheng, Guang-Ien, 1975-
Published: (2009)

Languaging race and racing language of the others in Singapore
by: Low, Benjamin Yong Ern
Published: (2023)

Data-race detection in transactions-everywhere parallel programming
by: Huang, Kai, 1980-
Published: (2005)

Extending the Race between Education and Technology
by: Autor, David H
Published: (2021)

Low power image based triggering for extended operation surveillance
by: Waldon, Matthew C., 1981-
Published: (2005)

Language generation and speech synthesis in dialogues for language learning
by: Zhang, Julia, 1981-
Published: (2005)

Nondeterminator-3 : a provably good data-race detector that runs in parallel
by: Karunaratna, Tushara C
Published: (2007)

Extending a formal specification & requirements language : a case study
by: Lai, Danny Cho-Liang, 1978-
Published: (2014)

An analysis of the computability of horse races
by: Hohol, Teresa Susan
Published: (2005)

Preventing data leakage in web services
by: Wang, Frank Yi-Fei
Published: (2019)

Fine-grained control of Java applets using a simple constraint language
by: Mehta Nimisha V. (Nimisha Vasantlal)
Published: (2008)

Language, race, and citizenship in Singapore
by: Lim, Xin Hwee
Published: (2025)

Learning environment for Java programming language
by: Lim, Yi Jun
Published: (2017)

Hoeffding Races--model selection for MRI classification
by: Maron, Oded
Published: (2007)

Provably good race detection that runs in parallel
by: Fineman, Jeremy T
Published: (2006)

The East Java gubernatorial race : dead heat but non - controversial
by: Arifianto, Alexander Raymond, et al.
Published: (2018)

Detection and prevention of critical races in finite state machines driving glitch-sensitive receivers
by: Arunita Mukhopadhyay
Published: (2018)

Does extended experience with other-race nannies predict racial bias in the preschool years?
by: Setoh, Peipei, et al.
Published: (2023)

We need to prevent a global AI arms race now
by: Sagun-Trajano, Karryl Kim, et al.
Published: (2024)

Embedding scheme in Java
by: Carlstrom, Brian D. (Brian David), 1973-
Published: (2005)

Extending the capabilities of Tiramisu
by: Ben Romdhane, Malek
Published: (2018)

extending our sense of cyberspace language plurality: the value of the language observatory (LO) project
by: Abd. Rozan, Mohd. Zaidi, et al.
Published: (2005)

Language Modeling for limited-data domains
by: Hsu, Bo-June (Bo-June Paul)
Published: (2010)

Executable specifications for Java programs
by: Milicevic, Aleksandar, Ph. D. Massachusetts Institute of Technology
Published: (2011)

Practical pluggable types for Java
by: Papi, Matthew M
Published: (2009)

Real-time scheduling for Java
by: Francu, Catalin A. (Catalin Andrei), 1978-
Published: (2014)

A strategy planning program for the MIT solar powered racing vehicle
by: Larson, Bruce Eric
Published: (2016)

Extended mechanical stimulations of cartilage for growth and repair
by: Lee, Gary C. (Gary Chiaray), 1980-
Published: (2005)

Data pre-processing for event data mining using Java
by: Chang, Lai Yan.
Published: (2010)

Development of run-time UML for JAVA programming language
by: Mohd Nor, Sulaiman, et al.
Published: (2000)

Development of a networked car racing game based on a standalone car racing game
by: Wang, Yiyuan.
Published: (2011)

Extending the analysis of the FlipIt game
by: Rossides, Michalis
Published: (2014)

Regardless of race, language and religion : is discrimination non-existent in Singapore ?
by: Tan, Hui Min
Published: (2017)

Three light-weight execution engines in Java for web data-intensive data source contents : (extended abstract)
Published: (2003)

Natural language processing on encrypted patient data
by: Grinman, Alex J
Published: (2018)

Implementation of a recommendation system : by using play framework and Java language
by: Low, Jacky Chin Zhi
Published: (2014)

Javari : adding reference immutability to Java
by: Tschantz, Matthew S
Published: (2008)

Javarifier : inference of reference immutability in Java
by: Quinonez, Jamie
Published: (2009)