Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Psamathe: A DSL with Flows for Safe Blockchain Assets., , and . CoRR, (2020)An Empirical Study of Protocols in Smart Contracts., , and . CoRR, (2021)A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language., , , , , and . PLATEAU@UIST, volume 76 of OASIcs, page 2:1-2:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Glacier: transitive class immutability for Java., , , , and . ICSE, page 496-506. IEEE / ACM, (2017)Interdisciplinary programming language design., , , and . Onward!, page 133-146. ACM, (2018)An Empirical Study of Ownership, Typestate, and Assets in the Obsidian Smart Contract Language., , , and . CoRR, (2020)User-Centered Programming Language Design in the Obsidian Smart Contract Language., , , , , , , and . CoRR, (2019)Considering Productivity Effects of Explicit Type Declarations., , , and . PLATEAU, page 59-61. ACM, (2014)GRACE: An Autonomous Robot for the AAAI Robot Challenge., , , , , , , , , and 11 other author(s). AAAI Mobile Robot Competition, volume WS-02-18 of AAAI Technical Report, page 1-14. AAAI Press, (2002)User-Centered Programming Language Design: A Course-Based Case Study., , , , , , , , , and . CoRR, (2020)