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

SPLASH 2010
PLATEAU 2020	Committee Member in Organizing Committee within the PLATEAU 2020-track Committee Member in Organizing Committee within the PLATEAU 2020-track
SPLASH 2020	Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the OOPSLA-track Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the OOPSLA Artifacts-track Author of Gradual Verification of Recursive Heap Data Structures within the OOPSLA-track
WGT 2020	Author of Gradual Program Analysis within the WGT-track Author of Gradual Verification of Recursive Heap Data Structures within the WGT-track
SPLASH 2019	Author of Obsidian: Typestate and Assets for Safer Smart Contracts within the Posters-track
PLATEAU 2018	Author 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› 2019	Committee Member in Program Committee within the Research Papers-track
Onward! 2018	Author of Interdisciplinary Programming Language Design within the Onward! Essays-track
SPLASH 2018	Author of Obsidian: A Safer Blockchain Programming Language within the Posters-track Committee Member in Judges within the SRC-track
ICSE 2019	Author of Detecting Suspicious Package Updates within the New Ideas and Emerging Results-track
DSLDI 2017	Author of Substance and Style: domain-specific languages for mathematical diagrams within the DSLDI 2017-track
PLATEAU 2017	Session 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 2017	Author of Designing extensible, domain-specific languages for mathematical diagrams within the OBT-track
PLATEAU 2016	Committee Member in Organizing Committee within the PLATEAU-track Session Chair of Session 2 (part of PLATEAU)
SPLASH 2017	Committee Member in Program Committee within the OOPSLA-track Session Chair of Tools (part of OOPSLA)
PLATEAU 2015	Committee 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 2015	Author of Enforcing Fine-Grained Security and Privacy Policies in an Ecosystem within an Ecosystem within the MobileDeLi-track
SPLASH 2015	Author of SE & PL Research Overview within the PLMW-track
PLATEAU	Session 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)
SPLASH 2011	Presenter of Plaid: a Permission-Based Programming Language within the Posters-track Author of First-Class State Change in Plaid within the OOPSLA-track