|
VSOW03 |
10th May 2021
16:00 to 16:30 |
Tony Hoare |
VSI: A Personal History of its Early Origins |
|
VSOW03 |
10th May 2021
16:30 to 17:00 |
Maurice Herlihy |
Verifying Smart Contracts |
|
VSOW03 |
10th May 2021
17:30 to 18:00 |
Anca Muscholl |
Learning Sound Negotiations |
|
VSOW03 |
10th May 2021
18:00 to 18:30 |
Ahmed Bouajjani |
Verification of Concurrent Programs under Persistent Weak Memory Models |
|
VSOW03 |
10th May 2021
18:30 to 19:00 |
Rupak Majumdar |
Random Testing and Formal Methods |
|
VSOW03 |
11th May 2021
15:30 to 16:00 |
Ilya Sergey |
Practical Smart Contract Sharding with Ownership and Commutativity Analysis |
|
VSOW03 |
11th May 2021
16:00 to 16:30 |
Lars Birkedal |
Program Verification on a Capability Machine in the Presence of Untrusted Code |
|
ARA |
11th May 2021
16:15 to 17:15 |
Michal P. Heller |
Resurgence in Relativistic Hydrodynamics: Bjorken Flow Results |
|
VSOW03 |
11th May 2021
16:30 to 17:00 |
Amal Ahmed |
Verifying Soundness of Foreign-Function Interfaces |
|
VSOW03 |
11th May 2021
17:30 to 18:00 |
Viktor Vafeiadis |
Making Stateless Model Checking Stateless Again |
|
VSOW03 |
11th May 2021
18:00 to 18:30 |
Aarti Gupta |
Interpretation of Distributed Network Control Planes |
|
VSOW03 |
11th May 2021
18:30 to 19:00 |
Alexandra Silva |
Prognosis: Black-Box Analysis of Network Protocol Implementations |
|
VSOW03 |
12th May 2021
15:30 to 16:00 |
Véronique Cortier |
Formal Verification of Security Protocols - The Example of Electronic Voting |
|
VSOW03 |
12th May 2021
16:00 to 16:30 |
Karthikeyan Bhargavan |
Putting Verified Crypto into Your Web Browser |
|
VSOW03 |
12th May 2021
16:30 to 17:00 |
Justin Hsu |
Data-Driven Invariant Learning for Probabilistic Programs |
|
VSOW03 |
12th May 2021
17:30 to 18:00 |
Zachary Kincaid |
Robust Program Analysis |
|
VSOW03 |
12th May 2021
18:00 to 18:30 |
Jean-Francois Raskin |
Monte Carlo Tree Search Guided by Symbolic Advice for MDPs |
|
VSOW03 |
12th May 2021
18:30 to 19:00 |
Javier Esparza |
Verifying Almost-Sure Termination of Replicated Systems |
|
VSOW03 |
13th May 2021
15:30 to 16:00 |
Hongseok Yang |
Towards Verified Stochastic Variational Inference for Probabilistic Programs |
|
ARA |
13th May 2021
16:00 to 17:00 |
Benjamin Withers |
From quasinormal modes to constitutive relations |
