Hoopl: a modular, reusable library for dataflow analysis and transformation

Authors:
Norman Ramsey;João Dias;Simon Peyton Jones
Affiliations:
Tufts University, Medford, MA, USA;Tufts University, Medford, MA, USA;Microsoft Research, Cambridge, United Kingdom
Venue:
Proceedings of the third ACM Haskell symposium on Haskell
Year:
2010

Citing 15
Cited 3

Properties of data flow frameworks: a unified model

Acta Informatica
Lazy code motion

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Automatic isolation of compiler errors

ACM Transactions on Programming Languages and Systems (TOPLAS)
Data flow analysis is model checking of abstract interpretations

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modern compiler implementation in Java

Modern compiler implementation in Java
Advanced compiler design and implementation

Advanced compiler design and implementation
Global Data Flow Analysis and Iterative Algorithms

Journal of the ACM (JACM)
An algorithm for reduction of operator strength

Communications of the ACM
Composing dataflow analyses and transformations

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A unified approach to global program optimization

POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Systematic design of program analysis frameworks

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Data Flow Analysis as Model Checking

TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Optimizing Java Bytecode Using the Soot Framework: Is It Feasible?

CC '00 Proceedings of the 9th International Conference on Compiler Construction
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

CC '02 Proceedings of the 11th International Conference on Compiler Construction

A comprehensive compiler-assisted thread abstraction for resource-constrained systems

Proceedings of the 12th international conference on Information processing in sensor networks
Implementing a Java JIT compiler in Haskell: case study

Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools
A modular and generic analysis server system for functional logic programs

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Dataflow analysis and transformation of control-flow graphs is pervasive in optimizing compilers, but it is typically entangled with the details of a particular compiler. We describe Hoopl, a reusable library that makes it unusually easy to define new analyses and transformations for any compiler written in Haskell. Hoopl's interface is modular and polymorphic, and it offers unusually strong static guarantees. The implementation encapsulates state-of-the-art algorithms (interleaved analysis and rewriting, dynamic error isolation), and it cleanly separates their tricky elements so that they can be understood independently.