Publications

I have written some articles about computer science (and also one about speed-dating, strangely enough). Here they are:

• Academic Publications
  • Conference papers
    • Parametric Polymorphism Through Run-Time Sealing, or, Theorems for Low, Low Prices! Jacob Matthews and Amal Ahmed. European Symposium on Programming (ESOP) 2008 (to appear).
    • Relationally-Parametric Polymorphic Contracts. Arjun Guha, Jacob Matthews, Robert Bruce Findler, and Shriram Krishnamurthi. Dynamic Languages Symposium (DLS) 2007.
    • Operational Semantics for Multi-Language Programs. Jacob Matthews and Robert Bruce Findler. Principles of Programming Languages (POPL) 2007. An expanded version appears as University of Chicago technical report TR-2007-08.
    • Component Deployment with PLaneT: You Want it Where? Jacob Matthews. The Scheme Workshop, 2006.
    • An Operational Semantics for R5RS Scheme. Jacob Matthews and Robert Bruce Findler. The Scheme Workshop, 2005. (Also available in PostScript.)
    • Topsl: A Domain-Specific Language for On-line Surveys. Mike Machenry and Jacob Matthews. The Scheme Workshop, 2004.
    • A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. Jacob Matthews, Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen. Rewriting Techniques and Applications (RTA) 2004.
  • Journal papers
    • An operational semantics for Scheme. Jacob Matthews and Robert Bruce Findler. Journal of Functional Programming (to appear).
    • Speed-Dating as an Invaluable Tool for Studying Initial Romantic Attraction. Eli J. Finkel, Paul Eastwick, and Jacob Matthews. Personal Relationships 14.1 (March 2007) pp 149-166.
    • Automatically Restructuring Programs for the Web. Jacob Matthews, Robert Bruce Findler, Paul Graunke, Shriram Krishnamurthi, and Matthias Felleisen. Journal of Automated Software Engineering 11.4 (October 2004) pp 337-364.
  • Other academic publications
    • Topsl: DSEL as Multi-Language System. Jacob Matthews. Chapter in Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen (eds), Programming Languages and Lambda Calculi (in press).
    • The Revised⁶ Report on the Algorithmic Language Scheme (R⁶RS). Michael Sperber et al. (I am an author of the formal semantics.)
    • Operational Semantics for Scheme Via Term Rewriting. Jacob Matthews. Master's thesis.
• Other (Web) Publications
  • A Kuro5hin article about C++ templates
  • A Kuro5hin article about PLT Scheme
• Talks
  I don't have slides available for these right now; at the moment this is just so I can remember what I've given talks about. Note also that some of the talks listed here are the conference presentations associated with conference papers listed above.
  • "A Semantic Approach to Multi-Language Systems", Southern California Workshop on Programming Languages and Systems, 02-02-08
  • "The Meaning of Multi-Language Programs", dissertation defense, 12-04-07
  • "Topsl: DSEL as Multi-Language Program", PLT Redex Workshop, 10-13-07
  • "Parametric Polymorphism from Run-Time Sealing", Northeastern University Programming Languages Seminar, 07-25-07
  • "What's up with PLT Scheme?", PL Lunch, 05-04-07
  • "The Meaning of Multi-Language Programs", PhD candidacy exam talk, 01-24-07
  • "Operational Semantics for Multi-Language Programs", POPL '07, 01-17-07
  • "Topsl: A DSL for On-Line Surveys", PL Lunch 11-17-06
  • "Component Deployment with PLaneT: You Want it Where?", The Scheme Workshop '06, 09-17-06
  • "Operational Semantics for Multi-Language Programs", Brown University CS Colloquium, 08-24-06
  • "The Meaning of Multi-Language Programs", Midwest Society for Programming Languages and Systems, 04-22-06
  • "The Meaning of Multi-Language Programs", PL Lunch, 04-21-06
  • "The Meaning of Multi-Language Programs", Northeastern University Programming Languages Seminar, 10-17-05
  • "Operational Semantics for R5RS Scheme", The Scheme Workshop '05, 09-24-05
  • "Operational Semantics for Scheme via Term Rewriting", Master's presentation, 12-06-04
  • "A Visual Environment for Developing Context-Sensitive Rewriting Systems", RTA'04, 05-05-04
  • "Compiling Web Scripts for Apache", Northeastern University PL Day, 02-04-02

The background image and icon graphics used on this page supplied by FreeFoto.com.