Selected Talks
- Integrating User-Centered Methods into Programming Language Design. Michael Coblenz and Jonathan Aldrich. ICFP 2020 tutorial. (video, slides)
- Penrose: From Mathematical Notationto Beautiful Diagrams. 2019.
- Overview of SE Research and REU Welcome. CMU Talk, 2019.
- Object Capabilities, Effects, and Abstraction. INRIA Seminar Talk, 2018.
- Designed-In Security for Mobile Applications. High Confidence Software and Systems Talk, 2012.
- Connecting Software Architecture to Implementation: The Next 10 Years. Jonathan Aldrich, Craig Chambers, and David Notkin. Most Influential Paper of ICSE 2002 Award Talk, 2012.
- Permission-Based Programming Languages. ICSE New Ideas and Emerging Results Talk, 2011.
- Plaid: A Resource-Based Language. University of Lisbon Talk, 2010.
- Typestate-Oriented Programming. Paper presentation at Onward!, 2009.
- Pragmatic Typestate Verification with Permissions. Multiple talks, 2009-2010.
- Design Intent: a Principled Approach to Application Security. CyLab presentation, 2009.
- Tales from Dissertationland and the Job Hunt. Jonathan Aldrich. ECOOP Doctoral Symposium Talk.
- Assuring Object-Oriented Architecture. Jonathan Aldrich. Dahl-Nygaard Junior Prize Lecture, given at the European Conference on Object-Oriented Programming (ECOOP), 2007.