[POPL'24] Turing Lecture (Jan 16th)
Комментарии отсутствуют
Информация о видео
Другие видео канала
TyDe 2021 - Interactive Haskell Type Inference Exploration (Extended Abstract)![[OCaml'22] Efficient “out of heap” pointers for multicore OCaml](https://i.ytimg.com/vi/eIQf1bRl8_k/default.jpg)
[OCaml'22] Efficient “out of heap” pointers for multicore OCaml![[PriSC'22] Composing Secure Compilers](https://i.ytimg.com/vi/OtR_6Paehms/default.jpg)
[PriSC'22] Composing Secure Compilers
Warping Cache Simulation of Polyhedral Programs![[SLE] Property-Based Testing: Climbing the Stairway to Verification](https://i.ytimg.com/vi/QGOnUm5HBmo/default.jpg)
[SLE] Property-Based Testing: Climbing the Stairway to Verification![[ML'22] Efficient and Scalable Parallel Functional Programming Through Disentanglement](https://i.ytimg.com/vi/IMPF-Vz1YqI/default.jpg)
[ML'22] Efficient and Scalable Parallel Functional Programming Through Disentanglement![[CPP'23] CompCert: a journey through the landscape of mechanized semantics for verified co...](https://i.ytimg.com/vi/9KhagyiGQ_A/default.jpg)
[CPP'23] CompCert: a journey through the landscape of mechanized semantics for verified co...
Low-Latency, High-Throughput Garbage Collection
DISTAL: The Distributed Tensor Algebra Compiler
IRDL: An IR Definition Language for SSA Compilers
Efficient Compilation of Algebraic Effect Handlers![[ICFP'22] Safe Couplings: Coupled Refinement Types](https://i.ytimg.com/vi/4LV8a8cz_w0/default.jpg)
[ICFP'22] Safe Couplings: Coupled Refinement Types
WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration![[ICFP'22] Beyond Relooper: Recursive Translation of Unstructured Control Flow to Structu…](https://i.ytimg.com/vi/qAeEWKr9wfU/default.jpg)
[ICFP'22] Beyond Relooper: Recursive Translation of Unstructured Control Flow to Structu…
Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic
Interval Universal Approximation for Neural Networks (Teaser)![[POPL'22] Layered and Object-Based Game Semantics](https://i.ytimg.com/vi/OK2RnP2hL6g/default.jpg)
[POPL'22] Layered and Object-Based Game Semantics![[POPL'22] Verified Tensor-Program Optimization Via High-Level Scheduling Rewrites](https://i.ytimg.com/vi/f2NEU1ENt6A/default.jpg)
[POPL'22] Verified Tensor-Program Optimization Via High-Level Scheduling Rewrites![[VMCAI'22] Making PROGRESS in Property Directed Reachability](https://i.ytimg.com/vi/IexW7nvkwwM/default.jpg)
[VMCAI'22] Making PROGRESS in Property Directed Reachability
Principles and Patterns of JastAdd-Style Reference Attribute Grammars
Natural Language-Guided Programming