Olivier Savary Bélanger - PLDI 2024

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Registered user since Tue 18 Aug 2020

Name:Olivier Savary Bélanger

Country:United States

Affiliation:Galois, Inc.

Personal website: https://galois.com/team/olivier-savary-belanger/

Contributions

2024

PLDI

KATch: A Fast Symbolic Verifier for NetKAT

Show activities from other conferences

PLDI 2024-profile
View general profile