Sciweavers

CC
2008
Springer
108views System Software» more  CC 2008»
15 years 9 months ago
Keep Off the Grass: Locking the Right Path for Atomicity
Dave Cunningham, Khilan Gudka, Susan Eisenbach
CC
2008
Springer
124views System Software» more  CC 2008»
15 years 9 months ago
Coqa: Concurrent Objects with Quantized Atomicity
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...
Yu David Liu, Xiaoqi Lu, Scott F. Smith
CC
2008
Springer
107views System Software» more  CC 2008»
15 years 9 months ago
How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation
Application debugging is a tedious but inevitable chore in any software development project. An effective debugger can make programmers more productive by allowing them to pause ex...
Qin Zhao, Rodric M. Rabbah, Saman P. Amarasinghe, ...
137
Voted
CC
2008
Springer
15 years 9 months ago
Visualization of Program Dependence Graphs
Thomas Würthinger, Christian Wimmer, Hanspete...
CC
2008
Springer
127views System Software» more  CC 2008»
15 years 9 months ago
Compiler-Guaranteed Safety in Code-Copying Virtual Machines
1 Virtual Machine authors face a difficult choice between low performance, cheap interpreters, or specialized and costly compilers. A method able to bridge this wide gap is the exi...
Gregory B. Prokopski, Clark Verbrugge