Programming Languages Day 2004
Time
|
Speaker
|
Title
|
Location
|
9:00
- 10:00
|
everyone
|
Gathering
and social time |
Yorktown
Auditorium
|
10:00
- 11:00
|
Andrew
Appel
|
Keynote
Address
|
11:00
- 11:25
|
Alex
Salcianu (MIT), Martin Rinard (MIT)
|
Purity
Analysis for Java Programs |
11:30
- 11:55
|
Patrick
Lam, Viktor Kuncak and Martin Rinard (all MIT) |
Pluggable
Analyses for Data Structure Consistency and Generalized Typestate
Checking |
12:00
- 1:00
|
everyone
|
Lunch
|
Yorktown
Cafeteria
|
1:00
- 1:25
|
David
F. Bacon (IBM), Perry Cheng (IBM), V. T. Rajan (IBM) |
A
Unified Theory of Garbage Collection |
Yorktown
Auditorium
|
1:30
- 1:55
|
Maged
M. Michael (IBM) |
Lock-Free
Malloc [and Overview of Practical User-Level Lock-Free Computing] |
2:00
- 2:15
|
everyone
|
break
|
2:15
- 2:40
|
Dominic
Duggan (Stevens Institute of Technology) |
Jeddak:
Principals, Policies and Keys in a Secure Distributed Programming
Language |
2:45
- 3:10
|
William
Thies, Michael Gordon, Michal Karczmarek, Jasper Lin, Andrew
Lamb, David Maze, Rodric Rabbah and Saman Amarasinghe (all
MIT) |
StreamIt:
A Compiler Infrastructure for Stream Programs |
3:15
- 3:30
|
everyone
|
break
|
3:30
- 3:55
|
Simon
Goldsmith (Berkeley), Robert O'Callahan (IBM), Alex Aiken
(Stanford) |
Light-Weight
Instrumentation From Relational Queries Over Program Traces |
4:00
- 4:25
|
Tom
Rothamel, Annie Liu, Fuxiang Yu, Scott Stoller, and Nanjun
Hu (SUNY Stonybrook) |
Parametric
Regular Path Queries |
4:30
|
everyone
|
go
home
|
various
|
