Jonathan Aldrich - Research

Recent talks

Design Intent: a Principled Approach to Application Security. CyLab presentation, 2009.
Pragmatic Typestate Verification with Permissions. Multiple talks, 2009-2010.
Typestate-Oriented Programming. Paper presentation at Onward!, 2009.