poster + slides

uwplse · Oct 25, 2023 · 9c85112 · 9c85112
1 parent 7e3eecc
commit 9c85112
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 3 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -33,15 +33,15 @@ <h2>News</h2>
           <td class="date">October 2023</td>
           <td>
             <a href="https://rtjoa.com/">Ryan</a>
-             presented a poster at OOPSLA 2023.</td>
+             presented a <a href="slides/oopsla23-enumo-poster.pdf">poster</a> at OOPSLA 2023.</td>
         </tr>
         <tr>
           <td class="date">October 2023</td>
           <td><a href="https://ajpal.github.io/">Anjali</a> presented our work on Enumo for her Qualifying Exam</td>
         </tr>
         <tr>
           <td class="date">September 2023</td>
-          <td><a href="https://thia.codes/">Thia</a> presented a <a href="slides/derivability.pdf">poster</a> on derivability in
+          <td><a href="https://thia.codes/">Thia</a> presented a <a href="slides/icfp23-derivability-poster.pdf">poster</a> on derivability in
           the Student Research Competition at ICFP and won first place in the undergraduate category!
           </td>
         </tr>
@@ -72,6 +72,11 @@ <h2>Publications</h2>
             <a href="https://www.mwillsey.com/">Max Willsey</a>, 
             <a href="https://ztatlock.net/">Zachary Tatlock</a>, 
             <a href="https://cnandi.com/">Chandrakana Nandi</a>.
+            <br>
+            <a class="aref" href="slides/oopsla23-enumo-slides.pdf">slides</a>
+            <!-- <a class="aref"
+              href="">talk</a> -->
+            <a class="aref" href="https://github.com/uwplse/ruler/tree/oopsla23-aec">code</a>
           </td>
         </tr>
 
@@ -95,7 +100,7 @@ <h2>Publications</h2>
             <a class="aref" href="slides/oopsla21-ruler-slides.pdf">slides</a>
             <a class="aref"
               href="https://www.youtube.com/watch?v=5VGTXMgebOo&list=PLyrlk8Xaylp7soIGai1GYm0M0PuG9LIYh&index=27">talk</a>
-            <a class="aref" href="https://github.com/uwplse/ruler">code</a>
+            <a class="aref" href="https://github.com/uwplse/ruler/tree/oopsla21-aec">code</a>
           </td>
         </tr>
       </table>

diff --git a/docs/slides/derivability.pdf → docs/slides/icfp23-derivability-poster.pdf b/docs/slides/derivability.pdf → docs/slides/icfp23-derivability-poster.pdf
diff --git a/docs/slides/oopsla23-enumo-poster.pdf b/docs/slides/oopsla23-enumo-poster.pdf
diff --git a/docs/slides/oopsla23-enumo-slides.pdf b/docs/slides/oopsla23-enumo-slides.pdf