Joshua Sunshine

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 44

Top Topics

Programming Language

Development Tools

Privacy Policies

Empirical Studies

Top Venues

Proc. ACM Program. Lang.

Publications

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