3:10

[NSAD24] Closing

ACM SIGPLAN

27:03

[NSAD24] Abstracting Entanglement

ACM SIGPLAN

27:34

[NSAD24] WiP: Labeled Union-Find for Constraint Factorization

ACM SIGPLAN

32:00

[NSAD24] Stability: An Abstract Domain for the Trend of Variation of Numerical Variables

ACM SIGPLAN

24:45

[NSAD24] C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are(…)

ACM SIGPLAN

24:14

[NSAD24] A Step-Function Abstract Domain for Granular Floating-Point Error Analysis

ACM SIGPLAN

29:41

[NSAD24] Towards a High Level Linter for Data Science

ACM SIGPLAN

56:24

[NSAD24] Abstract Domains for Machine Learning Verification

ACM SIGPLAN