This workshop celebrates the contributions of Rajeev Alur (on the occasion of his 60th birthday) to the theory and applications of logic in computer science, computer-aided verification, and the foundations of computer science. In addition to celebrating his momentous achievements, this workshop will also honor Rajeev’s personal engagement with and service to the FLoC and broader computer science communities. We hope to see many of you there!
Confirmed Speakers
David Dill
Stanford University
Thomas Henzinger
Institute of Science and Technology Austria (ISTA)
Konstantinos Kallas
UCLA
Salvatore La Torre
Università degli Studi di Salerno
Orna Kupferman
Hebrew University of Jerusalem
Madhusudan Parthasarathy
University of Illinois Urbana-Champaign
Armando Solar-Lezama
MIT CSAIL
Moshe Vardi
Rice University
Tentative Schedule
| 09:00–09:10 | Welcome and Opening Remarks |
| 09:10–09:40 | David Dill — Advising Rajeev |
| 09:40–10:10 | Thomas A. Henzinger — Stateful Thinking |
| 10:10–10:40 | Coffee Break |
| 10:40–11:10 | Orna Kupferman — Alurtarnation in Temporal Logic |
| 11:10–11:40 | Salvatore La Torre — A Trajectory in Verification: Foundations with Rajeev and the Shift to Practice |
| 11:40–12:10 | Konstantinos Kallas — If Practice Won't Come to Theory, Then Theory Must Go to Practice: How to Analyze and Optimize Shell Scripts |
| 12:10–14:00 | Lunch Break |
| 14:00–14:30 | Armando Solar-Lezama — ExCAPE and the Coming of Age of Program Synthesis |
| 14:30–15:00 | Madhusudan Parthasarathy — VPLs and other Research at Rajeev's Group in the Early 2000s |
| 15:00–15:30 | Coffee Break |
| 15:30–16:00 | Moshe Vardi — From Verification to Analysis |
| 16:00–16:50 |
Rajeev Alur: Reflections and Conversation Moderated discussion with Rajeev and invited panelists on the evolution of verification, mentorship, and future research directions. |
| 16:50–17:00 | Closing Remarks |
Sponsors
MathWorks
Organizational Details
Contact information of organizers:
Loris D’Antoni (ldantoni@ucsd.edu)
Swarat Chaudhuri (swarat@cs.utexas.edu)