- Spring 2008
- Previous Semesters
- DOC Group
- Talk at Century Club ppt
- Keynote address MASPLAS '01 html ppt
- Darpa PCES project
- Signature analysis of OO programs
-
NSF Workshop on
New Challenges and Directions for Systems Research
Report from the compiler subgroup. - NSF Grant NCR 9628218: Compilation and Automatic Optimization of Network Protocol Implementations
- Fractal Intermediate Languages
- Packet filtering (with Mahesh Jayaram )
- Continuous compilers with Michael Plezbert ; his thesis . a talk on that work.
- The paper "Does Just-In-Time Equal Better-Late-Than-Never?", coauthored with Michael Plezbert , will appear at POPL '97
- Secure Voting Systems (with Lorrie Cranor)
- A voting system that does not leave too much to chance (with Lorrie Cranor)
- Declared-Strategy Voting, thesis by Lorrie Cranor
- The hazards of flying and grading theory papers.
- Music
- A Java Assembler, written by Jason Hunt
- Doing business on the Internet -- Seminar for the Institute of Management Accountants in St. Louis
- Crafting a Compiler, Second Edition with Charles Fischer and Richard LeBlanc, to be published by Benjamin/Cummings.
- Shaare Emeth
- ACM SIGPlan
- TeX CTAN index