32:01 [CPP'24] A mechanised and constructive reverse analysis of soundness and completeness of b... ACM SIGPLAN
23:24 [CPP'24] The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography ACM SIGPLAN
32:11 [CPP'24] Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local ... ACM SIGPLAN
30:39 [CPP'24] Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs ACM SIGPLAN
32:33 [CPP'24] Strictly Monotone Brouwer Trees for Well Founded Recursion Over Multiple Argument... ACM SIGPLAN
26:45 [CPP'24] Compositional Verification of Concurrent C Programs with Search Structure Templat... ACM SIGPLAN
27:25 [CPP'24] Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separatio... ACM SIGPLAN
27:56 [CPP'24] Lean Formalization of Extended Regular Expression Matching with Lookarounds ACM SIGPLAN
31:13 [CPP'24] PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagr... ACM SIGPLAN
