39:45

Reasoning Under Uncertainty in SMT Solving, Research, and Life

ACM SIGPLAN

39:04

Theorem provers are a P.L. researcher's best friend

ACM SIGPLAN

42:21

Program Verification using Abductive Reasoning

ACM SIGPLAN

41:14

Research as a collaborative effort

ACM SIGPLAN

1:06:34

PLMW Panel

ACM SIGPLAN

1:05:25

How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond

ACM SIGPLAN