
Registered user since Fri 23 May 2014
Name:Joshua Sunshine
Affiliation:Carnegie Mellon University
Personal website: http://www.cs.cmu.edu/~jssunshi/
Contributions
2020
SPLASH
- 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
SPLASH 2020-profile
View general profile
View general profile