1.
|
Implementation and optimization of thread-local variables for a race-free Java dialect Zhang, Yi
|
2.
|
Cache line reservation: exploring a scheme for cache-friendly object allocation Bilicki, Ivan
|
3.
|
Optimizing software-hardware interplay in efficient virtual machines Prokopski, Grzegorz
|
4.
|
Software method level speculation for Java Pickett, Christopher
|
5.
|
Enabling precise interpretations of software change data Kawrykow, David
|
6.
|
Verifying finite-state properties of large-scale programs Bodden, Eric
|