Advisor

Todd Millstein

Research

Aritificial Intelligence in Programming Languages: Program Analysis and Synthesis, Formal Specifications, Optimization, Constraint Programming, Learning , Automated Planning

Projects

ESOOP Executable Specifications in Object-Oriented Programs
              in Java (ESJava) | in Squeak (ESqueak)

Programming as Planning Objects using a general planner to solve their complex problems
              Report | Register allocation via puzzle solving via planning
              Planner as a Library for COLA language | Simple programs using it

JOHN A Knowledge Representation Language with an integrated Planner
              Documentation

Software

Repository