110
click to vote
PEPM
2009
ACM
16 years 26 days ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
126
click to vote
PEPM
2009
ACM
16 years 26 days ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
148
Voted
PEPM
2009
ACM
16 years 26 days ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
112
Voted
PEPM
2009
ACM
16 years 26 days ago
2009
ACM
119
Voted
PEPM
2009
ACM
16 years 26 days ago
2009
ACM
Program interpolation is a new type of transformation that given an input program written in a specially constructed Domain Specific Language (DSL), produces a family of function...
109
click to vote
PEPM
2009
ACM
16 years 26 days ago
2009
ACM
Computation performed in many typical aspects involve side effects. In a purely functional setting, adding such aspects using techniques such as monadification will generally lea...
123
Voted
PEPM
2009
ACM
16 years 26 days ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
141
Voted
PEPM
2009
ACM
16 years 26 days ago
2009
ACM
Abstract. This paper presents techniques and tools to transform spreadsheets into relational databases and back. A set of data refinement rules is introduced to map a tabular data...
128
click to vote
PEPM
2009
ACM
16 years 26 days ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
102
Voted
PEPM
2009
ACM
16 years 26 days ago
2009
ACM