Talks

• Partial Evaluation of Model Interpreters
  • MIT CSAIL January 29, 2009
  • Brown University, January 30, 2009
• Strategic Programming by Model Interpretation and Partial Evaluation
  • ACL2 Theorem Proving Seminar, October 3, 2008.
  • Middle-Earth Programming Language Seminar (MEPLS), September 6, 2008, Abilene.
  • Kestrel Institute, August 18, 2008, Palo Alto.
  • IFIP Working Group on Programming Methodology (WG2.3), July 23, 2008, Cambridge.
  • IFIP Working Group on Program Generation (WG2.11), June 19, 2008, Passau.
  • Northeastern University Programming Languages Seminar, May 28, 2008.
• I was an invited speaker at the CRA-W/CDC-sponsored 2007 Programming Languages Summer School, held here at UT. I gave talks on writing and PL design research.
• Models for Application Programing
  IFIP Working Group on Programming Methodology (WG2.3), October 10, 2007, Santa Fe.
• Objects and Databases: State of the Union 2006
  Panel at OOPSLA 2006
  A transcript was published by Dr. Dobb's.
• Effective Writing. An advertisement for Style: Toward Clarity and Grace
  UT GRACS Seminar, November 4, 2006
  The video is available here
• Peak Objects (Springer)
  Summing up the Past and Trying to Outline the Future
  (slightly modified version of invited panel presentation)
  July 12, 2006 at ECOOP.
• A Meditation on AppleScript, Latency, Databases, Web Services, etc.
  Invited talk at Lang.NET 2006. You hear some audio too.
  July 31, 2006
• Integrating Programming Languages and Databases
  Invited lecture for CS 347 & CS 387H
  February 4, 2004