Все публикации

0:18:11

[PLDI24] Compilation of Modular and General Sparse Workspaces

0:19:39

[PLDI24] Descend: A Safe GPU Systems Programming Language

1:06:20

[ISMM24] Keynote: Memory of Past and Future – Wasm’s Evolving Model of Store

0:33:41

[PODELSKI] Find, Use, and Conserve Tools for Formal Methods

0:22:01

[SOAP24] Interactive Source-to-Source Optimizations Validated using Static Resource Analysis

0:35:29

[PODELSKI] On the Power of Temporal Prophecy

0:38:27

[PLMW@PLDI24] How to read a PL-security paper

0:19:39

[ISMM24] BatchIt: Optimizing Message-Passing Allocators for Producer-Consumer Workloads

0:17:05

[SOAP24] A Better Approximation for Interleaved Dyck Reachability

0:22:23

[EGRAPHS24] Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs

0:31:02

[PLMW@PLDI24] Letting users do the undecidable: lessons from program synthesis

0:19:06

[SOAP24] Static Analysis for CHERI

0:16:46

[ISMM24] SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures

0:24:48

[EGRAPHS24] EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction

0:18:00

[SOAP24] ValBench: Benchmarking exact value analysis

0:23:28

[EGRAPHS24] superVer: Verifying Probabilistic Independence of Systems of Expressions using(…)

0:24:14

[SOAP24] When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly

0:36:49

[PLMW@PLDI24] A Tour of Program Optimization

0:14:52

[PODELSKI] Closing Remarks

0:34:15

[PODELSKI] Abstract Interpretation, Software Model Checking, and Beyond - A Celebration of the(…)

0:16:22

[SOAP24] Dr Wenowdis: Specializing dynamic language C extensions using type information

0:21:04

[ISMM24] ESPN: Memory-Efficient Multi-Vector Information Retrieval

0:22:46

[EGRAPHS24] Slotted E-Graphs

0:20:16

[SOAP24] Misconceptions About Loops in C