• Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming
    Joshua Sunshine, James D. Herbsleb, and Jonathan Aldrich
    in Proceedings of the European Conference on Object-Oriented Programming (ECOOP) 2014

  • 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


  • ÆMINIUM: A Permission Based Concurrent-by-Default Programming Language Approach
    Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich
    ACM Transactions on Progamming Languages and Systems (TOPLAS), 2014
    pdf | acm

  • Molecular architecture and mechanism of an icosahedral pyruvate dehydrogenase complex: a multifunctional catalytic machine
    Jacqueline LS Milne, Dan Shi, Peter B Rosenthal, Joshua S Sunshine, Gonzalo J Domingo, Xiongwu Wu, Bernard R Brooks, Richard N Perham, Richard Henderson, Sriram Subramaniam
    The EMBO Journal, 2002
    pdf | embo


  • A theory of typestate-oriented programming
    Darpan Saini, Joshua Sunshine, and Jonathan Aldrich
    in Proceedings of Fundamental Techniques for Java Like Programs (FTfJP) 2010

  • 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

  • Language support for distributed proxies
    Darpan Saini, Joshua Sunshine, and Jonathan Aldrich
    in Proceedings of Distributed Objects for the 21st Century


  • 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

contact information

Email Address

Phone Number:


Mailing Address:

Joshua Sunshine
Wean Hall 5317
Institute for Software Research
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213-3891