Joshua Sunshine

75 papers A* 9A 10B 5C 1Misc 1Journal 26Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Feynman: Knowledge-Infused Diagramming Agent for Scalable Visual Designs. CoRR Zixin Wen, Yifu Cai, Kyle Lee, Sam Estep, Joshua Sunshine, Aarti Singh, Yuejie Chi, Wode Ni
2025	A*	`conf`	A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries. ICSE Ian McCormack, Joshua Sunshine, Jonathan Aldrich
2025	B	`conf`	Augmented Proof: Examining Structures to Support Geometric Proof Comprehension. CogSci Hwei-Shin Harriman, Yuchen Jin, Peter Cheng, Dominik Moritz, Joshua Sunshine
2025	J	`jnl`	TerzoN: Human-in-the-Loop Software Testing with a Composite Oracle. Proc. ACM Softw. Eng. Matthew C. Davis, Amy Wei, Brad A. Myers, Joshua Sunshine
2024	J	`jnl`	"Against the Void": An Interview and Survey Study on How Rust Developers Use Unsafe Code. CoRR Ian McCormack, Tomas Dougan, Sam Estep, Hanan Hibshi, Jonathan Aldrich, Joshua Sunshine
2024	J	`jnl`	A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries. CoRR Ian McCormack, Joshua Sunshine, Jonathan Aldrich
2024	C	`conf`	Codifying Visual Representations. Diagrams Wode Ni, Sam Estep, Hwei-Shin Harriman, Jirí Minarcík, Joshua Sunshine
2024	B	`conf`	Edgeworth: Efficient and Scalable Authoring of Visual Thinking Activities. L@S Wode Ni, Sam Estep, Hwei-Shin Harriman, Kenneth R. Koedinger, Joshua Sunshine
2024	J	`jnl`	Gradual C0: Symbolic Execution for Gradual Verification. ACM Trans. Program. Lang. Syst. Jenna DiVincenzo, Ian McCormack, Conrad Zimmerman, Hemant Gouni, Jacob Gorenburg, Jan-Paul Ramos-Dávila, Mona Zhang, Joshua Sunshine, Éric Tanter, Jonathan Aldrich
2024	J	`jnl`	Research Experiences for Undergraduates Are Necessary for an Equitable Research Community. Commun. ACM Joshua Sunshine, Joey Velez-Ginorio
2024	J	`jnl`	Rose: Composable Autodiff for the Interactive Web (Artifact). Dagstuhl Artifacts Ser. Sam Estep, Wode Ni, Raven Rothkopf, Joshua Sunshine
2024	A	`conf`	Rose: Composable Autodiff for the Interactive Web. ECOOP Sam Estep, Wode Ni, Raven Rothkopf, Joshua Sunshine
2024	J	`jnl`	Rose: Efficient and Extensible Autodiff on the Web. CoRR Sam Estep, Raven Rothkopf, Wode Ni, Joshua Sunshine
2023	—	`conf`	Generating Domain-Specific Programs for Diagram Authoring with Large Language Models. SPLASH Companion Rijul Jain, Wode Ni, Joshua Sunshine
2023	—	`conf`	NaNofuzz: A Usable Tool for Automatic Test Generation. ESEC/SIGSOFT FSE Matthew C. Davis, Sangheon Choi, Sam Estep, Brad A. Myers, Joshua Sunshine
2023	J	`jnl`	What's (Not) Working in Programmer User Studies? ACM Trans. Softw. Eng. Methodol. Matthew C. Davis, Emad Aghayi, Thomas D. LaToza, Xiaoyin Wang, Brad A. Myers, Joshua Sunshine
2022	J	`jnl`	Gradual C0: Symbolic Execution for Efficient Gradual Verification. CoRR Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich
2021	A*	`conf`	Containing Malicious Package Updates in npm with a Lightweight Permission System. ICSE Gabriel Ferreira, Limin Jia, Joshua Sunshine, Christian Kästner
2021	J	`jnl`	Containing Malicious Package Updates in npm with a Lightweight Permission System. CoRR Gabriel Ferreira, Limin Jia, Joshua Sunshine, Christian Kästner
2021	A	`conf`	FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications. SANER Zack Coker, Joshua Sunshine, Claire Le Goues
2021	A	`conf`	Gradual Program Analysis for Null Pointers. ECOOP Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine
2021	J	`jnl`	Gradual Program Analysis for Null Pointers. CoRR Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine
2021	J	`jnl`	PL and HCI: better together. Commun. ACM Sarah E. Chasins, Elena L. Glassman, Joshua Sunshine
2021	J	`jnl`	PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design. ACM Trans. Comput. Hum. Interact. Michael J. Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers
2021	A*	`conf`	reCode : A Lightweight Find-and-Replace Interaction in the IDE for Transforming Code by Example. UIST Wode Ni, Joshua Sunshine, Vu Le, Sumit Gulwani, Titus Barik
2020	—	`ed.`	10th Workshop on Evaluation and Usability of Programming Languages and Tools, PLATEAU@UIST 2019, New Orleans, Louisiana, USA, October 24, 2019 PLATEAU@UIST Sarah E. Chasins, Elena L. Glassman, Joshua Sunshine
2020	J	`jnl`	An Empirical Study of Ownership, Typestate, and Assets in the Obsidian Smart Contract Language. CoRR Michael J. Coblenz, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers
2020	J	`jnl`	Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian. Proc. ACM Program. Lang. Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine
2020	J	`jnl`	Gradual verification of recursive heap data structures. Proc. ACM Program. Lang. Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, Joshua Sunshine
2020	A*	`conf`	How Domain Experts Create Conceptual Diagrams and Implications for Tool Design. CHI Dor Ma'ayan, Wode Ni, Katherine Ye, Chinmay Kulkarni, Joshua Sunshine
2020	J	`jnl`	Obsidian: Typestate and Assets for Safer Blockchain Programming. ACM Trans. Program. Lang. Syst. Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich
2020	J	`jnl`	Penrose: from mathematical notation to beautiful diagrams. ACM Trans. Graph. Katherine Ye, Wode Ni, Max Krieger, Dor Ma'ayan, Jenna Wise, Jonathan Aldrich, Joshua Sunshine, Keenan Crane
2019	—	`ed.`	9th Workshop on Evaluation and Usability of Programming Languages and Tools, PLATEAU@SPLASH 2018, Boston, Massachusetts, USA, November 5, 2018 PLATEAU@SPLASH Titus Barik, Joshua Sunshine, Sarah E. Chasins
2019	—	`conf`	A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language. PLATEAU@UIST Gauri Kambhatla, Michael J. Coblenz, Reed Oei, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers
2019	A	`conf`	A Qualitative Study on Framework Debugging. ICSME Zack Coker, David Gray Widder, Claire Le Goues, Christopher Bogart, Joshua Sunshine
2019	B	`conf`	Barriers to Reproducible Scientific Programming. VL/HCC David Gray Widder, Joshua Sunshine, Stephen Fickas
2019	J	`jnl`	Design Dimensions for Software Certification: A Grounded Analysis. CoRR Gabriel Ferreira, Christian Kästner, Joshua Sunshine, Sven Apel, William L. Scherlis
2019	—	`conf`	Designing Declarative Language Tutorials: A Guided and Individualized Approach. PLATEAU@UIST Anael Kuperwajs Cohen, Wode Ni, Joshua Sunshine
2019	—	`conf`	Detecting suspicious package updates. ICSE (NIER) Kalil Anderson Garrett, Gabriel Ferreira, Limin Jia, Joshua Sunshine, Christian Kästner
2019	J	`jnl`	Obsidian: Typestate and Assets for Safer Blockchain Programming. CoRR Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich
2019	—	`conf`	Smarter smart contract development tools. WETSEB@ICSE Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers
2019	J	`jnl`	User-Centered Programming Language Design in the Obsidian Smart Contract Language. CoRR Michael J. Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers
2018	J	`jnl`	Debugging Framework Applications: Benefits and Challenges. CoRR Zack Coker, David Gray Widder, Claire Le Goues, Christopher Bogart, Joshua Sunshine
2018	Misc	`conf`	Experience report: studying the readability of a domain specific language. SAC Johann Thor Mogensen Ingibergsson, Stefan Hanenberg, Joshua Sunshine, Ulrik Pagh Schultz
2018	B	`conf`	IPL: An Integration Property Language for Multi-model Cyber-physical Systems. FM Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley R. Schmerl, David Garlan
2018	—	`conf`	Interdisciplinary programming language design. Onward! Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine
2017	—	`conf`	Empirical Studies on the Security and Usability Impact of Immutability. SecDev Sam Weber, Michael J. Coblenz, Brad A. Myers, Jonathan Aldrich, Joshua Sunshine
2017	A*	`conf`	Glacier: transitive class immutability for Java. ICSE Michael J. Coblenz, Whitney Nelson, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine
2017	—	`conf`	Toward Semantic Foundations for Program Editors. SNAPL Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer
2017	J	`jnl`	Toward Semantic Foundations for Program Editors. CoRR Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer
2016	J	`jnl`	A systematic analysis of the science of sandboxing. PeerJ Comput. Sci. Michael Maass, Adam Sales, Benjamin Chung, Joshua Sunshine
2016	A*	`conf`	Exploring language support for immutability. ICSE Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers, Sam Weber, Forrest Shull
2016	A	`conf`	Inter-app communication in Android: developer challenges. MSR Waqar Ahmad, Christian Kästner, Joshua Sunshine, Jonathan Aldrich
2016	—	`ed.`	Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools, PLATEAU@SPLASH 2016, Amsterdam, Netherlands, November 1, 2016 PLATEAU@SPLASH Craig Anslow, Thomas D. LaToza, Joshua Sunshine
2016	A	`conf`	Software Development Practices, Barriers in the Field and the Relationship to Software Quality. ESEM Beth Yost, Michael J. Coblenz, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich, Sam Weber, Matthew Patron, Melissa Heeren, Shelley Krueger, Mark S. Pfaff
2015	B	`conf`	A course-based usability analysis of Cilk Plus and OpenMP. VL/HCC Michael J. Coblenz, Robert C. Seacord, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich
2015	—	`conf`	Comparing transitive to non-transitive object immutability. PLATEAU@SPLASH Michael J. Coblenz, Joshua Sunshine, Brad A. Myers, Sam Weber, Forrest Shull
2015	—	`conf`	Enforcing fine-grained security and privacy policies in an ecosystem within an ecosystem. MobileDeLi Waqar Ahmad, Joshua Sunshine, Christian Kästner, Adam S. Wynne
2015	A	`conf`	Evaluating the Flexibility of the Java Sandbox. ACSAC Zack Coker, Michael Maass, Tianyuan Ding, Claire Le Goues, Joshua Sunshine
2015	—	`ed.`	Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools, PLATEAU@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015 PLATEAU@SPLASH Thomas D. LaToza, Craig Anslow, Joshua Sunshine
2015	A	`conf`	Searching the state space: a qualitative study of API protocol usability. ICPC Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich
2014	—	`conf`	Considering Productivity Effects of Explicit Type Declarations. PLATEAU Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine
2014	—	`ed.`	Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools, Portland, OR, USA, October 21, 2014 PLATEAU Joshua Sunshine, Thomas D. LaToza, Craig Anslow
2014	A	`conf`	Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming. ECOOP Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich
2014	—	`conf`	Usability Hypotheses in the Design of Plaid. PLATEAU Joshua Sunshine, Jonathan Aldrich
2014	J	`jnl`	Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach. ACM Trans. Program. Lang. Syst. Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich
2014	A*	`conf`	Æminium: a permission based concurrent-by-default programming language approach. PLDI Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich
2011	—	`conf`	Changing state in the plaid language. OOPSLA Companion Joshua Sunshine, Sven Stork, Karl Naden, Jonathan Aldrich
2011	A	`conf`	First-class state change in plaid. OOPSLA Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, Éric Tanter
2011	A*	`conf`	Permission-based programming languages. ICSE Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff
2011	—	`conf`	Plaid: a permission-based programming language. OOPSLA Companion Jonathan Aldrich, Robert Bocchino, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff
2010	—	`conf`	A theory of typestate-oriented programming. FTfJP@ECOOP Darpan Saini, Joshua Sunshine, Jonathan Aldrich
2010	—	`conf`	Unsticking the web. SPLASH/OOPSLA Companion Joshua Sunshine
2009	A*	`conf`	Crying Wolf: An Empirical Study of SSL Warning Effectiveness. USENIX Security Symposium Joshua Sunshine, Serge Egelman, Hazim Almuhimedi, Neha Atri, Lorrie Faith Cranor
2009	—	`conf`	Typestate-oriented programming. OOPSLA Companion Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Zachary Sparks