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

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

Twitter:https://twitter.com/joshsunshine

GitHub:https://github.com/joshsunshine

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