Joshua Sunshine
Orcid: 0000-0002-9672-5297Affiliations:
- Carnegie Mellon University, Institute for Software Research, Pittsburgh, PA, USA (PhD 2013)
According to our database1,
Joshua Sunshine
authored at least 61 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on cs.cmu.edu
-
on twitter.com
-
on s3d.cmu.edu
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Research Experiences for Undergraduates Are Necessary for an Equitable Research Community.
Commun. ACM, August, 2024
Dagstuhl Artifacts Ser., 2024
CoRR, 2024
"Against the Void": An Interview and Survey Study on How Rust Developers Use Unsafe Code.
CoRR, 2024
Proceedings of the Eleventh ACM Conference on Learning @ Scale, 2024
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024
Proceedings of the Diagrammatic Representation and Inference, 2024
2023
ACM Trans. Softw. Eng. Methodol., September, 2023
Generating Domain-Specific Programs for Diagram Authoring with Large Language Models.
Proceedings of the Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, 2023
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
2022
2021
PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design.
ACM Trans. Comput. Hum. Interact., 2021
FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications.
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.
Proceedings of the UIST '21: The 34th Annual ACM Symposium on User Interface Software and Technology, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021
2020
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian (Artifact).
Dataset, September, 2020
ACM Trans. Program. Lang. Syst., 2020
Proc. ACM Program. Lang., 2020
Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian.
Proc. ACM Program. Lang., 2020
An Empirical Study of Ownership, Typestate, and Assets in the Obsidian Smart Contract Language.
CoRR, 2020
Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020
2019
CoRR, 2019
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.
Proceedings of the 10th Workshop on Evaluation and Usability of Programming Languages and Tools, 2019
Proceedings of the 10th Workshop on Evaluation and Usability of Programming Languages and Tools, 2019
Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019
Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019
Proceedings of the 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain, 2019
2018
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018
Proceedings of the Formal Methods - 22nd International Symposium, 2018
2017
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017
Proceedings of the IEEE Cybersecurity Development, SecDev 2017, Cambridge, MA, USA, 2017
Proceedings of the 39th International Conference on Software Engineering, 2017
2016
Proceedings of the 13th International Conference on Mining Software Repositories, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
Software Development Practices, Barriers in the Field and the Relationship to Software Quality.
Proceedings of the 10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2016
2015
Proceedings of the 2015 IEEE Symposium on Visual Languages and Human-Centric Computing, 2015
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.
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015
Proceedings of the 2015 IEEE 23rd International Conference on Program Comprehension, 2015
Proceedings of the 31st Annual Computer Security Applications Conference, 2015
2014
ACM Trans. Program. Lang. Syst., 2014
Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools, 2014
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.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014
2011
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
2010
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010
2009
Proceedings of the 18th USENIX Security Symposium, 2009
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009