28:40

[SAS24] GoGuard: Efficient Static Blocking Bug Detection for Go

ACM SIGPLAN

31:00

[SAS24] Static Analysis of Quantum Programs

ACM SIGPLAN

20:29

[SAS24] On the Role of Cognizance in Responsibility

ACM SIGPLAN

27:05

[SAS24] Trace Partitioning as an Optimization Problem

ACM SIGPLAN