Generating Programmatic Referring Expressions via Program Synthesis.
Proceedings of the 37th International Conference on Machine Learning, 2020
Trace abstraction modulo probability.
Proc. ACM Program. Lang., 2019
Synthesizing differentially private programs.
Proc. ACM Program. Lang., 2019
Program Synthesis with Equivalence Reduction.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019
Discovering relational specifications.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
Constraint-Based Synthesis of Datalog Programs.
Proceedings of the Principles and Practice of Constraint Programming, 2017
MapReduce program synthesis.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016
Disruptive Innovations and IT_x000D_ A Wicked yet Empowering combination.
Proceedings of the 21st Americas Conference on Information Systems, 2015