Some Recent Talks

Secure Web Programming in Ruby on Rails
[Slides | Text notes]

Adding Static Typing to Ruby
Slides [ pdf ]

Static Analysis to Improve Software Reliability and Security
Slides [ pdf | pdf w/animations ]

Rule-Based Static Analysis of Network Protocols
Slides [ pdf ]

A Brief History of PL
Slides [ pdf ]

Improving Software Quality with Static Analysis
Slides [ ppt ]

Checking Type Safety of Foreign Function Calls
Slides [ pdf ]

Static Race Detection for C using Locksmith
Slides [ ppt | pdf ]

Static Analysis to Improve Software Quality
Slides [ pdf ]

Visualizing Type Qualifier Inference with Eclipse
Slides [ ppt | pdf ]

Security via Type Qualifiers
Slides [ ppt | pdf ]

Checking and Inferring Local Non-Aliasing
Slides [ ppt | pdf ]

Applying for an Academic Job: Nuts and Bolts
Slides [ ppt ]

Type Qualifiers: Lightweight Specifications to Improve Software Quality
Slides [ ppt | ps.gz | html ]

Valid HTML 4.01!