17:09
[PLDI'23] Synthesizing MILP Constraints for Efficient and Robust Optimization
59 views • 3 weeks ago
18:34
[PLDI'23] Mosaic: An Interoperable Compiler for Tensor Algebra
125 views • 3 weeks ago
19:09
[PLDI'23] CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
32 views • 3 weeks ago
18:32
[PLDI'23] Covering All the Bases: Type-Based Verification of Test Input Generators
39 views • 3 weeks ago
18:28
[PLDI'23] An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
47 views • 3 weeks ago
16:49
[PLDI'23] WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for(…)
81 views • 3 weeks ago
19:13
[PLDI'23] Merging Inductive Relations
62 views • 3 weeks ago
16:49
[PLDI'23] PureCake: A Verified Compiler for a Lazy Functional Language
167 views • 3 weeks ago
16:08
[PLDI'23] Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
33 views • 3 weeks ago
23:30
[PLDI'23] Cakes That Bake Cakes: Dynamic Computation in CakeML
44 views • 3 weeks ago
20:15
[PLDI'23] Parameterized Algebraic Protocols
31 views • 3 weeks ago
20:56
[PLDI'23] Leveraging Rust Types for Program Synthesis
66 views • 3 weeks ago
18:22
[PLDI'23] Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
43 views • 3 weeks ago
19:31
[PLDI'23] Flux: Liquid Types for Rust
97 views • 3 weeks ago
19:18
[PLDI'23] Extensible Metatheory Mechanization via Family Polymorphism
27 views • 3 weeks ago
18:29
[PLDI'23] Psym: Efficient Symbolic Exploration of Distributed Systems
16 views • 3 weeks ago
20:24
[PLDI'23] Proving and Disproving Equivalence of Functional Programming Assignments
18 views • 3 weeks ago
18:30
[PLDI'23] Mostly Automated Proof Repair for Verified Libraries
18 views • 3 weeks ago
20:50
[PLDI'23] Modular Control Plane Verification via Temporal Invariants
3 views • 3 weeks ago
18:53
[PLDI'23] Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations
15 views • 3 weeks ago
19:40
[PLDI'23] Fair Operational Semantics
27 views • 3 weeks ago
19:57
[PLDI'23] Trace-Guided Inductive Synthesis of Recursive Functional Programs
17 views • 3 weeks ago
19:06
[PLDI'23] One Pixel Adversarial Attacks via Sketched Programs
13 views • 3 weeks ago
17:14
[PLDI'23] Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
28 views • 3 weeks ago
20:28
[PLDI'23] ImageEye: Batch Image Processing using Program Synthesis
12 views • 3 weeks ago
21:48
[PLDI'23] Conflict-Driven Synthesis for Layout Engines
22 views • 3 weeks ago
20:29
[PLDI'23] Absynthe: Abstract Interpretation-Guided Synthesis
18 views • 3 weeks ago
19:40
[PLDI'23] Taype: A Policy-Agnostic Language for Oblivious Computation
3 views • 3 weeks ago
14:13
[PLDI'23] Obtaining Information Leakage Bounds via Approximate Model Counting
13 views • 3 weeks ago
20:00
[PLDI'23] Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation
2 views • 3 weeks ago
Load More