Slides

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>