Joshua Sunshine - SPLASH 2020

Sun 15 - Sat 21 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

SPLASH 2020	Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian Gradual Verification of Recursive Heap Data Structures Gradual Verification of Recursive Heap Data Structures
PLATEAU 2020	Welcome to PLATEAU! Committee Member in Organizing Committee within the PLATEAU 2020-track Committee Member in Organizing Committee within the PLATEAU 2020-track
Show activities from other conferences

SPLASH 2020-profile
View general profile