A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language
@inproceedings{Kambhatla2019APS, title={A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language}, author={Gauri Kambhatla and Michael J. Coblenz and R. Oei and J. Sunshine and J. Aldrich and B. Myers}, booktitle={PLATEAU@UIST}, year={2019} }
Although blockchains have been proposed for building systems that execute critical transactions, security vulnerabilities have plagued programs that are deployed on blockchain systems. The programming language Obsidian was developed with the purpose of statically preventing some of the more common of these security risks, specifically the loss of resources and improper manipulation of objects. The question then is whether Obsidian’s novel features impact the usability of the language. In this… CONTINUE READING
Tables and Topics from this paper
Tables
2 Citations
User-Centered Programming Language Design in the Obsidian Smart Contract Language
- Computer Science
- ArXiv
- 2019
- PDF
PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design.
- Computer Science
- 2019
- 3
- PDF
References
SHOWING 1-10 OF 11 REFERENCES
Obsidian: A Safer Blockchain Programming Language
- Computer Science
- 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)
- 2017
- 45
- PDF
Faith, hope, and love: an essay on software science's neglect of human factors
- Computer Science
- OOPSLA
- 2010
- 48
- PDF
Learning and Teaching Programming: A Review and Discussion
- Computer Science
- Comput. Sci. Educ.
- 2003
- 1,224
- PDF
Programmers Are Users Too: Human-Centered Methods for Improving Programming Tools
- Computer Science
- Computer
- 2016
- 59
- PDF
How do program understanding tools affect how programmers understand programs?
- Computer Science
- Proceedings of the Fourth Working Conference on Reverse Engineering
- 1997
- 121
- PDF
Active learning for problem solving in programming in a computer studies method course
- Computer Science
- 2012
- 6
- PDF
Programmers Are Users Too: HumanCentered Methods for Improving Programming
- Tools. Computer,
- 2016