Skip to content
Hallway
0:00 / 0:00

#programsynthesis#machinelearning

"Program Synthesis as High-Level Machine Learning" Swarat Chaudhuri | FLOC 2018

Conference on Computer-Aided Verification

918 subscribers • 1 video on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.
  • Presented by Swarat Chaudhuri
  • May be out of date. Uploaded 8 years ago, in an area where tools change fast.

Advanced. Deep dive for people who know the field.

600 views8 years ago1 recommendation

AI and machine learningComputer scienceNeural networks and deep learningAlgorithms

Swarat Chaudhuri discusses the intersection of program synthesis and machine learning, framing synthesis as a high-level learning problem.

Talk in "Machine Learning for Programming" workshop, session 131C

Why it's here

1 person recommends this

What people say. Recommended as a resource on combining machine learning with program synthesis.

u/mttdin r/ProgrammingLanguages • Recommends

On “Tandoph: A compiler synthesizer for simple languages”

…itbucket.io/papers/program_synthesis_now.pdf - https://www.microsoft.com/en-us/research/publication/program-synthesis/ + Topics in Programming Languages: Program Synthesis (lots of great references!) - https://www.classes.cs.uchicago.edu/archive/2016/spring/32001-1/ + Type-Driven Program Synthesis - Strange Loop 2018; Nadia Polikarpova - link to this video + Program Synthesis: Opportunities for the Next Decade - ICFP 2015 - link to this video * Compilation, Optimization + Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis - 1st Summit on Advances in Programming Languages (SNAPL 2015) - http://drops.dagstuhl.de/opus/volltexte/2015/5016/ + Future Directions f…
10View on Reddit