Download video

[PLDI'23] Type-Checking CRDT Convergence

47 views

ACM SIGPLAN

6 months ago

[PLDI'23] Type-Checking CRDT Convergence

[PLDI'23] Type-Checking CRDT Convergence

[PLDI'23] Type-Checking CRDT Convergence
16:28
[PLDI'23] Type-Checking CRDT Convergence
by ACM SIGPLAN
[PLDI'23] Covering All the Bases: Type-Based Verification of Test Input Generators
18:32
[PLDI'23] Covering All the Bases: Type-Based Verification of Test Input Generators
by ACM SIGPLAN
[PLDI'23] Verified Density Compilation for a Probabilistic Programming Language
20:07
[PLDI'23] Verified Density Compilation for a Probabilistic Programming Language
by ACM SIGPLAN
[PLDI'23] Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation(…)
16:22
[PLDI'23] Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation(…)
by ACM SIGPLAN
[DLS23] Is Polyglot Programming Really a Thing?
30:14
[DLS23] Is Polyglot Programming Really a Thing?
by ACM SIGPLAN
[ICFP'23] Formal Specification and Testing for Reinforcement Learning
28:58
[ICFP'23] Formal Specification and Testing for Reinforcement Learning
by ACM SIGPLAN
[PLDI24] Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in(…)
22:07
[PLDI24] Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in(…)
by ACM SIGPLAN
(22\/23) Panel 3 – What needs to happen before full technical deployment of the DPP system? | CIRP
27:05
(22\/23) Panel 3 – What needs to happen before full technical deployment of the DPP system? | CIRP
by CIRPASS-2
[PLDI'23] Cakes That Bake Cakes: Dynamic Computation in CakeML
23:30
[PLDI'23] Cakes That Bake Cakes: Dynamic Computation in CakeML
by ACM SIGPLAN
C++23 Ranges: Conceptual Changes and Useful Practicalities - Dvir Yitzchaki - ACCU 2023
1:25:19
C++23 Ranges: Conceptual Changes and Useful Practicalities - Dvir Yitzchaki - ACCU 2023
by ACCU Conference
[CPP'24] PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagr...
31:13
[CPP'24] PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagr...
by ACM SIGPLAN
[OOPSLA23] Live Pattern Matching with Typed Holes
18:59
[OOPSLA23] Live Pattern Matching with Typed Holes
by ACM SIGPLAN
[PLDI'23] Register Tiling for Unstructured Sparsity in Neural Network Inference
15:51
[PLDI'23] Register Tiling for Unstructured Sparsity in Neural Network Inference
by ACM SIGPLAN
[PLDI'23] Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning
19:50
[PLDI'23] Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning
by ACM SIGPLAN
[SLE23] A reference GLL implementation
29:52
[SLE23] A reference GLL implementation
by ACM SIGPLAN
[PLDI'23] Modular Control Plane Verification via Temporal Invariants
20:50
[PLDI'23] Modular Control Plane Verification via Temporal Invariants
by ACM SIGPLAN
[PLDI'23] cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA(…)
22:31
[PLDI'23] cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA(…)
by ACM SIGPLAN
[PLDI'23] CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract(…)
21:12
[PLDI'23] CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract(…)
by ACM SIGPLAN
RunTime-Assisted Convergence in Replicated Data Types
18:18
RunTime-Assisted Convergence in Replicated Data Types
by ACM SIGPLAN
[PLDI'23] Parameterized Algebraic Protocols
20:15
[PLDI'23] Parameterized Algebraic Protocols
by ACM SIGPLAN
[PLF23] Mixed \& Verified Consistency with Propel and ConOpY
17:16
[PLF23] Mixed \& Verified Consistency with Propel and ConOpY
by ACM SIGPLAN
[PLDI'23] Memento: A Framework for Detectable Recoverability in Persistent Memory
19:18
[PLDI'23] Memento: A Framework for Detectable Recoverability in Persistent Memory
by ACM SIGPLAN