Programming Languages for Biological Modeling PLDI 2016 Presentation on Jacqueline Web Framework Philly ETE 2016: Securing Software by Construction Cybersecurity: How to Use What We Already Know Preventing Information Flow with Jeeves - Singapore Data Privacy Workshop A Brief History of Programming GigaOM Structure 10 for 2013 Short Talk PLDI 2010: Safe to the Last Instruction 
