The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Andrew P. Tolmach Andrew Tolmach ( http://dblp.L3S.de/Authors/Andrew_P._Tolmach )

URL (Homepage):  http://www.cs.pdx.edu/~apt/  Author page on DBLP  Author page in RDF  Community of Andrew P. Tolmach in ASPL-2

Publication years (Num. hits)
1990-2005 (15) 2007-2016 (16) 2017-2019 (5)
Publication types (Num. hits)
article(12) inproceedings(23) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 12 keywords

Results
Found 37 publication records. Showing 36 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Vlad A. Vergu, Andrew Tolmach, Eelco Visser Scopes and Frames Improve Meta-Interpreter Specialization. Search on Bibsonomy ECOOP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Arthur Azevedo de Amorim, Ana Nora Evans, Carmine Abate, Roberto Blanco, Théo Laurent, Benjamin C. Pierce, Andrew Tolmach When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, Eelco Visser Intrinsically-typed definitional interpreters for imperative languages. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Théo Laurent, Benjamin C. Pierce, Marco Stronati, Andrew Tolmach When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Ana Nora Evans, Théo Laurent, Arthur Azevedo de Amorim, Benjamin C. Pierce, Andrew Tolmach Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract). Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact). Search on Bibsonomy DARTS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics. Search on Bibsonomy ECOOP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth A constraint language for static semantic analysis based on scope graphs. Search on Bibsonomy PEPM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach A verified information-flow architecture. Search on Bibsonomy Journal of Computer Security The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth A Theory of Name Resolution. Search on Bibsonomy ESOP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach A Verified Information-Flow Architecture. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach Micro-Policies: Formally Verified, Tag-Based Security Monitors. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Eelco Visser, Guido Wachsmuth, Andrew P. Tolmach, Pierre Neron, Vlad A. Vergu, Augusto Passalaqua, Gabriël Konat A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs. Search on Bibsonomy Onward! The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Robert Dockins, Andrew Tolmach Suppl: A Flexible Language for Policies. Search on Bibsonomy APLAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach A verified information-flow architecture. Search on Bibsonomy POPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andrew P. Tolmach, Xavier Leroy Special Issue Dedicated to ICFP 2009 Editorial. Search on Bibsonomy J. Funct. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andrew McCreight, Tim Chevalier, Andrew P. Tolmach A certified framework for compiling and executing garbage-collected languages. Search on Bibsonomy ICFP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Graham Hutton, Andrew P. Tolmach (eds.) Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009 Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  BibTeX  RDF
1Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach Lightweight concurrency primitives for GHC. Search on Bibsonomy Haskell The full citation details ... 2007 DBLP  DOI  BibTeX  RDF concurrency, transactional memory, haskell, thread
1Iavor S. Diatchki, Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach Writing systems software in a functional language: an experience report. Search on Bibsonomy PLOS@SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach A principled approach to operating system construction in Haskell. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF hardware interface, verification, operating systems, Haskell, monads, programming logic
1Andrew P. Tolmach, Sergio Antoy, Marius Nita Implementing functional logic languages using multiple threads and stores. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF functional logic languages, multi-versioned stores, residuation, narrowing
1Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P. Tolmach A Virtual Machine for Functional Logic Computations. Search on Bibsonomy IFL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Andrew P. Tolmach, Sergio Antoy A monadic semantics for core Curry. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Thomas Nordin, Andrew P. Tolmach Modular lazy search for Constraint Satisfaction Problems. Search on Bibsonomy J. Funct. Program. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Andrew P. Tolmach Typed Higher-Order Narrowing without Higher-Order Strategies. Search on Bibsonomy Fuji International Symposium on Functional and Logic Programming The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Andrew P. Tolmach, Dino Oliva From ML to Ada: Strongly-Typed Language Interoperability via Source Translation. Search on Bibsonomy J. Funct. Program. The full citation details ... 1998 DBLP  BibTeX  RDF
1Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach Bridging the Gulf: A Common Intermediate Language for ML and Haskell. Search on Bibsonomy POPL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Haskell, ML
1Eelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach Building Program Optimizers with Rewriting Strategies. Search on Bibsonomy ICFP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF ML
1Andrew P. Tolmach Optimizing ML Using a Hierarchy of Monadic Types. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Andrew P. Tolmach, Andrew W. Appel A Debugger for Standard ML. Search on Bibsonomy J. Funct. Program. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Andrew P. Tolmach Tag-Free Garbage Collection Using Explicit Type Parameters. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1994 DBLP  DOI  BibTeX  RDF ML
1J. Gregory Morrisett, Andrew P. Tolmach Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey. Search on Bibsonomy PPOPP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Standard ML
1Andrew P. Tolmach, Andrew W. Appel Debuggable Concurrency Extensions for Standard ML. Search on Bibsonomy Workshop on Parallel and Distributed Debugging The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Andrew P. Tolmach, Andrew W. Appel Debugging Standard ML Without Reverse Engineering. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #36 of 36 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license