 |
|
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 |
| Richard
C. Waters |
05MAY00
|
Automatic Transformation
of Series Expressions into Loops |