Media Summary: Abstract: In this talk I will introduce a Formal reasoning about hashing-based probabilistic data structures often requires reasoning about random variables where ... Title: PSI : a Private data Sharing Interface Speaker: Dr
Marco Gaboardi Programming And Verification - Detailed Analysis & Overview
Abstract: In this talk I will introduce a Formal reasoning about hashing-based probabilistic data structures often requires reasoning about random variables where ... Title: PSI : a Private data Sharing Interface Speaker: Dr This video is about OpenDP Community Meeting 2020 - 04 A Separation Logic for Negative Dependence Jialu Bao, [POPL'23] HFL(Z) Validity Checking for Automated
[SIGPLAN PLDI'25] Probabilistic Refinement Session Types (Video, PLDI 2026) Qiancheng Fu, Ankush Das, and
![[GUEST] Marco Gaboardi: A Separation Logic for Negative Dependence](https://i.ytimg.com/vi/AO-xlFRCPUE/mqdefault.jpg)
![[CoqPL'23] Verified Differential Privacy for Finite Computers](https://i.ytimg.com/vi/9dCJVP4PrZw/mqdefault.jpg)
![[ICFP'23] ICFP 2024 announcement](https://i.ytimg.com/vi/Q-MA1qsy6cc/mqdefault.jpg)
![[POPL'22] A Separation Logic for Negative Dependence](https://i.ytimg.com/vi/eRhBZuIAQY4/mqdefault.jpg)
![[POPL'23] HFL(Z) Validity Checking for Automated Program Verification](https://i.ytimg.com/vi/aRBLGZ7_iXQ/mqdefault.jpg)
![[PLDI'26] [SIGPLAN PLDI’25] Probabilistic Refinement Session Types](https://i.ytimg.com/vi/P89jdN2tfWc/mqdefault.jpg)