Program splicing Inproceedings
In: Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pp. 338–349, 2018.
HOUDINI: Lifelong Learning as Program Synthesis Inproceedings
In: Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3-8 December 2018, Montréal, Canada, pp. 8701–8712, 2018.
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation Inproceedings
In: 2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21-23 May 2018, San Francisco, California, USA, pp. 3–18, 2018.
Online Partial Conditional Plan Synthesis for POMDPs with Safe-Reachability Objectives Inproceedings
In: Algorithmic Foundations of Robotics XIII, Proceedings of the 13th Workshop on the Algorithmic Foundations of Robotics, WAFR 2018, Mérida, Mexico, December 9-11, 2018, pp. 127–143, 2018.
Component-based synthesis of table consolidation and transformation tasks from examples Inproceedings
In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017, pp. 422–436, 2017.
Bayesian specification learning for finding API usage errors Inproceedings
In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, pp. 151–162, 2017.
Task and Motion Policy Synthesis as Liveness Games Inproceedings
In: Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016, pp. 536, 2016.
Synthesizing transformations on hierarchically structured data Inproceedings
In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016, pp. 508–521, 2016.
Incremental Task and Motion Planning: A Constraint-Based Approach Inproceedings
In: Robotics: Science and Systems XII, University of Michigan, Ann Arbor, Michigan, USA, June 18 - June 22, 2016, 2016.
Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis Inproceedings
In: Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings, pp. 229–249, 2016.
Springer, vol. 9779, 2016, ISBN: 978-3-319-41527-7.
Springer, vol. 9780, 2016, ISBN: 978-3-319-41539-0.
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis Inproceedings
In: 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015, pp. 11–22, 2015.
Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm Inproceedings
In: 54th IEEE Conference on Decision and Control, CDC 2015, Osaka, Japan, December 15-18, 2015, pp. 7434–7439, 2015.
Synthesizing data structure transformations from input-output examples Inproceedings
In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015, pp. 229–239, 2015.
Recursive Games for Compositional Program Synthesis Inproceedings
In: Verified Software: Theories, Tools, and Experiments - 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers, pp. 19–39, 2015.
Grading the Graders: Motivating Peer Graders in a MOOC Inproceedings
In: Proceedings of the 24th International Conference on World Wide Web, WWW 2015, Florence, Italy, May 18-22, 2015, pp. 680–690, 2015.
Optimal Guard Synthesis for Memory Safety Inproceedings
In: Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, pp. 491–507, 2014.
Learning to Grade Student Programs in a Massive Open Online Course Inproceedings
In: 2014 IEEE International Conference on Data Mining, ICDM 2014, Shenzhen, China, December 14-17, 2014, pp. 785–790, 2014.
SMT-based synthesis of integrated task and motion plans from plan outlines Inproceedings
In: 2014 IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, May 31 - June 7, 2014, pp. 655–662, 2014.