Joshua Sunshine
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
33
Venues
13
Active years
2009–2025
Best venue rank
A*
Where they publish
Papers
33 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CogSci | Augmented Proof: Examining Structures to Support Geometric Proof Comprehension. | Hwei-Shin Harriman, Yuchen Jin, Peter Cheng, Dominik Moritz, Joshua Sunshine |
| 2025 | ICSE | A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries. | Ian McCormack, Joshua Sunshine, Jonathan Aldrich |
| 2024 | DIAGRAMS | Codifying Visual Representations. | Wode Ni, Sam Estep, Hwei-Shin Harriman, Jir Minarck, Joshua Sunshine |
| 2024 | ECOOP | Rose: Composable Autodiff for the Interactive Web. | Sam Estep, Wode Ni, Raven Rothkopf, Joshua Sunshine |
| 2021 | ECOOP | Gradual Program Analysis for Null Pointers. | Sam Estep, Jenna Wise, Jonathan Aldrich, ric Tanter, Johannes Bader, Joshua Sunshine |
| 2021 | ICSE | Containing Malicious Package Updates in npm with a Lightweight Permission System. | Gabriel Ferreira, Limin Jia, Joshua Sunshine, Christian Kstner |
| 2021 | UIST | 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 |
| 2020 | CHI | How Domain Experts Create Conceptual Diagrams and Implications for Tool Design. | Dor Ma'ayan, Wode Ni, Katherine Ye, Chinmay Kulkarni, Joshua Sunshine |
| 2019 | ICSE | Smarter smart contract development tools. | Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers |
| 2019 | ICSE | Detecting suspicious package updates. | Kalil Anderson Garrett, Gabriel Ferreira, Limin Jia, Joshua Sunshine, Christian Kstner |
| 2019 | UIST | Designing Declarative Language Tutorials: A Guided and Individualized Approach. | Anael Kuperwajs Cohen, Wode Ni, Joshua Sunshine |
| 2019 | UIST | 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 |
| 2018 | FM | IPL: An Integration Property Language for Multi-model Cyber-physical Systems. | Ivan Ruchkin, Joshua Sunshine, Grant Iraci, Bradley R. Schmerl, David Garlan |
| 2018 | OOPSLA | Interdisciplinary programming language design. | Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine |
| 2018 | SAC | Experience report: studying the readability of a domain specific language. | Johann Thor Mogensen Ingibergsson, Stefan Hanenberg, Joshua Sunshine, Ulrik Pagh Schultz |
| 2017 | ICSE | Glacier: transitive class immutability for Java. | Michael J. Coblenz, Whitney Nelson, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine |
| 2016 | ESEM | 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 |
| 2016 | ICSE | Exploring language support for immutability. | Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers, Sam Weber, Forrest Shull |
| 2016 | MSR | Inter-app communication in Android: developer challenges. | Waqar Ahmad, Christian Kstner, Joshua Sunshine, Jonathan Aldrich |
| 2015 | ACSAC | Evaluating the Flexibility of the Java Sandbox. | Zack Coker, Michael Maass, Tianyuan Ding, Claire Le Goues, Joshua Sunshine |
| 2015 | OOPSLA | Enforcing fine-grained security and privacy policies in an ecosystem within an ecosystem. | Waqar Ahmad, Joshua Sunshine, Christian Kstner, Adam S. Wynne |
| 2015 | OOPSLA | Comparing transitive to non-transitive object immutability. | Michael J. Coblenz, Joshua Sunshine, Brad A. Myers, Sam Weber, Forrest Shull |
| 2014 | ECOOP | Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming. | Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich |
| 2014 | OOPSLA | Considering Productivity Effects of Explicit Type Declarations. | Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine |
| 2014 | OOPSLA | Usability Hypotheses in the Design of Plaid. | Joshua Sunshine, Jonathan Aldrich |
| 2014 | PLDI | minium: a permission based concurrent-by-default programming language approach. | Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich |
| 2011 | ICSE | Permission-based programming languages. | Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, ric Tanter, Roger Wolff |
| 2011 | OOPSLA | 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 |
| 2011 | OOPSLA | First-class state change in plaid. | Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, ric Tanter |
| 2011 | OOPSLA | Changing state in the plaid language. | Joshua Sunshine, Sven Stork, Karl Naden, Jonathan Aldrich |
| 2010 | ECOOP | A theory of typestate-oriented programming. | Darpan Saini, Joshua Sunshine, Jonathan Aldrich |
| 2010 | OOPSLA | Unsticking the web. | Joshua Sunshine |
| 2009 | OOPSLA | Typestate-oriented programming. | Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Zachary Sparks |