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.

Бібліографічні деталі
Автор:	Lee, Robert Honway, 1981-
Інші автори:	Martin Rinard.
Формат:	Дисертація
Мова:	eng
Опубліковано:	Massachusetts Institute of Technology 2005
Предмети:	Electrical Engineering and Computer Science.
Онлайн доступ:	http://hdl.handle.net/1721.1/16847

Схожі ресурси

Compiler-enforced immutability for the Java language
за авторством: Birka, Adrian, 1980-
Опубліковано: (2014)

Algorithms for data-race detection in multithreaded programs
за авторством: Cheng, Guang-Ien, 1975-
Опубліковано: (2009)

Data-race detection in transactions-everywhere parallel programming
за авторством: Huang, Kai, 1980-
Опубліковано: (2005)

Fine-grained control of Java applets using a simple constraint language
за авторством: Mehta Nimisha V. (Nimisha Vasantlal)
Опубліковано: (2008)

A Type System for Preventing Data Races and Deadlocks in Java Programs
за авторством: Boyapati, Chandrasekhar, та інші
Опубліковано: (2023)

Extending a formal specification & requirements language : a case study
за авторством: Lai, Danny Cho-Liang, 1978-
Опубліковано: (2014)

Nondeterminator-3 : a provably good data-race detector that runs in parallel
за авторством: Karunaratna, Tushara C
Опубліковано: (2007)

Low power image based triggering for extended operation surveillance
за авторством: Waldon, Matthew C., 1981-
Опубліковано: (2005)

An analysis of the computability of horse races
за авторством: Hohol, Teresa Susan
Опубліковано: (2005)

Language generation and speech synthesis in dialogues for language learning
за авторством: Zhang, Julia, 1981-
Опубліковано: (2005)

Embedding scheme in Java
за авторством: Carlstrom, Brian D. (Brian David), 1973-
Опубліковано: (2005)

Practical pluggable types for Java
за авторством: Papi, Matthew M
Опубліковано: (2009)

Real-time scheduling for Java
за авторством: Francu, Catalin A. (Catalin Andrei), 1978-
Опубліковано: (2014)

Executable specifications for Java programs
за авторством: Milicevic, Aleksandar, Ph. D. Massachusetts Institute of Technology
Опубліковано: (2011)

Hoeffding Races--model selection for MRI classification
за авторством: Maron, Oded
Опубліковано: (2007)

Provably good race detection that runs in parallel
за авторством: Fineman, Jeremy T
Опубліковано: (2006)

Javari : adding reference immutability to Java
за авторством: Tschantz, Matthew S
Опубліковано: (2008)

Javarifier : inference of reference immutability in Java
за авторством: Quinonez, Jamie
Опубліковано: (2009)

Systematic testing of multithreaded Java programs
за авторством: Bruening, Derek L. (Derek Lane), 1976-
Опубліковано: (2013)

Static detection of deadlock for Java libraries
за авторством: Williams, Amy Lynne, Ph.D. Massachusetts Institute of Technology
Опубліковано: (2014)

An empirical study of technologies to implement servers in Java
за авторством: Demsky, Brian Charles, 1975-
Опубліковано: (2014)

Verifying information flow control in Java bytecodes
за авторством: Mathewson, Nicholas A. (Nicholas Albert), 1977-
Опубліковано: (2014)

AI needs-based configurator implemented in Java
за авторством: Lynch, Kenneth James Gabel, 1973-
Опубліковано: (2009)

A schematic editor and netlist extractor in Java
за авторством: Liebson, David M. (David Michael)
Опубліковано: (2008)

Pointer analysis and its applications for Java programs
за авторством: Sălcianu, Alexandru D. (Alexandru Doru), 1975-
Опубліковано: (2014)

Interactive ray tracing of VRML scenes in Java
за авторством: Glazer, Brendon C. (Brendon Charles), 1975-
Опубліковано: (2013)

Dynamic reconfiguration of component-based applications in Java
за авторством: Tang, Ziqiang, 1976-
Опубліковано: (2014)

JPS : a distributed persistent Java system
за авторством: Boyapati, Chandrasekhar, 1973-
Опубліковано: (2009)

Preventing data leakage in web services
за авторством: Wang, Frank Yi-Fei
Опубліковано: (2019)

Extended mechanical stimulations of cartilage for growth and repair
за авторством: Lee, Gary C. (Gary Chiaray), 1980-
Опубліковано: (2005)

Extending the capabilities of Tiramisu
за авторством: Ben Romdhane, Malek
Опубліковано: (2018)

Converting Java programs to use generic libraries
за авторством: Donovan, Alan A. A., 1976-
Опубліковано: (2005)

Language Modeling for limited-data domains
за авторством: Hsu, Bo-June (Bo-June Paul)
Опубліковано: (2010)

A strategy planning program for the MIT solar powered racing vehicle
за авторством: Larson, Bruce Eric
Опубліковано: (2016)

SCAN : a statistic code analyser for JavaScheme
за авторством: Yap, Tammy, 1976-
Опубліковано: (2013)

Pointer analysis for Java programs : novel techniques and applications
за авторством: Sălcianu, Alexandru D. (Alexandru Doru), 1975-
Опубліковано: (2007)

Implementation of a compiler for a stack machine in Java
за авторством: Hui, Anthony Y., 1978-
Опубліковано: (2014)

Including native methods in static analysis of Java programs
за авторством: Hernández, Victor L. (Victor Leonel Hernández Porras), 1977-
Опубліковано: (2014)

MintEra : a testing environment for Java programs
за авторством: Al-Naffouri, Basel Y
Опубліковано: (2006)

Sponge paint-- a procedural layout library in Java
за авторством: Shen, Gong Ke, 1978-
Опубліковано: (2014)