Updated Obsidian publications.

mcoblenz · Dec 3, 2019 · abf02c3 · abf02c3
1 parent c254985
commit abf02c3
Showing 1 changed file with 8 additions and 6 deletions.
diff --git a/docs/publications.html b/docs/publications.html
@@ -9,19 +9,21 @@
   <h1 id="content">Publications</h1>
   <div class="row">
   <div class="col-12">
-    <p>Working draft: "Obsidian: Typestate and Assets for Safer Smart Contracts". <a href="working-draft.pdf">PDF</a></p>
+    <p> Michael Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich. Obsidian: Typestate and Assets for Safer Blockchain Programming. arXiv.org preprint; in revision at TOPLAS. <a href="https://arxiv.org/abs/1909.03523">PDF</a>.</p>
+
+    <p>Gauri Kambhatla, Michael Coblenz, Reed Oei, Joshua Sunshine, Brad Myers and Jonathan Aldrich. A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language. The Tenth Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2019), at UIST 2019, October 24, 2019, New Orleans, Louisiana. <a href="https://plateau-workshop.org/assets/papers-2019/1.pdf">PDF</a></p>
 
     <p> Michael Coblenz, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers. "Smarter Smart Contract Tools." WETSEB 2019: 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain. May 27, 2019, Montreal, QC, Canada. <a href="contracts-WETSEB2019">PDF</a></p>
 
-    <p>Paulette Koronkevich. “Obsidian in the Rough: A Case Study Evaluation of a New Blockchain Programming Language”. SPLASH 2018 Student Research Competition. Second place winner. <a href="obsidian-case-study.pdf">PDF</a></p>
+    <p>Paulette Koronkevich. Obsidian in the Rough: A Case Study Evaluation of a New Blockchain Programming Language. SPLASH 2018 Student Research Competition. Second place winner. <a href="obsidian-case-study.pdf">PDF</a></p>
 
-    <p>Michael Coblenz, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers, “User-Centered Design of Permissions, Typestate, and Ownership in the Obsidian Blockchain Language,” HCI for Blockchain: Studying, Designing, Critiquing and Envisioning Distributed Ledger Technologies Workshop at CHI’2018, April 22, 2018, Montreal, QC, Canada. <a href="http://www.hciforblockchain.org/wp-content/uploads/sites/25/2018/04/Coblenz.pdf">pdf</a>.</p>
+    <p>Michael Coblenz, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers, User-Centered Design of Permissions, Typestate, and Ownership in the Obsidian Blockchain Language. HCI for Blockchain: Studying, Designing, Critiquing and Envisioning Distributed Ledger Technologies Workshop at CHI 2018, April 22, 2018, Montreal, QC, Canada. <a href="http://www.hciforblockchain.org/wp-content/uploads/sites/25/2018/04/Coblenz.pdf">pdf</a>.</p>
 
-    <p>Celeste Barnaby, Michael Coblenz, Tyler Etzel, Eliezer Kanal, Joshua Sunshine, Brad Myers, Jonathan Aldrich. “A User Study to Inform the Design of the Obsidian Blockchain DSL.” 8th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU’2017) at SPLASH 2017, October 23, 2017. <a href="http://www.cs.cmu.edu/~NatProg/papers/barnaby17%20-%20Obsidian-plateau.pdf">pdf</a></p>
+    <p>Celeste Barnaby, Michael Coblenz, Tyler Etzel, Eliezer Kanal, Joshua Sunshine, Brad Myers, Jonathan Aldrich. A User Study to Inform the Design of the Obsidian Blockchain DSL. 8th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2017) at SPLASH 2017, October 23, 2017. <a href="http://www.cs.cmu.edu/~NatProg/papers/barnaby17%20-%20Obsidian-plateau.pdf">pdf</a></p>
 
-    <p>Michael Coblenz. 2017. Obsidian: a safer blockchain programming language. In Proceedings of the 39th International Conference on Software Engineering Companion (ICSE-C ‘17). IEEE Press, Piscataway, NJ, USA, 97-99. <a href="http://dl.acm.org/citation.cfm?id=3098376">ACM DL</a></p>
+    <p>Michael Coblenz. 2017. Obsidian: a safer blockchain programming language. In Proceedings of the 39th International Conference on Software Engineering Companion (ICSE-C '17). IEEE Press, Piscataway, NJ, USA, 97-99. <a href="http://dl.acm.org/citation.cfm?id=3098376">ACM DL</a></p>
 
-    <p>Michael Coblenz. 2017. Principles of usable programming language design. In Proceedings of the 39th International Conference on Software Engineering Companion (ICSE-C ‘17). IEEE Press, Piscataway, NJ, USA, 469-470. <a href="http://dl.acm.org/citation.cfm?id=3098500">ACM DL</a></p>
+    <p>Michael Coblenz. 2017. Principles of usable programming language design. In Proceedings of the 39th International Conference on Software Engineering Companion (ICSE-C '17). IEEE Press, Piscataway, NJ, USA, 469-470. <a href="http://dl.acm.org/citation.cfm?id=3098500">ACM DL</a></p>
 </div>
 </div>
 </div>