Joshua Sunshine

According to our database, Joshua Sunshine authored at least 55 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries.

Ian McCormack, Joshua Sunshine, Jonathan Aldrich

CoRR, 2024

"Against the Void": An Interview and Survey Study on How Rust Developers Use Unsafe Code.

Ian McCormack, Tomas Dougan, Sam Estep, Hanan Hibshi, Jonathan Aldrich, Joshua Sunshine

CoRR, 2024

Rose: Efficient and Extensible Autodiff on the Web.

Sam Estep, Raven Rothkopf, Wode Ni, Joshua Sunshine

CoRR, 2024

2023

What's (Not) Working in Programmer User Studies?

Matthew C. Davis, Emad Aghayi, Thomas D. LaToza, Xiaoyin Wang, Brad A. Myers, Joshua Sunshine

ACM Trans. Softw. Eng. Methodol., September, 2023

Generating Domain-Specific Programs for Diagram Authoring with Large Language Models.

Rijul Jain, Wode Ni, Joshua Sunshine

Proceedings of the Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, 2023

NaNofuzz: A Usable Tool for Automatic Test Generation.

Matthew C. Davis, Sangheon Choi, Sam Estep, Brad A. Myers, Joshua Sunshine

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

Gradual C0: Symbolic Execution for Efficient Gradual Verification.

Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich

CoRR, 2022

2021

PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design.

Michael J. Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers

ACM Trans. Comput. Hum. Interact., 2021

PL and HCI: better together.

Sarah E. Chasins, Elena L. Glassman, Joshua Sunshine

Commun. ACM, 2021

FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications.

Zack Coker, Joshua Sunshine, Claire Le Goues

Proceedings of the 28th IEEE International Conference on Software Analysis, 2021

reCode : A Lightweight Find-and-Replace Interaction in the IDE for Transforming Code by Example.

Wode Ni, Joshua Sunshine, Vu Le, Sumit Gulwani, Titus Barik

Proceedings of the UIST '21: The 34th Annual ACM Symposium on User Interface Software and Technology, 2021

Containing Malicious Package Updates in npm with a Lightweight Permission System.

Gabriel Ferreira, Limin Jia, Joshua Sunshine, Christian Kästner

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Gradual Program Analysis for Null Pointers.

Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020

Obsidian: Typestate and Assets for Safer Blockchain Programming.

Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich

ACM Trans. Program. Lang. Syst., 2020

Penrose: from mathematical notation to beautiful diagrams.

Katherine Ye, Wode Ni, Max Krieger, Dor Ma'ayan, Jenna Wise, Jonathan Aldrich, Joshua Sunshine, Keenan Crane

ACM Trans. Graph., 2020

Gradual verification of recursive heap data structures.

Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, Joshua Sunshine

Proc. ACM Program. Lang., 2020

Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian.

Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine

Proc. ACM Program. Lang., 2020

An Empirical Study of Ownership, Typestate, and Assets in the Obsidian Smart Contract Language.

Michael J. Coblenz, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers

CoRR, 2020

How Domain Experts Create Conceptual Diagrams and Implications for Tool Design.

Dor Ma'ayan, Wode Ni, Katherine Ye, Chinmay Kulkarni, Joshua Sunshine

Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020

2019

User-Centered Programming Language Design in the Obsidian Smart Contract Language.

Michael J. Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers

CoRR, 2019

Design Dimensions for Software Certification: A Grounded Analysis.

Gabriel Ferreira, Christian Kästner, Joshua Sunshine, Sven Apel, William L. Scherlis

CoRR, 2019

Barriers to Reproducible Scientific Programming.

David Gray Widder, Joshua Sunshine, Stephen Fickas

Proceedings of the 2019 IEEE Symposium on Visual Languages and Human-Centric Computing, 2019

A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language.

Gauri Kambhatla, Michael J. Coblenz, Reed Oei, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers

Proceedings of the 10th Workshop on Evaluation and Usability of Programming Languages and Tools, 2019

Designing Declarative Language Tutorials: A Guided and Individualized Approach.

Anael Kuperwajs Cohen, Wode Ni, Joshua Sunshine

Proceedings of the 10th Workshop on Evaluation and Usability of Programming Languages and Tools, 2019

A Qualitative Study on Framework Debugging.

Zack Coker, David Gray Widder, Claire Le Goues, Christopher Bogart, Joshua Sunshine

Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

