@inproceedings{8ee1c257cc4e4f38a335b7689aa8d2b3,
title = "Type inference for parameterized race-free Java",
abstract = "We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotations (“lock types”) needed by their type checker to show that a program is free of race conditions. Boyapati and Rinard automatically generate some of these annotations using default types and static inference of lock types for local variables, but in practice, the programmer still needs to annotate on the order of 1 in every 25 lines of code. We use run-time techniques, based on the lockset algorithm, in conjunction with some static analysis to automatically infer most or all of the annotations.",
author = "Rahul Agarwal and Stoller, \{Scott D.\}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2004.; 5th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2004 ; Conference date: 11-01-2004 Through 13-01-2004",
year = "2004",
doi = "10.1007/978-3-540-24622-0\_14",
language = "English",
isbn = "9783540208037",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "149--160",
editor = "Bernhard Steffen and Giorgio Levi",
booktitle = "Verification, Model Checking, and Abstract Interpretation - 5th International Conference, VMCAI 2004, Proceedings",
}