Research Group
Computer-Aided Programming
![](/sites/default/files/styles/primary_image/public/2017-09/150606_212115.jpg?itok=2NVK1yb-)
We develop programming languages and systems to help programmers with a variety of tasks. We use program analysis and synthesis techniques to analyze a range of issues that include security vulnerabilities, creating controllers for dynamical systems, and enabling programmers to discover missing code.
A synthesis-enabled language that allows programmers to write programs with holes and then rely on constraint-based synthesis to discover the missing code.
Related Links
Contact Us
asolar@csail.mit.edu
Last updated Aug 18 '17