Cited By
View all- Lu SBodík R(2023)Grisette: Symbolic Compilation as a Functional Programming LibraryProceedings of the ACM on Programming Languages10.1145/35712097:POPL(455-487)Online publication date: 11-Jan-2023
- Chawla GAman NKomondoor RBokil AKharat NDwyer MDamian DZeller A(2022)Verification of ORM-based controllers by summary inferenceProceedings of the 44th International Conference on Software Engineering10.1145/3510003.3510148(2340-2351)Online publication date: 21-May-2022
- Wang YDong JShah RDillig IMcKinley KFisher K(2019)Synthesizing database programs for schema refactoringProceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3314221.3314588(286-300)Online publication date: 8-Jun-2019
- Show More Cited By