Skip to content
Hallway
0:00 / 0:00

#programsynthesis#syntax-guidedsynthesis

Rajeev Alur, University of Pennsylvania

UC Berkeley EECS

11K subscribers • 3 videos on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.
  • Presented by Rajeev Alur, University of Pennsylvania

Advanced. Deep dive for people who know the field.

816 views8 years ago1 recommendation

Computer scienceProgramming languagesComputation and complexityAlgorithms

Rajeev Alur explains the concept, framework, and applications of syntax-guided program synthesis.

"Syntax-Guided Program Synthesis" EECS Colloquium Wednesday, April 25, 2018 306 Soda Hall (HP Auditorium) 4-5p

Why it's here

1 person recommends this

What people say. Recommended as a foundational lecture on syntax-guided 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