|
|
Andrew TolmachAssociate Professor
|
| Email: | apt@cs.pdx.edu |
| Office: | 120-23 FAB |
| Phone: | (503) 725-5492 |
| Office Hours Summer 2012: | by appointment |
"Lightweight Concurrency Primitives for GHC" (joint with Peng Li, Simon Marlow, and Simon Peyton Jones), Proc. 2007 Haskell Workshop, Freiburg, Germany, Sept. 2007.
"A Principled Approach to Operating System Construction in Haskell" (joint with Thomas Hallgren, Mark P. Jones, and Rebekah Leslie), Proc. 2005 ACM International Conference on Functional Programming, Tallinn, Estonia, Sept. 2005.
"A Virtual Machine for Functional Logic Computations" (joint with Sergio Antoy, Michael Hanus, and Jimeng Liu), Proc. 16th International Workshop on Implementation and Application of Functional Languages (IFL 2004).
"Implementing Functional Logic Languages Using Multiple Threads and Stores" (joint with Sergio Antoy and Marius Nita), Proc. 2004 ACM International Conference on Functional Programming, Snowbird, Utah, Sept. 2004, pp. 90-102.
"A Monadic Semantics for Core Curry" (joint with Sergio Antoy), Proc. Workshop on Functional and (Constraint) Logic Programming, Valencia, Spain, June 2003, ENTCS vol. 86, no 3. (Associated Haskell code).
"Playing by the Rules: Rewriting as an Optimization Technique in GHC" (joint with Simon Peyton Jones and Tony Hoare), Proc. 2001 Haskell Workshop, Florence, Italy, Sept. 2001, pp. 203-233.
"Modular Lazy Search for Constraint Satisfaction Problems" (joint with Thomas Nordin), Journal of Functional Programming, 11(5), pp. 557-587.,Sept. 2001. (Associated Haskell code.)
"Typed Higher-order Narrowing without Higher-order Strategies" (joint with Sergio Antoy), Proc. FLOPS'99, Tsukuba, Japan, November 1999, pp. 335-352.
"Interface-Directed Partial Evaluation" (joint with Zine-el-Abidine Benaissa), OGI Technical Report #99-10, September 1999.
"Building Program Optimizers with Rewriting Strategies" (joint with Eelco Visser and Zine-el-Abidine Benaissa), Proc. 1998 International Conference on Functional Programming, September 1998, pp. 13-26.
"Optimizing ML Using a Hierarchy of Monadic Types", Types in Compilation '98 Workshop, Kyoto, Japan, March 1998, LNCS v. 1473, pp. 97-113.
"From ML to Ada: Strongly-typed Language Interoperability via Source Translation", (joint with D. Oliva). Journal of Functional Programming , 8(4),367-412, July 1998.
"Bridging the gulf: a common intermediate language for ML and Haskell," (joint with S. Peyton Jones, J. Launchbury, and M. Shields). POPL '98. With an unfortunate corrigendum.
"Combining Closure Conversion with Closure Analysis using Algebraic Types", presented at Types in Compilation workshop, Amsterdam, June 8, 1997.
"A Debugger for Standard ML", (joint with A. Appel), Journal of Functional Programming, 5(2),155-200, April 1995.
"Tag-free Garbage Collection Using Explicit Type Parameters," Proceedings 1994 ACM Conference on Lisp and Functional Programming, June, 1994, published as LISP Pointers, 7(3):1-11, July-Sep. 1994.
"Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey," (joint with J.G. Morrisett), 4th ACM Symposium on Principles and Practices of Parallel Programming, May 1993, pp. 198-207.
Debugging Standard ML, Ph. D. thesis, Princeton University, Oct. 1992.
"Debuggable concurrency extensions for Standard ML," (joint with A. Appel), Proceedings ACM/ONR Workshop on Parallel and Distributed Debugging, May 1991, pp. 120-131.
"Using Compact Data Representations for Languages Based on Catamorphisms," (joint with L. Fegaras), OGI Technical Report #95-025.
CS321 Languages and Compiler Design I, Winter 2012.
CS577 Modern Language Processors, Spring 2011.
CS322 Languages and Compiler Design II, Winter 2011.
CS321 Languages and Compiler Design I, Fall 2010.
CS578 Programming Language Semantics Spring
CS558 Programming Languages Winter 2010
CS311 Computational Structures Fall 2009
CS311 Computational Structures Spring 2009
CS410/510 Automated Deduction Fall 2008
CS311 Computational Structures Fall 2008
CS577 Modern Language Processors Spring 2008
CS558 Programming Languages Winter 2008
CS510 Semantics&Types; Winter 2008
CS577 Modern Language Processors, Spring 2006
CS558 Programming Languages, Winter 2006
CS457/557 Functional Languages, Fall 2005.
CS510/610 Semantics and Types, Fall 2005.
CS577 Modern Language Processors, Spring 2005.
CS322 Languages and Compiler Design II, Winter 2005.
CS321 Languages and Compiler Design I, Fall 2004.
CS510/610 Semantics and Types, Spring 2004.
CS558 Programming Languages, Winter 2004.
CS577 Modern Language Processors, Winter 2004.
CS558 Programming Languages, Fall 2003.
CS457/557 Functional Languages, Spring 2003.
CS510 Theory and Practice of Functional Logic Programming, Winter 2003.
CS322 Languages and Compiler Design II, Winter 2003.
CS321 Languages and Compiler Design I, Fall 2002.
CS577 Compiler Construction, Spring 2002.
CS558 Programming Languages, Winter 2002.
CS558 Programming Languages, Fall 2001.
CS410/510 Compiling Advanced Languages, Spring 2000.
CS201 (Section 001) Computer Architecture, Winter 2000.
CS302 Languages and Compiler Design II, Spring 1999.
CS457/557 Functional Languages, Spring 1999.
CS301 Languages and Compiler Design I, Winter 1999.
CS558 Programming Languages, Fall 1998.
CS302 Languages and Compiler Design II, Spring 1998.
CS510JIP Understanding Java Implementation, Winter 1998.
CS558 Programming Languages, Fall 1997.
CS457/557 Functional Languages, Spring 1997.
CS302 Languages and Compiler Design II, Winter 1997.
CS558 Programming Languages, Fall 1996.
CS510 Compiling Functional Languages, Spring 1996.
CS458/558 Programming Languages, Fall 1994.
CS510 Compiling Functional Languages, Spring 1994.
Introductory Lecture on Functional Programming,Tektronix, August 1994.
Andrew Tolmach Department of Computer Science Portland State University P.O. Box 751 Portland, OR 97207-0751 Fedex, UPS, etc.: Computer Science Department Rm. 120-23 FAB 1900 SW 4th Avenue Portland, OR 97201 Phone: (503) 725-5492 FAX: (503) 725-3211
My wife, Alycia Allen Tolmach, has a fiber art and surface design studio called Alyen Creations.
I sing with the Portland Bach Cantata Choir.
Last updated 12 January 2012.