Andrew Tolmach - Concepedia

Author

Andrew Tolmach

Portland State University ORCID

Also Known As

ANDREW TOLMACH, Andrew P. Tolmach, Andrew Tolmach, Tolmach, Andrew, Tolmach, Andrew (author)

Publications

1.6K

Citations

H-Index

Concepts

All Affiliations

Portland State University University of Pennsylvania Oregon Research Institute Princeton University Institut national de recherche en sciences et technologies du numérique

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	17	25	1.1K
2	Computer Science	17	25	1.1K
3	Computer Engineering	14	16	901
4	Language Studies	4	4	126
5	Geography	1	1	27

Andrew Tolmach

Publications

1.3K

Citations

H-Index

Page 1

	Year	Citations
Building program optimizers with rewriting strategies Eelco Visser, Zine-el-Abidine Benaissa, Andrew Tolmach Program OptimizersEngineeringExtended LanguageCompiler TechnologyComputer Architecture	1998	250
Playing by the rules: rewriting as a practical optimisation technique in GHC Simon Peyton Jones, Andrew Tolmach, Tony Hoare	2001	184
From ML to Ada: Strongly-typed language interoperability via source translation Andrew Tolmach, Dino P. Oliva Journal of Functional Programming EngineeringCompiler TechnologySoftware SystemsLanguage InteroperabilitySoftware Engineering	1998	114
A principled approach to operating system construction in Haskell Thomas Hallgren, Mark P. Jones, Rebekah Leslie, EngineeringHardware Verification LanguageComputer ArchitectureMonadic InterfaceFormal Verification	2005	71
Debugging standard ML without reverse engineering Andrew Tolmach, Andrew W. Appel EngineeringCompiler TechnologyStandard Ml CompilerVerificationComputer Architecture	1990	70
Tag-free garbage collection using explicit type parameters Andrew Tolmach EngineeringGeneric ProgrammingProgram AnalysisType InformationPolymorphism (Computer Science)	1994	67
A Debugger for Standard ML Andrew Tolmach, Andrew W. Appel Journal of Functional Programming EngineeringCompiler TechnologySoftware SystemsSoftware EngineeringHardware Systems	1995	64
A verified information-flow architecture Arthur Azevedo de Amorim, Nathan Collins, André DeHon, EngineeringInformation SecurityVerificationComputer-aided VerificationFormal Verification	2014	57
Micro-Policies: Formally Verified, Tag-Based Security Monitors Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Symbolic MachineEngineeringInformation SecurityTag-based Security MonitorsSoftware Analysis	2015	51
Intrinsically-typed definitional interpreters for imperative languages Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Proceedings of the ACM on Programming Languages EngineeringSoftware SystemsVerificationObject LanguageInterpreter (Computing)	2017	43

Page 1