ACM SIGPLAN
8.2K subscribers
56:08
[Incorrectness'24] My Journey to the Dark Side: Under-Approximation, Incorrectness, Proof
ACM SIGPLAN
161 views • 8 days ago
31:22
[Incorrectness'24] A Comparison of Program Logics for (In)Correctness
ACM SIGPLAN
89 views • 8 days ago
19:05
[Incorrectness'24] Quantitative Weakest Hyper Pre
ACM SIGPLAN
13 views • 8 days ago
19:20
[Incorrectness'24] The Never-Ending Trace: An Under-Approximate Approach to Divergence Bug...
ACM SIGPLAN
28 views • 8 days ago
23:49
[Incorrectness'24] Work in Progress: Modelling Incorrect Programs in the Open World with D...
ACM SIGPLAN
22 views • 8 days ago
23:03
[Incorrectness'24] Unified Compositional Formal Methods: Exact Separation Logic and the Gi...
ACM SIGPLAN
43 views • 8 days ago
22:38
[Incorrectness'24] Hoare-Like Triples and Kleene Algebras with Top and Tests
ACM SIGPLAN
23 views • 8 days ago
22:45
[Incorrectness'24] A Reachability Logic for a Weak Memory Model with Promises
ACM SIGPLAN
19 views • 8 days ago
22:17
[Incorrectness'24] Towards Temporal Adversarial Logic
ACM SIGPLAN
40 views • 8 days ago
22:52
[Incorrectness'24] Finding counterexamples to ∀∃ hyperproperties
ACM SIGPLAN
76 views • 8 days ago
17:58
[Incorrectness'24] Type-Based Incorrectness Reasoning
ACM SIGPLAN
92 views • 8 days ago
22:48
[Incorrectness'24] Ill-Typed Programs Don't Evaluate
ACM SIGPLAN
39 views • 8 days ago
22:09
[CoqPL'24] InducTeX: A MetaCoq plugin for typesetting inductive definitions
ACM SIGPLAN
28 views • 8 days ago
20:50
[CoqPL'24] Functorial Syntax for All
ACM SIGPLAN
32 views • 8 days ago
16:02
[CoqPL'24] Specifying Smart Contract with Hax and ConCert
ACM SIGPLAN
16 views • 8 days ago
26:27
[CoqPL'24] A formal security analysis of Blockchain voting
ACM SIGPLAN
20 views • 8 days ago
22:02
[CoqPL'24] VsCoq 2, new foundations
ACM SIGPLAN
34 views • 8 days ago
20:45
[CoqPL'24] Integrating Dependency Building with Document Checking in Coq
ACM SIGPLAN
7 views • 8 days ago
25:26
[CoqPL'24] CertiCoq-Wasm: Verified compilation from Coq to WebAssembly
ACM SIGPLAN
26 views • 8 days ago
1:02:19
[CoqPL'24] Melocoton: A Program Logic for Verified Interoperability Between OCaml and C (I...
ACM SIGPLAN
17 views • 8 days ago
22:10
[CoqPL'24] A diagram editor to mechanize categorical proofs
ACM SIGPLAN
43 views • 8 days ago
21:03
[CoqPL'24] Well-founded recursion done right
ACM SIGPLAN
33 views • 8 days ago
1:25:27
[CoqPL'24] Session with the Coq Development Team
ACM SIGPLAN
83 views • 8 days ago
18:26
[GALOP'24] MELL proof-nets without boxes: thirty years later
ACM SIGPLAN
46 views • 9 days ago
23:43
[GALOP'24] Operational game semantics for generative algebraic effects and handlers
ACM SIGPLAN
54 views • 9 days ago
25:34
[GALOP'24] Game-enriched categories
ACM SIGPLAN
36 views • 9 days ago
21:11
[GALOP'24] Operational Algorithmic Game Semantics
ACM SIGPLAN
17 views • 9 days ago
24:27
[GALOP'24] Fair omega-Regular Games
ACM SIGPLAN
9 views • 9 days ago
22:46
[GALOP'24] A Denotational Approach to Release/Acquire Concurrency
ACM SIGPLAN
37 views • 9 days ago
45:26
[GALOP'24] On Interaction, Efficiency, and Reversibility
ACM SIGPLAN
18 views • 9 days ago
Load More