14:52

[PODELSKI] Closing Remarks

ACM SIGPLAN

41:05

[PODELSKI] Living inside a Theorem Proving Universe

ACM SIGPLAN

35:29

[PODELSKI] On the Power of Temporal Prophecy

ACM SIGPLAN

27:37

[PODELSKI] Liveness to Safety for Distributed Systems

ACM SIGPLAN

31:09

[PODELSKI] Model Checking Distributed Software Systems

ACM SIGPLAN

31:59

[PODELSKI] Optimal Quantum Programs

ACM SIGPLAN

32:29

[PODELSKI] Reasoning About Hilbert’s Choice Operator in SMT

ACM SIGPLAN

33:41

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

ACM SIGPLAN

34:15

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

ACM SIGPLAN