Michael J. Coblenz

According to our database1, Michael J. Coblenz authored at least 19 papers between 2003 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

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

Obsidian: Typestate and Assets for Safer Blockchain Programming.
CoRR, 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

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

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

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

Principles of usable programming language design.
Proceedings of the 39th International Conference on Software Engineering, 2017

Obsidian: a safer blockchain programming language.
Proceedings of the 39th International Conference on Software Engineering, 2017

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

2014
Considering Productivity Effects of Explicit Type Declarations.
Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools, 2014

2006
An Exploratory Study of How Developers Seek, Relate, and Collect Relevant Information during Software Maintenance Tasks.
IEEE Trans. Software Eng., 2006

JASPER: an Eclipse plug-in to facilitate software maintenance tasks.
Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, 2006

2005
Using Objects of Measurement to Detect Spreadsheet Errors.
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

2003
GRACE: An Autonomous Robot for the AAAI Robot Challenge.
AI Magazine, 2003


  Loading...