162 search results - page 10 / 33 » Pervasive Compiler Verification - From Verified Programs to ... |
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
195
click to vote
POPL
2009
ACM
16 years 8 days ago
2009
ACM
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
104
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Iterated Register Coalescing (IRC) is a widely used heuristic for performing register allocation via graph coloring. Many implementations in existing compilers follow (more or less...
LISP
2002
14 years 11 months ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
CAV
2010
Springer
15 years 2 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...