391 search results - page 35 / 79 » On Time-Aware Instrumentation of Programs |
ICCL
1998
IEEE
15 years 6 months ago
1998
IEEE
Dynamic optimization of computer programs can dramatically improve their performance on a variety of applications. This paper presents an efficient infrastructure for dynamic reco...
PDPTA
2003
15 years 3 months ago
2003
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...
106
click to vote
SIGCSE
2002
ACM
15 years 1 months ago
2002
ACM
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...
254
click to vote
POPL
2002
ACM
16 years 2 months ago
2002
ACM
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 ...
120
click to vote
APLAS
2003
ACM
15 years 5 months ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...