Ph.D Dissertation:
- Theory and Techniques for Synthesizing Efficient
Breadth-First Search Algorithms.
Doctoral Dissertation, Department of Computer Science,
University of Texas at Austin, Austin, Texas. August 2012.
Journal & Conference Publications:
- SMT-Based Synthesis of Integrated Task and Motion Plans from Plan Outlines (with Sailesh Prabhu, Mark Moll, Swarat Chaudhuri, and Lydia E. Kavraki), Intl. Conf. on Robotics and Automation (ICRA) 2014
- Theory and techniques for synthesizing efficient
breadth-first search algorithms (with Douglas R. Smith and William R. Cook), 18th Intl. Symp.
on Formal Methods 2012
- A Class of
Greedy Algorithms and its Relation to Greedoids
(with Douglas R. Smith and William R. Cook), Intl.
Colloq. On Theoretical Aspects of Computing (ICTAC), 2010
- Synthesis of Greedy Algorithms Using
Dominance Relations (with Douglas R. Smith and William R. Cook), 2nd NASA Symposium on Formal Methods (NFM),
2010
- Synthesis of Fast Programs for Maximum Segment
Sum Problems (with William R. Cook), Generative Programming and Component Engineering (GPCE), 2009
- Tactical Synthesis of Efficient Global
Search Algorithms (with Douglas R. Smith and William R. Cook), 1st NASA Symposium on Formal Methods (NFM),
2009
- Modeling Interactions in Feature Oriented Software Designs (with Don Batory and Jia Liu) in Feature
Interactions in Telecommunications and Software Systems VIII., IOS Press,
2005.
Workshop Publications:
- Position Paper: Synthesis of Plans for Robots from Plan Outlines (with Sailesh Prabhu, Mark Moll, Swarat Chaudhuri, and Lydia E. Kavraki), Workshop on
Planning and Robotics, ICAPS, 2014
- Cost-Based Learning in Planning (with Douglas R. Smith and William R. Cook), 3rd Workshop on
Planning and Learning, ICAPS, 2011
- Tactic-Driven Synthesis of Global Search
Algorithms Based on Constraint Satisfaction., Middle Earth Programming
Languages Seminar (MEPLS), 2009
- Handling Uncertainty in Job-Shop
Scheduling (with Douglas R. Smith and William R. Cook), 1st International Workshop on Living with
Uncertainty (IWLU), 2007
- Specializing
and Optimizing Declarative Domain Models (with William R. Cook), The 4th
OOPSLA Workshop on Domain-Specific Modeling, October 2004
- Transforming
Declarative Models Using Patterns in MDA (with William R. Cook), The
OOPSLA Workshop on Best Practices for Model Driven Software Development,
October 2004
|