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
8:30 am | Breakfast |
9:00-9:15am | Gwen Lincroft | Opening Remarks |
9:15-9:30am | Daniel Melcer | Constrained Generation 🫴🦋 Is This Shielding? |
-9:35-9:40am | Ankit Kumar | Proving Distributed Systems correct using Refinement. Slides |
+9:35-9:40am | Ankit Kumar | Proving Distributed Systems correct using Refinement. Slides |
9:45-10:00am | Luna Phipps-Costin | Continuing WebAssembly with WasmFX |
10:05-10:10am | Abdelrahman Madkour | Probabilistic Programming For Video Game Development |
10:15-10:30am | Farideh Khalili | Test Migration for Android Applications |
10:30-11:00am | Coffee Break |
11:00-11:15am | John Gouwar | Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs |
11:20-11:25am | Yangtian Zi | StudentEval: A Benchmark of Student-Written Prompts for Large Language Models of Code |
-11:30-11:45am | Andrew Wagner | All the Binaries Together. Slides |
+11:30-11:45am | Andrew Wagner | All the Binaries Together. Slides |
11:50-11:55am | Lisa Oakley | Differential Privacy Verification |
12:00-12:15pm | Michelle Thalakottur | Making Interpreters Fast (At Fastly) |
12:15-1:30pm | Lunch |
1:30-1:45pm | Satyajit Gokhale | Semantic Code Clustering at Scale |
1:50-1:55pm | Olek Gierczak | Gradually Typed Languages Should Be Vigilant! |
-2:00-2:15pm | John Li | Lilac: A Modal Separation Logic for Conditional Probability. Slides |
+2:00-2:15pm | John Li | Lilac: A Modal Separation Logic for Conditional Probability. Slides |
2:20-2:25pm | Minsung Cho | Free Dice: Weighted Model Counting via Effects |
2:30-2:45pm | Derek Egolf | Toward Fitness-Optimal Synthesis of Distributed Protocols |
2:45-3:15pm | Coffee Break |
-3:15-3:30pm | Jane Adams | Systemic Challenges of Visualization Software Engineering in Genetics Research. Slides |
+3:15-3:30pm | Jane Adams | Systemic Challenges of Visualization Software Engineering in Genetics Research. Slides |
3:35-3:50pm | Max Bernstein | Intro to ML compilers |
3:55-4:10pm | Andrew Walter | Witness-Generating Data Types |
4:15-4:55pm | Faculty Panel: Software Research, Moderator: Michelle Thalakottur |