|
VSOW03 |
Monday 10th May |
16:00 to 16:30 |
Tony Hoare |
VSI: A Personal History of its Early Origins |
|
VSOW03 |
Monday 10th May |
16:30 to 17:00 |
Maurice Herlihy |
Verifying Smart Contracts |
|
VSOW03 |
Monday 10th May |
17:30 to 18:00 |
Anca Muscholl |
Learning Sound Negotiations |
|
VSOW03 |
Monday 10th May |
18:00 to 18:30 |
Ahmed Bouajjani |
Verification of Concurrent Programs under Persistent Weak Memory Models |
|
VSOW03 |
Monday 10th May |
18:30 to 19:00 |
Rupak Majumdar |
Random Testing and Formal Methods |
|
VSOW03 |
Tuesday 11th May |
15:30 to 16:00 |
Ilya Sergey |
Practical Smart Contract Sharding with Ownership and Commutativity Analysis |
|
VSOW03 |
Tuesday 11th May |
16:00 to 16:30 |
Lars Birkedal |
Program Verification on a Capability Machine in the Presence of Untrusted Code |
|
ARA |
Tuesday 11th May |
16:15 to 17:15 |
Michal P. Heller |
Resurgence in Relativistic Hydrodynamics: Bjorken Flow Results |
|
VSOW03 |
Tuesday 11th May |
16:30 to 17:00 |
Amal Ahmed |
Verifying Soundness of Foreign-Function Interfaces |
|
VSOW03 |
Tuesday 11th May |
17:30 to 18:00 |
Viktor Vafeiadis |
Making Stateless Model Checking Stateless Again |
|
VSOW03 |
Tuesday 11th May |
18:00 to 18:30 |
Aarti Gupta |
Interpretation of Distributed Network Control Planes |
|
VSOW03 |
Tuesday 11th May |
18:30 to 19:00 |
Alexandra Silva |
Prognosis: Black-Box Analysis of Network Protocol Implementations |
|
VSOW03 |
Wednesday 12th May |
15:30 to 16:00 |
Véronique Cortier |
Formal Verification of Security Protocols - The Example of Electronic Voting |
|
VSOW03 |
Wednesday 12th May |
16:00 to 16:30 |
Karthikeyan Bhargavan |
Putting Verified Crypto into Your Web Browser |
|
VSOW03 |
Wednesday 12th May |
16:30 to 17:00 |
Justin Hsu |
Data-Driven Invariant Learning for Probabilistic Programs |
|
VSOW03 |
Wednesday 12th May |
17:30 to 18:00 |
Zachary Kincaid |
Robust Program Analysis |
|
VSOW03 |
Wednesday 12th May |
18:00 to 18:30 |
Jean-Francois Raskin |
Monte Carlo Tree Search Guided by Symbolic Advice for MDPs |
|
VSOW03 |
Wednesday 12th May |
18:30 to 19:00 |
Javier Esparza |
Verifying Almost-Sure Termination of Replicated Systems |
|
VSOW03 |
Thursday 13th May |
15:30 to 16:00 |
Hongseok Yang |
Towards Verified Stochastic Variational Inference for Probabilistic Programs |
|
ARA |
Thursday 13th May |
16:00 to 17:00 |
Benjamin Withers |
From quasinormal modes to constitutive relations |
|
VSOW03 |
Thursday 13th May |
16:00 to 16:30 |
Marta Zofia Kwiatkowska |
Probabilistic Model Checking for the Data-Rich World |
|
VSOW03 |
Thursday 13th May |
16:30 to 17:00 |
Martin Vechev |
TBA |
|
VSOW03 |
Thursday 13th May |
17:30 to 18:00 |
Adam Chlipala |
Fiat Cryptography: A Code-Generation Approach to Correct-by-Construction Cryptography |
|
VSOW03 |
Thursday 13th May |
18:00 to 18:30 |
Jade Alglave |
TBA |
|
VSOW03 |
Thursday 13th May |
18:30 to 19:00 |
Annabelle McIver |
How to change a Government's mind |
|
VSOW03 |
Friday 14th May |
15:30 to 16:00 |
Thomas Henzinger |
Quantitative and Approximate Monitoring |
|
VSOW03 |
Friday 14th May |
16:00 to 16:30 |
Sanjit Seshia |
TBA |
|
VSOW03 |
Friday 14th May |
16:30 to 17:00 |
Pavithra Prabhakar |
Abstractions for Scalable Verification of AI-Controlled Cyber-Physical Systems (CPS) |
|
VSOW03 |
Friday 14th May |
17:00 to 17:30 |
|
Break |
|
VSOW03 |
Friday 14th May |
17:30 to 18:00 |
Madhusudan Parthasarathy |
Automating Logic Reasoning for Building Verified Software |
|
VSOW03 |
Friday 14th May |
18:00 to 18:30 |
Rajeev Alur |
Formal Verification for Safe Autonomy |
