conferencepublications

  • Exploring Language Support for Immutability
    Michael Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad Myers, Sam Weber, and Forrest Shull
    to appear in Proc. International Conference on Software Engineering (ICSE) 2016

  • Evaluating the Flexibility of the Java Sandbox
    Zack Coker, Michael Maass, Tianyuan Ding, Claire Le Goues, and Joshua Sunshine
    in Proc. Annual Computer Security Applications Conference (ACSAC) 2015
    pdf | acm

  • A Course-Based Usability Analysis of Cilk Plus and OpenMP
    Michael Coblenz, Robert Seacord, Brad Myers, Joshua Sunshine and Jonathan Aldrich
    in Proc. Visual Languages and Human-Centric Computing (VL/HCC) 2015
    pdf | slides

  • Searching the State Space: A Qualitative Study of API Protocol Usability
    Joshua Sunshine, James D. Herbsleb, and Jonathan Aldrich
    in Proc. International Conference on Program Comprehension (ICPC) 2015
    pdf | ieee | acm

  • Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming
    Joshua Sunshine, James D. Herbsleb, and Jonathan Aldrich
    in Proc. European Conference on Object-Oriented Programming (ECOOP) 2014
    pdf | slides | springer lncs

  • First-Class State Change in Plaid
    Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, and Éric Tanter
    in Proce. 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 Proc. 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 Proc. 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 Proc. Usenix Security 2009
    pdf | slides | usenix


journalpublications

  • A systematic analysis of the science of sandboxing
    Michael Maass, Adam Sales, Benjamin Chung, and Joshua Sunshine
    PeerJ Computer Science 2:e43, 2016
    pdf | peerj

  • Æ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


workshoppublications

  • Enforcing Fine-Grained Security and Privacy Policies in an Ecosystem within an Ecosystem
    Waqar Ahmad, Joshua Sunshine, Christian Kästner, and Adam Wynne
    in Proc. Mobile Development Lifecycle (MobileDeLi), 2015.

  • Comparing Transitive to Intransitive Object Immutability
    Michael Coblenz, Joshua Sunshine, Brad Myers, Sam Weber, and Forrest Shull.
    in Evaluation and Usability of Programming Languages and Tools (PLATEAU), 2015.

  • Usability Hypotheses in the Design of Plaid
    Jonathan Aldrich and Joshua Sunshine
    in Proc. Evaluation and Usability of Programming Languages and Tools (PLATEAU), 2014
    pdf

  • Considering Productivity Effects of Explicit Type Declarations
    Michael Coblenz, Jonathan Aldrich, Brad Myers, and Joshua Sunshine
    in Proc. Evaluation and Usability of Programming Languages and Tools (PLATEAU), 2014
    pdf

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

  • DynXML: safely programming the dynamic web
    Joshua Sunshine and Jonathan Aldrich
    in Proc. 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 Proc. of Distributed Objects for the 21st Century
    pdf

technicalreports

  • Protocol Programmability
    Joshua Sunshine, Ph.D. Thesis
    in Institute for Software Research Technical Reports 2013, Carnegie Mellon University
    pdf | abstract

  • 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 | abstract


invitedtalks

  • From Type Theory to Grounded Theory: Three Papers than Changed My Life
    at the SPLASH 2015 Programming Languages Mentoring Workshop

contact information

Email Address

Phone Number:

412-268-1097

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