Publicaties
Purity analysis for JavaScript through abstract interpretation Vrije Universiteit Brussel
Abstract interpretation Universiteit Gent
Detecting Concurrency Bugs in Higher-Order Programs through Abstract Interpretation Vrije Universiteit Brussel
thread interleavings that needs to be accounted for. Higher-order programming
features only exacerbate this difficulty. The need for tool support therefore
increases as these features become more widespread. We investigate the \PCESK
abstract machine as the foundation for tool support for detecting concurrency
bugs. This abstract ...
Monadic abstract interpreters Vrije Universiteit Brussel KU Leuven
Recent developments in the systematic construction of abstract interpreters hinted at the possibility of a broad unification of concepts in static analysis. We deliver that unification by showing context-sensitivity, polyvariance, flow-sensitivity, reachabilitypruning, heap-cloning and cardinality-bounding to be independent of any particular semantics. Monads become the unifying agent between these concepts and between semantics. For ...
Monadic abstract interpreters Vrije Universiteit Brussel
Recent developments in the systematic construction of abstract interpreters hinted at the possibility of a broad unification of concepts in static analysis. We deliver that unification by showing context-sensitivity, polyvariance, flow-sensitivity, reachability-pruning, heap-cloning and cardinality-bounding to be independent of any particular semantics. Monads become the unifying agent between these concepts and between semantics. For ...
Generic conversions of abstract syntax representations Vrije Universiteit Brussel
In this paper we present a datatype-generic approach to syntax with variable binding. A universe specifies the binding and scoping structure of object languages, including binders that bind multiple variables as well as sequential and recursive scoping. Two interpretations of the universe are given: one based on parametric higher-order abstract syntax and one on well-typed de Bruijn indices. The former provides convenient interfaces to ...