Concepedia

Andrew Tolmach

AT

26

Publications

1.3K

Citations

18

H-Index

1990

Active since

Affiliations

Portland State University(Current)

University of Pennsylvania

Oregon Research Institute

Princeton University

Institut national de recherche en sciences et technologies du numérique

Andrew Tolmach is an author at Portland State University specializing in formal methods, program analysis, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsFormal VerificationSoftware AnalysisComputer EngineeringComputer ArchitectureCompilersSystem Software

Publications per year

1990–2018

26

Publications

26

Building program optimizers with rewriting strategies

Eelco Visser, Zine-el-Abidine Benaissa, Andrew Tolmach · 1998 · 250 citations · Full text

Program Optimizers, Engineering, Extended Language +18

Playing by the rules: rewriting as a practical optimisation technique in GHC

Simon Peyton Jones, Andrew Tolmach, Tony Hoare · 2001 · 184 citations

From ML to Ada: Strongly-typed language interoperability via source translation

Andrew Tolmach, Dino P. Oliva · Journal of Functional Programming · 1998 · 114 citations · Full text

Engineering, Compiler Technology, Software Systems +26

A principled approach to operating system construction in Haskell

Thomas Hallgren, Mark P. Jones, Rebekah Leslie et al. · 2005 · 71 citations

Engineering, Hardware Verification Language, Computer Architecture +17

Debugging standard ML without reverse engineering

Andrew Tolmach, Andrew W. Appel · 1990 · 70 citations · Full text

Engineering, Compiler Technology, Standard Ml Compiler +20

Rows per page

1–5 of 26