The wealth of code now available on-line is fertile ground to enable machine learning to be applied to programming tasks. This post discusses the promise of and some progress on the problem “deep code.” It is the first in a series.
Editor: Michael Hicks
- Sound Analysis: Can We Tell the Truth About Programs?
- “Program Verification”: Has it lost its punch?
- Scaling the Field: Collaboration is of the Essence
- A Checklist Manifesto for Empirical Evaluation: A Preemptive Strike Against a Replication Crisis in Computer Science
- From Programs to Deep Models – Part 1
abstract interpretation AI safety algorithm announcement architecture Artifact evaluation awards carbon footprint carbon offset climate change code completion compilers concurrency conferences dynamic analysis formal verification gradual typing hardware industrial adoption language design machine learning Measurements Methodology nanopass neural networks news open access optimization program analysis programming program proof program synthesis proof engineering publication process quantum computing research productivity scientific journals security service soundness static analysis systems testing theorem proving type systems