40:37

[PLMW@PLDI24] Uncertainty and my scientific journey

ACM SIGPLAN

36:49

[PLMW@PLDI24] A Tour of Program Optimization

ACM SIGPLAN

38:27

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

ACM SIGPLAN

29:55

[PLMW@PLDI24] A Tale of Shared Memory Concurrency in Programming Languages

ACM SIGPLAN

31:02

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

ACM SIGPLAN

1:09:21

[PLMW@PLDI24] Thoughts on the interplay between corporate, government, and university R&D

ACM SIGPLAN