32:43

[HATRA] Program Synthesis Using Example Propagation

ACM SIGPLAN

31:36

[HATRA] A Survey of Weak Reasoning Assistants

ACM SIGPLAN

29:38

[HATRA] Exploring the Verifiability of Code Generated by GitHub Copilot

ACM SIGPLAN

33:13

[HATRA] Holbert: Reading, Writing, Proving and Learning in the Browser

ACM SIGPLAN

26:21

[HATRA] Some Problems with Properties: A Study on Property-Based Testing in Industry

ACM SIGPLAN

1:01:03

[HATRA] Discussion

ACM SIGPLAN

31:57

[HATRA] Static Information Flow Control Made Simple

ACM SIGPLAN