Joshua Sunshine

Registered user since Fri 23 May 2014

Name:Joshua Sunshine
Bio:

I am a Senior Research Fellow in the Institute for Software Research at Carnegie Mellon University. I have broad research interests at the intersection of programming languages and human-computer interaction. I am particularly interested in better understanding of the factors that influence the usability of reusable software components.

Affiliation:Carnegie Mellon University
Research interests:Programming Languages, Human-Computer Interaction

Contributions

SPLASH 2021 Author of Gradual Verification of Recursive Heap Data Structures within the SIGPLAN Papers-track
Committee Member in External Review Committee within the OOPSLA-track
Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the SIGPLAN Papers-track
SPLASH 2010
PLATEAU 2020 Co-chair of Welcome to PLATEAU! within the PLATEAU 2020-track
Committee Member in Organizing Committee within the PLATEAU 2020-track
Committee Member in Organizing Committee within the PLATEAU 2020-track
ECOOP 2021 Author of Gradual Program Analysis for Null Pointers within the ECOOP Technical Papers-track
ICSE 2022 Accommodations Chair in Organizing Committee
SPLASH 2020 Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the Posters-track
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 Posters-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
ICSE 2021 Author of Containing Malicious Package Updates in npm with a Lightweight Permission System within the Technical Track-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