1:00:27

PLDI 2020 - SOAP - Keynote: Formal Reasoning and the Hacker Way

ACM SIGPLAN

24:41

PLDI 2020 - SOAP - Explaining Bug Provenance with Trace Witnesses

ACM SIGPLAN

23:08

PLDI 2020 - SOAP - TACAI: An Intermediate Representation based on Abstract Interpretation

ACM SIGPLAN

25:57

PLDI 2020 - SOAP - Value and Allocation Sensitivities in Static Python Analyses

ACM SIGPLAN

14:59

PLDI 2020 - SOAP - Tool Talk: Soufflé

ACM SIGPLAN

16:42

PLDI 2020 - SOAP - Tool Talk: DOOP

ACM SIGPLAN

13:37

PLDI 2020 - SOAP - Tool Talk: CodeChecker

ACM SIGPLAN

12:07

PLDI 2020 - SOAP - Tool Talk: KLEE

ACM SIGPLAN

1:03:27

PLDI 2020 - SOAP - Keynote: Beyond Code: New Signals for Static Analysis

ACM SIGPLAN

31:49

PLDI 2020 - SOAP - Tool Talk: Soot and Phasar

ACM SIGPLAN

16:15

PLDI 2020 - SOAP - Tool Talk: MagpieBridge

ACM SIGPLAN

16:13

PLDI 2020 - SOAP - Tool Talk: WALA

ACM SIGPLAN

7:14:43

International Workshop on the State Of the Art in Program Analysis (SOAP)

ACM SIGPLAN