19:03 Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic ACM SIGPLAN
15:55 Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations ACM SIGPLAN
16:08 FreeTensor: A Free-form DSL with Holistic Optimizations for Irregular Tensor Programs ACM SIGPLAN
17:27 All you need is Superword-Level Parallelism: Systematic Control-Flow Vectorization with SLP ACM SIGPLAN
51:49 Imposter Syndrome, Stupid Questions, and Eight (+/-2) Problems I Need your Help With ACM SIGPLAN
17:13 Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters ACM SIGPLAN
18:43 RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code ACM SIGPLAN
19:18 WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration ACM SIGPLAN
