4722 search results - page 178 / 945 » Encoding Program Executions |
132
click to vote
KBSE
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents an application framework in which declarative specifications of debugging actions are translated into execution monitors that can automatically detect bugs. Th...
117
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
The leading implementations of graph reduction all target conventional processors designed for low-level imperative execution. In this paper, we present a processor specially desi...
121
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
We develop a new notion of security against timing attacks where the attacker is able to simultaneously observe the execution time of a program and the probability of the values of...
177
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
128
click to vote
IWPC
2003
IEEE
15 years 10 months ago
2003
IEEE
Traditional approaches for program comprehension use static program analysis or dynamic program analysis in the form of execution traces. Our approach, however, makes use of runti...