1. Generating Test Databases for Database-Backed Applications;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
2. Fixpoints for the masses: programming with first-class Datalog constraints;Proceedings of the ACM on Programming Languages;2020-11-13
3. Seminaïve evaluation for a higher-order functional language;Proceedings of the ACM on Programming Languages;2020-01
4. Speeding up symbolic reasoning for relational queries;Proceedings of the ACM on Programming Languages;2018-10-24
5. How Can Reasoners Simplify Database Querying (And Why Haven't They Done It Yet)?;Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2018-05-27