Detecting suspicious package updates.

Kalil Anderson Garrett, Gabriel Ferreira, Limin Jia, Joshua Sunshine, Christian Kästner

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Smarter smart contract development tools.

Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers

Proceedings of the 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain, 2019

2018

Debugging Framework Applications: Benefits and Challenges.

Zack Coker, David Gray Widder, Claire Le Goues, Christopher Bogart, Joshua Sunshine

CoRR, 2018

Experience report: studying the readability of a domain specific language.

Johann Thor Mogensen Ingibergsson, Stefan Hanenberg, Joshua Sunshine, Ulrik Pagh Schultz

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Interdisciplinary programming language design.

Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine

Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018

IPL: An Integration Property Language for Multi-model Cyber-physical Systems.

Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley R. Schmerl, David Garlan

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Toward Semantic Foundations for Program Editors.

Cyrus Omar, Ian Voysey, Michael Hilton, Joshua Sunshine, Claire Le Goues, Jonathan Aldrich, Matthew A. Hammer

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Empirical Studies on the Security and Usability Impact of Immutability.

Sam Weber, Michael J. Coblenz, Brad A. Myers, Jonathan Aldrich, Joshua Sunshine

Proceedings of the IEEE Cybersecurity Development, SecDev 2017, Cambridge, MA, USA, 2017

Glacier: transitive class immutability for Java.

Michael J. Coblenz, Whitney Nelson, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

A systematic analysis of the science of sandboxing.

Michael Maass, Adam Sales, Benjamin Chung, Joshua Sunshine

PeerJ Comput. Sci., 2016

Inter-app communication in Android: developer challenges.

Waqar Ahmad, Christian Kästner, Joshua Sunshine, Jonathan Aldrich

Proceedings of the 13th International Conference on Mining Software Repositories, 2016

Exploring language support for immutability.

Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers, Sam Weber, Forrest Shull

Proceedings of the 38th International Conference on Software Engineering, 2016

Software Development Practices, Barriers in the Field and the Relationship to Software Quality.

Beth Yost, Michael J. Coblenz, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich, Sam Weber, Matthew Patron, Melissa Heeren, Shelley Krueger, Mark S. Pfaff

Proceedings of the 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2016

2015

A course-based usability analysis of Cilk Plus and OpenMP.

Michael J. Coblenz, Robert C. Seacord, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich

Proceedings of the 2015 IEEE Symposium on Visual Languages and Human-Centric Computing, 2015

Comparing transitive to non-transitive object immutability.

Michael J. Coblenz, Joshua Sunshine, Brad A. Myers, Sam Weber, Forrest Shull

Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools, 2015

Enforcing fine-grained security and privacy policies in an ecosystem within an ecosystem.

Waqar Ahmad, Joshua Sunshine, Christian Kästner, Adam S. Wynne

Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

Searching the state space: a qualitative study of API protocol usability.

Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich

Proceedings of the 2015 IEEE 23rd International Conference on Program Comprehension, 2015

Evaluating the Flexibility of the Java Sandbox.

Zack Coker, Michael Maass, Tianyuan Ding, Claire Le Goues, Joshua Sunshine

Proceedings of the 31st Annual Computer Security Applications Conference, 2015

2014

Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach.

Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich

ACM Trans. Program. Lang. Syst., 2014

Usability Hypotheses in the Design of Plaid.

Joshua Sunshine, Jonathan Aldrich

Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools, 2014

Considering Productivity Effects of Explicit Type Declarations.

Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine

Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools, 2014

Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming.

Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2011

Changing state in the plaid language.

Joshua Sunshine, Sven Stork, Karl Naden, Jonathan Aldrich

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

First-class state change in plaid.

Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, Éric Tanter

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Plaid: a permission-based programming language.

Jonathan Aldrich, Robert Bocchino, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Permission-based programming languages.

Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Unsticking the web.

Joshua Sunshine

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

A theory of typestate-oriented programming.

Darpan Saini, Joshua Sunshine, Jonathan Aldrich

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

2009

Crying Wolf: An Empirical Study of SSL Warning Effectiveness.

Joshua Sunshine, Serge Egelman, Hazim Almuhimedi, Neha Atri, Lorrie Faith Cranor

Proceedings of the 18th USENIX Security Symposium, 2009

Typestate-oriented programming.

Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Zachary Sparks

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009