Joshua Sunshine

Registered user since Fri 23 May 2014

Name: Joshua Sunshine

Affiliation: Carnegie Mellon University

Personal website: http://www.cs.cmu.edu/~jssunshi/

Contributions

WGT 2020Author of Gradual Program Analysis within the WGT-track
Author of Gradual Verification of Recursive Heap Data Structures within the WGT-track
SPLASH 2019Author of Obsidian: Typestate and Assets for Safer Smart Contracts within the Posters-track
PLATEAU 2018Author of Interdisciplinary Programming Language Design - Preview within the PLATEAU 2018-track
Committee Member in Organizing Committee within the PLATEAU 2018-track
Session Chair of Adoption & Programmer Perception (part of PLATEAU 2018)
Session Chair of Keynote: Chugh (part of PLATEAU 2018)
‹Programming› 2019Committee Member in Program Committee within the Research Papers-track
Onward! 2018Author of Interdisciplinary Programming Language Design within the Onward! Essays-track
SPLASH 2018Author of Obsidian: A Safer Blockchain Programming Language within the Posters-track
Committee Member in Judges within the SRC-track
ICSE 2019Author of Detecting Suspicious Package Updates within the New Ideas and Emerging Results-track
DSLDI 2017Author of Substance and Style: domain-specific languages for mathematical diagrams within the DSLDI 2017-track
PLATEAU 2017Session Chair of Language, DSL, and Feature Design (part of PLATEAU 2017)
Author of A User Study to Inform the Design of the Obsidian Blockchain DSL within the PLATEAU 2017-track
Committee Member in Organizing Committee within the PLATEAU 2017-track
Off the Beaten Track 2017Author of Designing extensible, domain-specific languages for mathematical diagrams within the OBT-track
PLATEAU 2016Committee Member in Organizing Committee within the PLATEAU-track
Session Chair of Session 2 (part of PLATEAU)
SPLASH 2017Committee Member in Program Committee within the OOPSLA-track
Session Chair of Tools (part of OOPSLA)
PLATEAU 2015Committee Member in Organizing Committee within the PLATEAU-track
Committee Member in Organizing Committee
Session Chair of Group Discussion (part of PLATEAU)
Author of Comparing Transitive to Intransitive Object Immutability within the PLATEAU-track
Session Chair of Programming Languages Papers (part of PLATEAU)
MobileDeLi 2015Author of Enforcing Fine-Grained Security and Privacy Policies in an Ecosystem within an Ecosystem within the MobileDeLi-track
SPLASH 2015Author of SE & PL Research Overview within the PLMW-track
PLATEAUSession Chair of Session 3 (part of PLATEAU)
Committee Member in Organizing Committee within the PLATEAU-track
Author of Usability Hypotheses in the Design of Plaid within the PLATEAU-track
Author of Considering Productivity Effects of Explicit Type Declarations within the PLATEAU-track
Session Chair of Invited Speaker: Josh Bloch (part of PLATEAU)