|
- Precision in Practice: A Type-Preserving Java Compiler
- CC, 7 Apr 2003; Warsaw
[slides]
- DSN Fast Abstracts,
24 June 2002; Bethesda, MD
- A Type-Preserving Compiler Infrastructure
- Thesis defense, 17 May 2002; New Haven
[handout]
- Functional Java Bytecode
- IRE Workshop, 24 Jul 2001; Orlando
[slides]
- Type-Preserving Compilation of Featherweight Java
- FOOL Workshop, 20 Jan 2001; London
[slides]
- NEPLS, 7 Dec 2000;
Providence, RI
- Implementing Typed Intermediate Languages
- ICFP, 29 Sep 1998; Baltimore
[slides]
|