Computer Supported Programming Group
The computer supported programming group works on the next generation of programming systems. We are looking for undergraduates with experience in web programming to help develop a web-based infrastructure to evaluate new programming models. The goal is to be able to conduct user studies over the web to study how programmers interact with new programming models, and how design decisions in a programming language affect productivity. We are also looking for students who have taken 6.035 or who have experience in compiler construction to help with the development of the SKETCH synthesis system.
Interested students should send e-mail to Armando Solar-Lezama - email@example.com