Joshua Sunshine
Carnegie Mellon University
H-index: 19
North America-United States
Top articles of Joshua Sunshine
A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
arXiv preprint arXiv:2404.11671
2024/4/17
Joshua Sunshine
H-Index: 13
Jonathan Aldrich
H-Index: 22
" Against the Void": An Interview and Survey Study on How Rust Developers Use Unsafe Code
arXiv preprint arXiv:2404.02230
2024/4/2
Rose: Efficient and Extensible Autodiff on the Web
arXiv preprint arXiv:2402.17743
2024/2/27
Joshua Sunshine
H-Index: 13
Nanofuzz: A usable tool for automatic test generation
2023/11/30
Matthew Davis
H-Index: 4
Joshua Sunshine
H-Index: 13
Generating Domain-Specific Programs for Diagram Authoring with Large Language Models
2023/10/22
Joshua Sunshine
H-Index: 13
What’s (not) working in programmer user studies?
ACM Transactions on Software Engineering and Methodology
2023/7/24
Gradual C0: Symbolic Execution for Efficient Gradual Verification
arXiv preprint arXiv:2210.02428
2022/10/5
Gradual C0: Symbolic Execution for Gradual Verification
arXiv preprint arXiv:2210.02428
2022/10
Gradual program analysis for null pointers
arXiv preprint arXiv:2105.06081
2021/5/13
Framefix: Automatically repairing statically-detected directive violations in framework applications
2021/3/9
recode: A lightweight find-and-replace interaction in the ide for transforming code by example
2021/10/10
Joshua Sunshine
H-Index: 13
PL and HCI: better together
Communications of the ACM
2021/7/26
Joshua Sunshine
H-Index: 13
PLIERS: a process that integrates user-centered methods into programming language design
ACM Transactions on Computer-Human Interaction (TOCHI)
2021/7/23
Containing malicious package updates in npm with a lightweight permission system
2021/5/22
Gabriel Ferreira
H-Index: 5
Limin Jia
H-Index: 19
Joshua Sunshine
H-Index: 13
Christian Kästner
H-Index: 46
Obsidian: Typestate and assets for safer blockchain programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
2020/11/24
Can advanced type systems be usable? an empirical study of ownership, assets, and typestate in obsidian
Proceedings of the ACM on Programming Languages
2020/11/13
Gradual verification of recursive heap data structures
Proceedings of the ACM on Programming Languages
2020/11/13
Penrose: from mathematical notation to beautiful diagrams
ACM Transactions on Graphics (TOG)
2020/7/8
Dor Ma'Ayan
H-Index: 3
Jenna Wise
H-Index: 3
Jonathan Aldrich
H-Index: 22
Joshua Sunshine
H-Index: 13
Keenan Crane
H-Index: 19
How domain experts create conceptual diagrams and implications for tool design
2020/4/21
10th Workshop on Evaluation and Usability of Programming Languages and Tools
2020/3
Joshua Sunshine
H-Index: 13
Co-Authors
