Program Synthesis Explained — James Bornholt
cs.utexas.edu · 3,744 words · saved by 1 readers
An introduction to the field of program synthesis, the idea that computers can write programs automatically if we just tell them what we want.
Program Synthesis Explained — James Bornholt 6 January 2015 Program Synthesis Explained Professor Luis Ceze is a great adviser, but he has one well-hidden, shameful secret: his PhD is in computer architecture . 1 I’m working on correcting this grave misjudgement by surrounding him with experts in programming languages . But it’s time to make my own contribution, with part 1 of my 1,009-part series, Programming Languages for Computer Architecture Professors . Today, we’ll tackle program synthesis . 2 If you just want to build a program synthesizer, I have a quick tutorial on that too. Synthesis
saved by
related reading
- how I think when I think about programming - alice mazalicemaz.com
- Introduction to Program Synthesispeople.csail.mit.edu
- Deep learning as program synthesis — LessWronglesswrong.com
- How to Solve Secure Program Synthesis — LessWronglesswrong.com
- A primer on digital circuit synthesisyosyshq.readthedocs.io
- Human Judgment as a Specificationblog.brownplt.org
- Program Synthesis with Large Language Modelsarxiv.org
- Learnable Programmingworrydream.com
- Structure and Interpretation of Computer Programsmitp-content-server.mit.edu
- Beautiful Racket: Make a language in one hour: stackerbeautifulracket.com
- Structure and Interpretation of Computer Programsmitp-content-server.mit.edu
- [2108.07732] Program Synthesis with Large Language Modelsarxiv.org