Cited By
View all- Abyaneh AKirsch C(2021)ASE: A Value Set Decision Procedure for Symbolic Execution2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)10.1109/ASE51524.2021.9678584(203-214)Online publication date: Nov-2021
- Padhye RSen KHilfinger PBaniassad E(2019)ChocoPy: a programming language for compilers coursesProceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E10.1145/3358711.3361627(41-45)Online publication date: 25-Oct-2019
- Kirsch CKell SMarr S(2018)On the self in selfie (invited talk)Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages10.1145/3281287.3281288(1-3)Online publication date: 4-Nov-2018
- Show More Cited By