15:29[PADL'25] Logic Programming with Extensible Types (Lightning talk)ACM SIGPLAN26 viewsView & Download
1:31ASPLOS'24 - Lightning Talks - Session 4D - Kaleidoscope: Precise Invariant Guided Pointer AnalysisACM SIGARCH65 viewsView & Download
1:34ASPLOS'24 - Lightning Talks - Session 2D - Proteus: A High Throughput Inference Serving System withACM SIGARCH136 viewsView & Download
1:30ASPLOS'24 - Lightning Talks - Session 3B - Enforcing C C++ Type and Scope at Runtime for Control FloACM SIGARCH59 viewsView & Download
1:35ASPLOS'24 - Lightning Talks - Session 2D - SpotServe: Serving Generative Large Language Models on PrACM SIGARCH260 viewsView & Download
1:19ASPLOS'24 - Lightning Talks - Session 7B - Hydride: A Retargetable and Extensible Synthesis based CoACM SIGARCH77 viewsView & Download
1:21ASPLOS'24 - Lightning Talks - Session 6A - Greybox Fuzzing for Concurrency TestingACM SIGARCH155 viewsView & Download
1:31ASPLOS'24 - Lightning Talks - Session 5A - C4CAM: A Compiler for CAM based In memory AcceleratorsACM SIGARCH81 viewsView & Download
1:27ASPLOS'24 - Lightning Talks - Session 3B - Lightweight Fault Isolation: Practical, Efficient, and SeACM SIGARCH124 viewsView & Download
1:30ASPLOS'24 - Lightning Talks - Session 10C - Optimizing Dynamic Shape Neural Networks on AcceleratorsACM SIGARCH126 viewsView & Download
1:31ASPLOS'24 - Lightning Talks - Session 3A - Amanda: Unified Instrumentation Framework for Deep NeuralACM SIGARCH78 viewsView & Download
1:21ASPLOS'24 - Lightning Talks - Session 1A - Explainable Port Mapping Inference with Sparse PerformancACM SIGARCH447 viewsView & Download
1:29ASPLOS'24 - Lightning Talks - Session 5A - Merlin: Multi tier Optimization of eBPF Code for PerformaACM SIGARCH77 viewsView & Download
5:07Lightning Talk: How Fast Isn’t You Constexpr? - Hossein GhahramanzadehAnigh - CppCon 2025CppCon3.1K viewsView & Download
1:37ASPLOS'24 - Lightning Talks - Session 7B - RTL Repair: Fast Symbolic Repair of Hardware Design CodeACM SIGARCH72 viewsView & Download
1:30ASPLOS'24 - Lightning Talks - Session 6B - SpecPIM: Accelerating Speculative Inference on PIM EnableACM SIGARCH191 viewsView & Download
1:27ASPLOS'24 - Lightning Talks - Session 5D - Codesign of quantum error correcting codes and modular chACM SIGARCH81 viewsView & Download
1:22ASPLOS'24 - Lightning Talks - Session 9A - Manticore: Hardware Accelerated RTL Simulation with StatiACM SIGARCH73 viewsView & Download
![[PADL'25] Logic Programming with Extensible Types (Lightning talk) — ACM SIGPLAN — padl25 logic programming with extensible types lightning talk YouTube to MP3 & MP4 download on TubeGalore](/api/image/fyMGp8swKb4/mqdefault)
![[Haskell24] Lightning Talks I — ACM SIGPLAN — padl25 logic programming with extensible types lightning talk YouTube to MP3 & MP4 download on TubeGalore](/api/image/o26TDvRnNTI/mqdefault)
