From 3d82de0c7f075628b2243d0f6c7e3a78bc959764 Mon Sep 17 00:00:00 2001
From: Jonathan Bell <jon@jonbell.net>
Date: Wed, 4 Oct 2023 08:24:47 -0400
Subject: [PATCH] Slides

---
 index.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/index.md b/index.md
index f7f4d5a..d3fe11c 100644
--- a/index.md
+++ b/index.md
@@ -23,24 +23,24 @@ We ask that all who are planning to attend the event register in advance so that
 <tr class="break"><td>8:30 am</td><td colspan="2" class="break">Breakfast</td></tr>
 <tr><td>9:00-9:15am</td><td>Gwen Lincroft</td><td>Opening Remarks</td></tr>
 <tr><td>9:15-9:30am</td><td>Daniel Melcer</td><td>Constrained Generation 🫴🦋 Is This Shielding?</td></tr>
-<tr><td>9:35-9:40am</td><td>Ankit Kumar</td><td>Proving Distributed Systems correct using Refinement. <a href="/software-day-23/assets/kumar.pdf">Slides</a></td></tr>
+<tr><td>9:35-9:40am</td><td>Ankit Kumar</td><td>Proving Distributed Systems correct using Refinement. <a href="/software-day-23/assets/slides/kumar.pdf">Slides</a></td></tr>
 <tr><td>9:45-10:00am</td><td>Luna Phipps-Costin</td><td>Continuing WebAssembly with WasmFX</td></tr>
 <tr><td>10:05-10:10am</td><td>Abdelrahman Madkour</td><td>Probabilistic Programming For Video Game Development</td></tr>
 <tr><td>10:15-10:30am</td><td>Farideh Khalili</td><td>Test Migration for Android Applications</td></tr>
 <tr class="break"><td> 10:30-11:00am</td><td colspan="2" class="break">Coffee Break</td></tr>
 <tr><td>11:00-11:15am</td><td>John Gouwar</td><td>Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs</td></tr>
 <tr><td>11:20-11:25am</td><td>Yangtian Zi</td><td>StudentEval: A Benchmark of Student-Written Prompts for Large Language Models of Code</td></tr>
-<tr><td>11:30-11:45am</td><td>Andrew Wagner</td><td>All the Binaries Together. <a href="/software-day-23/assets/wagner.pdf">Slides</a></td></tr>
+<tr><td>11:30-11:45am</td><td>Andrew Wagner</td><td>All the Binaries Together. <a href="/software-day-23/assets/slides/wagner.pdf">Slides</a></td></tr>
 <tr><td>11:50-11:55am</td><td>Lisa Oakley</td><td>Differential Privacy Verification</td></tr>
 <tr><td>12:00-12:15pm</td><td>Michelle Thalakottur</td><td>Making Interpreters Fast (At Fastly)</td></tr>
 <tr class="break"><td>12:15-1:30pm</td><td colspan="2" class="break">Lunch</td></tr>
 <tr><td>1:30-1:45pm</td><td>Satyajit Gokhale</td><td>Semantic Code Clustering at Scale</td></tr>
 <tr><td>1:50-1:55pm</td><td>Olek Gierczak</td><td>Gradually Typed Languages Should Be Vigilant!</td></tr>
-<tr><td>2:00-2:15pm</td><td>John Li</td><td>Lilac: A Modal Separation Logic for Conditional Probability. <a href="/software-day-23/assets/li.pdf">Slides</a></td></tr>
+<tr><td>2:00-2:15pm</td><td>John Li</td><td>Lilac: A Modal Separation Logic for Conditional Probability. <a href="/software-day-23/assets/slides/li.pdf">Slides</a></td></tr>
 <tr><td>2:20-2:25pm</td><td>Minsung Cho</td><td>Free Dice: Weighted Model Counting via Effects</td></tr>
 <tr><td>2:30-2:45pm</td><td>Derek Egolf</td><td>Toward Fitness-Optimal Synthesis of Distributed Protocols</td></tr>
 <tr class="break"><td>2:45-3:15pm</td><td colspan="2" class="break">Coffee Break</td></tr>
-<tr><td>3:15-3:30pm</td><td>Jane Adams</td><td>Systemic Challenges of Visualization Software Engineering in Genetics Research. <a href="/software-day-23/assets/adams.pdf">Slides</a></td></tr>
+<tr><td>3:15-3:30pm</td><td>Jane Adams</td><td>Systemic Challenges of Visualization Software Engineering in Genetics Research. <a href="/software-day-23/assets/slides/adams.pdf">Slides</a></td></tr>
 <tr><td>3:35-3:50pm</td><td>Max Bernstein</td><td>Intro to ML compilers</td></tr>
 <tr><td>3:55-4:10pm</td><td>Andrew Walter</td><td>Witness-Generating Data Types</td></tr>
 <tr><td>4:15-4:55pm</td><td colspan="2">Faculty Panel: Software Research, Moderator: Michelle Thalakottur</td></tr>