conf.researchr.org / 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/
X (Twitter): https://x.com/joshsunshine
GitHub: https://github.com/joshsunshine
Research interests:Programming Languages, Human-Computer Interaction
Contributions
2023
2021
SPLASH
- 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
2020
SPLASH
- 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
PLATEAU
2019
2018
PLATEAU
SPLASH
2017
SPLASH
PLATEAU
2016
2015
PLATEAU
- 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)
2014
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)