Program Synthesis

All Work

Solar-Lezama wins Robin Milner Young Researcher Award
Solar-Lezama wins Robin Milner Young Researcher Award
MIT CSAIL
Arvind, longtime MIT professor and prolific computer scientist, dies at 77
Arvind, longtime MIT professor and prolific computer scientist, dies at 77
MIT News
Creating bespoke programming languages for efficient visual AI systems
Creating bespoke programming languages for efficient visual AI systems
MIT News
An intro to the fast-paced world of artificial intelligence
An intro to the fast-paced world of artificial intelligence
MIT News
Write, Execute, Assess: Program Synthesis with a REPL
Write, Execute, Assess: Program Synthesis with a REPL