RAJEEVFEST — PROGRAM
Days: Friday, 24 July 2026
Friday, 24 July 2026
09:00-10:10
Morning 1
RajeevFest
Location:
C2.01
| 09:00-09:10 |
Welcome and Opening Remarks (abstract) 10 min
1 UCSD
|
| 09:10-09:40 |
Advising Rajeev (abstract) 30 min
1 Stanford
|
| 09:40-10:10 |
Stateful Thinking (abstract) 30 min
1 IST
|
10:10-10:40
Coffee Break
RajeevFest
Location:
C2.01
10:40-12:10
Morning 2
RajeevFest
Location:
C2.01
| 10:40-11:10 |
A Trajectory in Verification: Foundations with Rajeev and the Shift to Practice (abstract) 30 min
1 Universita' di Salerno
|
| 11:10-11:40 |
If Practice Won't Come to Theory, Then Theory Must Go to Practice: How to Analyze and Optimize Shell Scripts (abstract) 30 min
1 UCLA
|
12:10-14:00
Lunch
RajeevFest
Location:
C2.01
14:00-15:00
Afternoon 1
RajeevFest
Location:
C2.01
| 14:00-14:30 |
ExCAPE and the Coming of Age of Program Synthesis (abstract) 30 min
1 MIT
|
| 14:30-15:00 |
VPLs and other Research at Rajeev's Group in the Early 2000s (abstract) 30 min
1 UIUC
|
15:00-15:30
Coffee Break
RajeevFest
Location:
C2.01
15:30-17:00
Afternoon 2
RajeevFest
Location:
C2.01
| 15:30-16:00 |
From Verification to Analysis (abstract) 30 min
1 Rice
|
| 16:00-16:50 |
Rajeev Alur: Reflections and Conversation (abstract) 50 min
1 UTAustin+DeepMind
|
| 16:50-17:00 |
Closing Remarks (abstract) 10 min
1 UCSD
|