Merge pull request #343 from a-wagner/master

add more camoy pubs
nuprl · Mar 11, 2024 · 8f4fdec · 8f4fdec
2 parents c1a1ddd + 6064c77
commit 8f4fdec
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/publications.rkt b/publications.rkt
@@ -67,6 +67,16 @@
 
 @(define publications
    (list
+    (publication "Knuth-Morris-Pratt Illustrated"
+                 "Cameron Moy"
+                 JFP
+                 2024
+                 "https://ccs.neu.edu/~camoy/pub/knuth-morris-pratt.pdf")
+    (publication "Trace Contracts"
+                 "Cameron Moy and Matthias Felleisen"
+                 JFP
+                 2024
+                 "https://ccs.neu.edu/~camoy/pub/trace-contract.pdf")
     (publication "Deploying and Evaluating LLMs to Program Service Mobile Robots"
                  "Zichao Hu, Francesca Lucchetti, Claire Schlesinger, Yash Saxena, Anders Freeman, Sadanand Modak, Arjun Guha, and Joydeep Biswas"
                  "Robotics and Automation Letters"