Joshua Sunshine

According to our database1, Joshua Sunshine authored at least 35 papers between 2009 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

Obsidian: Typestate and Assets for Safer Blockchain Programming.
CoRR, 2019

Design Dimensions for Software Certification: A Grounded Analysis.
CoRR, 2019

Barriers to Reproducible Scientific Programming.
Proceedings of the 2019 IEEE Symposium on Visual Languages and Human-Centric Computing, 2019

A Qualitative Study on Framework Debugging.
Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

Detecting suspicious package updates.
Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Smarter smart contract development tools.
Proceedings of the 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain, 2019

2018
Debugging Framework Applications: Benefits and Challenges.
CoRR, 2018

Experience report: studying the readability of a domain specific language.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Interdisciplinary programming language design.
Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018

IPL: An Integration Property Language for Multi-model Cyber-physical Systems.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017
Toward Semantic Foundations for Program Editors.
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Empirical Studies on the Security and Usability Impact of Immutability.
Proceedings of the IEEE Cybersecurity Development, SecDev 2017, Cambridge, MA, USA, 2017

Glacier: transitive class immutability for Java.
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
A systematic analysis of the science of sandboxing.
PeerJ Computer Science, 2016

Inter-app communication in Android: developer challenges.
Proceedings of the 13th International Conference on Mining Software Repositories, 2016

Exploring language support for immutability.
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
A course-based usability analysis of Cilk Plus and OpenMP.
Proceedings of the 2015 IEEE Symposium on Visual Languages and Human-Centric Computing, 2015

Comparing transitive to non-transitive object immutability.
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

Searching the state space: a qualitative study of API protocol usability.
Proceedings of the 2015 IEEE 23rd International Conference on Program Comprehension, 2015

Evaluating the Flexibility of the Java Sandbox.
Proceedings of the 31st Annual Computer Security Applications Conference, 2015

2014
Æminium: A Permission-Based Concurrent-by-Default Programming Language Approach.
ACM Trans. Program. Lang. Syst., 2014

Usability Hypotheses in the Design of Plaid.
Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools, 2014

Considering Productivity Effects of Explicit Type Declarations.
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
Changing state in the plaid language.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

First-class state change in plaid.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Plaid: a permission-based programming language.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Permission-based programming languages.
Proceedings of the 33rd International Conference on Software Engineering, 2011

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

A theory of typestate-oriented programming.
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

2009
Crying Wolf: An Empirical Study of SSL Warning Effectiveness.
Proceedings of the 18th USENIX Security Symposium, 2009

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


  Loading...