- First-Class State Change in Plaid
Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, and Éric Tanter
in Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2011
pdf | slides | acm | companion technical report | errata - Permission-Based Programming Languages (NIER Track).
Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, and Roger Wolff.
in Proceedings of the International Conference on Software Engineering (ICSE '11), New Ideas and Emerging Results Track, 2011.
pdf | slides - Typestate-oriented programming
Jonathan Aldrich, Joshua Sunshine, Darpan Saini, and Zachary Sparks
in Proceedings of Onward! 2009
pdf | acm - Crying wolf: An empirical study of SSL warning effectiveness
Joshua Sunshine, Serge Egelman, Hazim Almuhimedi, Neha Atri, and Lorrie Cranor
in Proceedings of Usenix Security 2009
pdf | slides
workshoppublications
- A theory of typestate-oriented programming
Darpan Saini, Joshua Sunshine, and Jonathan Aldrich
in Proceedings of Fundamental Techniques for Java Like Programs (FTfJP) 2010
pdf - DynXML: safely programming the dynamic web
Joshua Sunshine and Jonathan Aldrich
in Proceedings of Analysis and Programming Languages for Web Applications and Cloud Applications (APLWACA) 2010
pdf - Language support for distributed proxies
Darpan Saini, Joshua Sunshine, and Jonathan Aldrich
in Proceedings of Distributed Objects for the 21st Century
pdf
technicalreports
- The Plaid Language: Typed Core Specification Version 0.4.0
Jonathan Aldrich, Nels E. Beckman, Robert Bocchino, Karl Naden, Darpan Saini, Sven Stork, and Joshua Sunshine
in Institute for Software Research Technical Reports 2012, Carnegie Mellon University
pdf