PoP Seminar Series

Date Speaker Title
2024/05/20 Joël Ouaknine The Skolem Landscape
2024/04/18 Jesse Michel Distributions for Compositionally Differentiating Parametric Discontinuities
2024/04/12 Adam Chlipala First-Principles Formal Verification of Cryptographic Systems
2024/03/19 Ohad Kammar Type-driven foundations for statistical modelling
2024/02/01 Wonyeol Lee Bridging the Theory and Practice of Continuous Computations
2023/11/10 Andrew Miner RexBDDs: Reduction on Edge, Complement, and Swap Binary Decision Diagrams
2023/11/02 Stefan Muller Static prediction of parallel computation graph
2023/10/25 Charles Yuan Building the Tools to Program a Quantum Computer
2023/10/05 Stephen Brookes A denotational framework for relaxed memory concurrent programs
2023/09/28 Joshua Gancher Owl: Compositional Verification of Security Protocols via an Information-Flow Type System
2023/09/26 Stephanie Balzer Types for Verifying Concurrent Programs
2023/09/08 Steffan Sølvsten I/O-Efficient Algorithms and Data Structures
2023/09/08 Emanuele D'Osualdo Proving Hypersafety Compositionally
2023/06/22 Daniel Kroening Automated Reasoning at Amazon
2023/06/14 Jules Jacobs Higher-Order Leak and Deadlock Free Locks
2023/06/08 Georg Moser Automated Expected Cost Analysis of Splaying et al.
2023/05/18 Hazem Torfah Synthesizing Pareto-Optimal Interpretations for Black-Box Models
2023/04/18 Ron Minsky Making OCaml Safe for Performance Engineering
2023/02/22 Ugo Dal Lago From Equivalences to Metrics, Effectfully
2023/01/30 Chaitanya Koparkar The Gibbon Compiler: Efficient data representation and program correctness, pick two
2022/12/08 Kristin Yvonne Rozier From Design Time To Run Time: Formal Methods for Ensuring the Safetyof Safety-Critical Aerospace Systems
2022/11/28 Bas van den Heuvel A Propositions-as-Sessions Interpretation of Bunched Implications
2022/11/10 Michael J. Sullivan Replacing SQL and Improving on the Relational Database Model
2022/11/04 Michael Sammler DimSum: A Decentralized Approach to Multi-language Semantics and Verification
2022/10/25 Luis Caires Concurrent Programming with Sessions and Shared State, in Linear Logic