Sciweavers

1100 search results - page 75 / 220
» Instrumenting annotated programs
Sort
View
ICCL
1998
IEEE
15 years 9 months ago
An Infrastructure for Profile-Driven Dynamic Recompilation
Dynamic optimization of computer programs can dramatically improve their performance on a variety of applications. This paper presents an efficient infrastructure for dynamic reco...
Robert G. Burger, R. Kent Dybvig
PDPTA
2003
15 years 6 months ago
TORNADO: A Novel Input Replay Tool
This paper presents TORNADO, a unique input replay tool based on system call replay. It is capable of tracing program executions with an acceptable overhead of less than a factor 2...
Frank Cornelis, Michiel Ronsse, Koenraad De Bossch...
SIGCSE
2002
ACM
163views Education» more  SIGCSE 2002»
15 years 4 months ago
Design guidelines for the lab component of objects-first CS1
We adopt the view that CS1 labs are not programming assignments, and that they should not be used for grading students or assessing their level of understanding. Instead, we think...
Hamzeh Roumani
IWPC
2010
IEEE
15 years 3 months ago
DepDigger: A Tool for Detecting Complex Low-Level Dependencies
We present a tool that identifies complex data-flow dependencies on code-level, based on the measure dep-degree. Low-level dependencies between program operations are modeled by...
Dirk Beyer, Ashgan Fararooy
POPL
2002
ACM
16 years 5 months ago
CCured: type-safe retrofitting of legacy code
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...
George C. Necula, Scott McPeak, Westley Weimer