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}
}
  • Gauri Kambhatla, Michael J. Coblenz, +3 authors B. Myers
  • Published in PLATEAU@UIST 2019
  • Computer Science
  • 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
    2 Citations

    References

    SHOWING 1-10 OF 11 REFERENCES
    Obsidian: A Safer Blockchain Programming Language
    • Michael J. Coblenz
    • Computer Science
    • 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)
    • 2017
    • 43
    • PDF
    Learning and Teaching Programming: A Review and Discussion
    • 1,204
    • PDF
    How do program understanding tools affect how programmers understand programs?
    • 120
    • PDF
    Self-efficacy and mental models in learning to program
    • 208
    • PDF
    ACTIVE LEARNING FOR PROBLEM SOLVING
    • PROGRAMMING IN A COMPUTER STUDIES METHOD COURSE. Educational Sciences
    • 2012