We have an ongoing seminar series focussing on dynamic programming languages and innovative implementation techniques. The following is a schedule of upcoming Tuesday 2-3pm talks:

Paul Robertson 16MAR04 Yolambda

The following is a list of past talks:

Jonathan Bachrach 19DEC03 Alien Goo: A Lightweight C Embedding Facility

Al Strelzoff 07MAR03 Functional Programming in Embedded System Design

Neel Krishnaswami 06DEC02 Needle: CLOS meets ML, or a statically typed language with multimethods

Christopher Fry and Mike Plusch 11OCT02 Water: A new OO, Dynamic, and Secure Language for Web Services and XML

Dimitris Vyzovitis 08MAR02 MAST: A dynamic language for active network programming

Dirk Riehle 05APR02 The Architecture of a UML Virtual Machine

Carsten Schuermann 11JAN01 Towards Automated Verification of Safety Architectures

Brian Lewis 14DEC01 BRL: Web Scripting in Scheme

Ali Rahimi 21DEC01 Lazy Containers: An Efficient Compile-time Abstraction for Manipulating Collections of Objects Using Expression Templates

Jonathan Bachrach 30NOV01 Simple and Efficient Subclass Predicates

Richard Kelsey 09NOV01 Scheme-48 JIT

Scott McKay 02NOV01 Typed User Interface Systems

Tim Hickey and Ken Anderson 12OCT01 Jscheme -- a dialect of Scheme for scripting in Java

Eric Kidd 17AUG01 Efficient Compression of Generic Function Dispatch Tables

Mike Salib 10AUG01 Starkiller -- a Type Inferencing System for Python

Tim McNerney 08JUN01 Tangible Programming for Scientific and Engineering Exploration

Graham, Maeda, Rees, Steele 10MAY01 Wizards Panel on Language Design (Thu 1-2.30p)

Aaron Ucko 04MAY01 Predicate Dispatching in CLOS

Detlefs, Clinger, Rinard, Hostetter 24APR01 Wizards Panel on Compilation (Tue 1-2.30p)

Kelsey, Moon, Withington, McKay 20MAR01 Wizards Panel on Runtime (Tue 1-2.30p)

Paul Robertson 26JAN01 A self-adaptive architecture for interpretation problems

Darko Marinov 19JAN01 Credible Compilation

Jeffrey Siskind 08DEC00 Flow-Directed Lightweight Closure and CPS Conversion

Jonathan Bachrach 27OCT00 Procedural Macros for Java

Stefan Agamanolis 06OCT00 Isis: A programming language for responsive multimedia

Martin Fowler 08SEP00 Refactoring : how to alter the design of existing software in a controlled and rapid manner

Paul Graham 28JUL00 Writing Server-Based Applications in Lisp

Nichael Cramer 30JUN00 LIJOS: A Lisp Implementation of the Java ObjectStream

Joanna Bryson 29JUN00 Architectures and Idioms: Making Progress in Agent Design

Jonathan Bachrach 23JUN00 Efficient Predicate Dispatch for Dylan

Greg Sullivan 02JUN00 A Dynamic Virtual Machine and Runtime Partial Evaluation

William D. Clinger 26MAY00 Efficient Storage Management in Scheme-like Languages

Ravi Nanavati 19MAY00 Extensible Syntax in the Presence of Static Analysis, or Scheme macros meet ML types