1100 search results - page 37 / 220 » Instrumenting annotated programs |
97
Voted
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
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 annotati...
102
Voted
PC
1998
15 years 1 months ago
1998
In this paper, we present several tools for analyzing parallel programs. The tools are built on top of a compiler infrastructure, which provides advanced capabilities for symbolic...
119
Voted
PUC
1998
15 years 1 months ago
1998
In this paper we describe a way to save and restore the state of a running Java program. We achieve this on the language level, without modifying the Java virtual machine, by instr...
105
click to vote
ENTCS
2007
15 years 2 months ago
2007
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...
CGO
2008
IEEE
15 years 8 months ago
2008
IEEE
We propose a new instruction, branch-on-random, that is like a standard conditional branch, except rather than specifying the condition on which the branch should be taken, it spe...