Andrew Tolmach

1.6k total citations
35 papers, 828 citations indexed

About

Andrew Tolmach is a scholar working on Artificial Intelligence, Hardware and Architecture and Computer Networks and Communications. According to data from OpenAlex, Andrew Tolmach has authored 35 papers receiving a total of 828 indexed citations (citations by other indexed papers that have themselves been cited), including 29 papers in Artificial Intelligence, 21 papers in Hardware and Architecture and 11 papers in Computer Networks and Communications. Recurrent topics in Andrew Tolmach's work include Logic, programming, and type systems (25 papers), Parallel Computing and Optimization Techniques (20 papers) and Security and Verification in Computing (10 papers). Andrew Tolmach is often cited by papers focused on Logic, programming, and type systems (25 papers), Parallel Computing and Optimization Techniques (20 papers) and Security and Verification in Computing (10 papers). Andrew Tolmach collaborates with scholars based in United States, Netherlands and France. Andrew Tolmach's co-authors include Eelco Visser, Zine-el-Abidine Benaissa, Andrew W. Appel, Simon Peyton Jones, Dino P. Oliva, Tony Hoare, Mark P. Jones, Thomas Hallgren, Sergio Antoy and Arthur Azevedo de Amorim and has published in prestigious journals such as ACM SIGPLAN Notices, Journal of Computer Security and Journal of Functional Programming.

In The Last Decade

Andrew Tolmach

33 papers receiving 728 citations

Peers

Andrew Tolmach

AI

HA

CTM

CNC

IS

Nick Benton United Kingdom

Alan Mycroft United Kingdom

Yanhong A. Liu United States

Sam Tobin-Hochstadt United States

M. Blume United States

Rakesh Ghiya Canada

Francesco Logozzo United States

Vugranam C. Sreedhar United States

Bruce F. Duba United States

Carsten K. Gomard Denmark

Nick Benton United Kingdom

Andrew Tolmach

990 ×1.4

AI

323 ×0.9

HA

517 ×2.1

CTM

281 ×1.2

CNC

153 ×0.7

IS

Citations per year, relative to Andrew Tolmach Andrew Tolmach (= 1×) peers Nick Benton

Countries citing papers authored by Andrew Tolmach

Since Specialization

Citations

This map shows the geographic impact of Andrew Tolmach's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Andrew Tolmach with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Andrew Tolmach more than expected).

Fields of papers citing papers by Andrew Tolmach

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Andrew Tolmach. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Andrew Tolmach. The network helps show where Andrew Tolmach may publish in the future.

Co-authorship network of co-authors of Andrew Tolmach

This figure shows the co-authorship network connecting the top 25 collaborators of Andrew Tolmach. A scholar is included among the top collaborators of Andrew Tolmach based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Andrew Tolmach. Andrew Tolmach is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Tolmach, Andrew, et al.. (2018). Intrinsically-Typed Definitional Interpreters for Imperative Languages. 4 indexed citations

2.

Amorim, Arthur Azevedo de, Roberto Blanco, Cătălin Hriţcu, et al.. (2018). When Good Components Go Bad. arXiv (Cornell University). 1351–1368. 15 indexed citations

3.

Tolmach, Andrew, et al.. (2017). Intrinsically-typed definitional interpreters for imperative languages. Proceedings of the ACM on Programming Languages. 2(POPL). 1–34. 22 indexed citations

4.

Tolmach, Andrew, et al.. (2016). Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 4 indexed citations

5.

Tolmach, Andrew, et al.. (2016). A constraint language for static semantic analysis based on scope graphs. PDXScholar (Portland State University). 49–60. 2 indexed citations

6.

Tolmach, Andrew, et al.. (2010). A certified framework for compiling and executing garbage-collected languages. 273–284. 34 indexed citations

7.

Hallgren, Thomas, et al.. (2007). Writing Systems Software in a Functional Language.

8.

Hallgren, Thomas, et al.. (2005). A principled approach to operating system construction in Haskell. 116–128. 48 indexed citations

9.

Hallgren, Thomas, et al.. (2005). A principled approach to operating system construction in Haskell. ACM SIGPLAN Notices. 40(9). 116–128. 7 indexed citations

10.

Tolmach, Andrew, et al.. (2004). Implementing functional logic languages using multiple threads and stores. ACM SIGPLAN Notices. 39(9). 90–102. 7 indexed citations

11.

Tolmach, Andrew, et al.. (2004). Implementing functional logic languages using multiple threads and stores. 90–102. 3 indexed citations

12.

Antoy, Sergio, et al.. (2003). Architecture of a Virtual Machine for Functional Logic Computations. 3 indexed citations

13.

Tolmach, Andrew & Sergio Antoy. (2003). A Monadic Semantics for Core Curry1 1This work has been supported in part by the National Science Foundation under grants CCR-0110496 and CCR-0218224. Electronic Notes in Theoretical Computer Science. 86(3). 16–34. 7 indexed citations

14.

Tolmach, Andrew, et al.. (2001). Modular lazy search for Constraint Satisfaction Problems. Journal of Functional Programming. 11(5). 557–587. 7 indexed citations

15.

Jones, Simon Peyton, Andrew Tolmach, & Tony Hoare. (2001). Playing by the rules: rewriting as a practical optimisation technique in GHC. 109 indexed citations

16.

Tolmach, Andrew & Dino P. Oliva. (1998). From ML to Ada: Strongly-typed language interoperability via source translation. Journal of Functional Programming. 8(4). 367–412. 74 indexed citations

17.

Visser, Eelco, Zine-el-Abidine Benaissa, & Andrew Tolmach. (1998). Building program optimizers with rewriting strategies. 13–26. 162 indexed citations

18.

Tolmach, Andrew. (1994). Tag-free garbage collection using explicit type parameters. 1–11. 46 indexed citations

19.

Tolmach, Andrew. (1994). Tag-free garbage collection using explicit type parameters. VII(3). 1–11. 9 indexed citations

20.

Tolmach, Andrew & Andrew W. Appel. (1991). Debuggable concurrency extensions for standard ML. ACM SIGPLAN Notices. 26(12). 120–131. 2 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact