Joshua Sunshine - SPLASH 2020

Sun 15 - Fri 20 November 2020 Online Conference

Registered user since Fri 23 May 2014

Name: Joshua Sunshine

Affiliation: Carnegie Mellon University

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

Contributions

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
Show activities from other conferences

Using general profile