18:26
[GALOP'24] MELL proof-nets without boxes: thirty years later
12 views • 6 hours ago
23:43
[GALOP'24] Operational game semantics for generative algebraic effects and handlers
19 views • 6 hours ago
25:34
[GALOP'24] Game-enriched categories
11 views • 6 hours ago
21:11
[GALOP'24] Operational Algorithmic Game Semantics
2 views • 6 hours ago
24:27
[GALOP'24] Fair omega-Regular Games
3 views • 6 hours ago
22:46
[GALOP'24] A Denotational Approach to Release/Acquire Concurrency
12 views • 6 hours ago
45:26
[GALOP'24] On Interaction, Efficiency, and Reversibility
8 views • 6 hours ago
18:26
[GALOP'24] SSA is Freyd Categories
7 views • 6 hours ago
22:17
[GALOP'24] Normal Form Bisimulations by Value
6 views • 6 hours ago
22:31
[GALOP'24] Invisible pebbles and the geometry of affine higher-order tree transducers
6 views • 6 hours ago
49:02
[GALOP'24] Compositional Development of Certified System Software
8 views • 6 hours ago
18:22
[GALOP'24] Taylor Expansion is Game Semantics
6 views • 6 hours ago
20:34
[GALOP'24] An abstract, certified account of Operational Game Semantics
6 views • 6 hours ago
22:51
[GALOP'24] Fully Abstract Normal Form Bisimulation for Call-by-Value PCF
4 views • 6 hours ago
17:09
[PLDI'23] Synthesizing MILP Constraints for Efficient and Robust Optimization
86 views • 1 month ago
18:34
[PLDI'23] Mosaic: An Interoperable Compiler for Tensor Algebra
154 views • 1 month ago
19:09
[PLDI'23] CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
44 views • 1 month ago
18:32
[PLDI'23] Covering All the Bases: Type-Based Verification of Test Input Generators
47 views • 1 month ago
18:28
[PLDI'23] An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
55 views • 1 month ago
16:49
[PLDI'23] WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for(…)
89 views • 1 month ago
19:13
[PLDI'23] Merging Inductive Relations
77 views • 1 month ago
16:49
[PLDI'23] PureCake: A Verified Compiler for a Lazy Functional Language
184 views • 1 month ago
16:08
[PLDI'23] Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
44 views • 1 month ago
23:30
[PLDI'23] Cakes That Bake Cakes: Dynamic Computation in CakeML
57 views • 1 month ago
20:15
[PLDI'23] Parameterized Algebraic Protocols
39 views • 1 month ago
20:56
[PLDI'23] Leveraging Rust Types for Program Synthesis
86 views • 1 month ago
18:22
[PLDI'23] Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
50 views • 1 month ago
19:31
[PLDI'23] Flux: Liquid Types for Rust
120 views • 1 month ago
19:18
[PLDI'23] Extensible Metatheory Mechanization via Family Polymorphism
31 views • 1 month ago
18:29
[PLDI'23] Psym: Efficient Symbolic Exploration of Distributed Systems
28 views • 1 month ago
Load More