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
- Introduction to Program Synthesispeople.csail.mit.edu
- How to Solve Secure Program Synthesis — LessWronglesswrong.com
- Deep learning as program synthesis — LessWronglesswrong.com
- [2106.05784] Programming Puzzlesarxiv.org
- FrontierSmith: Synthesizing Open-Ended Coding Problems at Scale | alphaXivalphaxiv.org
- Programming in the Age of Intelligent Machinesbreandan.net
- Asymmetry of verification and verifier’s rule - Jason Weijasonwei.net
- 342285bb2a8cadef22f667eeb6a63732-Paper.pdfproceedings.neurips.cc
- Kevin Elliscs.cornell.edu
- A primer on digital circuit synthesisyosyshq.readthedocs.io
- ProgramBenchprogrambench.com
- On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications | Proofs and Intuitionsproofsandintuitions.net