✳flâneur — a map of the web's best reading
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
Explore this link on the map →saved by
related reading
- How to Solve Secure Program Synthesis — LessWronglesswrong.com
- Deep learning as program synthesis — LessWronglesswrong.com
- 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
- Kevin Elliscs.cornell.edu
- [2106.05784] Programming Puzzlesarxiv.org
- ProgramBenchprogrambench.com
- how I think when I think about programming - alice mazalicemaz.com
- On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications | Proofs and Intuitionsproofsandintuitions.net
- It’s Time for a Modern Synthesis Kernel – Embedded in Academiablog.regehr.org
- Learnable Programmingworrydream.com