1. Team Dr. Kathryn Stolee

2. Katie’s General Research Interests
● program analysis
● improving human processes
● refactoring, testing

3. Satsy searches Java snippets by input-output examples

4. Concept Sketch of Satsy

5. Satsy Database Details

6. SMT can be slow

7. Completeness Issues

8. Regular Expressions - a better fit for SMT-based search

9. regio searches for regex by input-output examples

10. example of an smt statement

11. example model of a regular expression

12. Abstractions to eliminate regions of functions

13. AutoBugFixer (path enumeration shown above)

14. Some Research Topics
● Innovating code search for developers
● New techniques for program synthesis
● Repository analysis (tour de source)
● User studies for existing tools