33 search results - page 2 / 7 » Certifying Compilation and Run-Time Code Generation |
186
Voted
ENTCS
2002
15 years 27 days ago
2002
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
141
Voted
PEPM
1997
ACM
15 years 5 months ago
1997
ACM
We present the design of a dynamic compilation system for C. Directed by a few declarative user annotations specifying where and on what dynamic compilation is to take place, a bi...
111
Voted
ICS
1995
Tsinghua U.
15 years 4 months ago
1995
Tsinghua U.
In this paper we give a new run–time technique for finding an optimal parallel execution schedule for a partially parallel loop, i.e., a loop whose parallelization requires syn...
113
Voted
SENSYS
2009
ACM
15 years 8 months ago
2009
ACM
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...
120
Voted
POPL
2000
ACM
15 years 4 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...