1.
|
Implementation and optimization of thread-local variables for a race-free Java dialect Zhang, Yi
|
2.
|
Software method level speculation for Java Pickett, Christopher
|
3.
|
Static lock allocation Halpert, Richard
|
4.
|
Enabling precise interpretations of software change data Kawrykow, David
|
5.
|
Verifying finite-state properties of large-scale programs Bodden, Eric
|