The 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), 2019-01-18
36th IEEE/ACM International Conference on Automated Software Engineering, 2021-11-17
34th International Conference on Computer Aided Verification, CAV 2022, page. 524 - 537, 2022-08-08