Popl 24 Optimal Program Synthesis

Quick Overview: Enhanced Enumeration Techniques for Syntax-Guided Panel discussion with Francois Chollet, Kevin Ellis, and Zenna Tavares on why Kevin Ellis (Cornell) and Zenna Tavares (BASIS) argue that the next wave of AI needs to learn like humans do: building abstract ...

Popl 24 Optimal Program Synthesis - Detailed Overview & Context

Enhanced Enumeration Techniques for Syntax-Guided Panel discussion with Francois Chollet, Kevin Ellis, and Zenna Tavares on why Kevin Ellis (Cornell) and Zenna Tavares (BASIS) argue that the next wave of AI needs to learn like humans do: building abstract ... In this talk Ullas explores the concept of ICFP 2018 Student Research Competition: Resource Guided This is our joint work with Cahoon Rajab and Meyer the Guru

Photo Gallery

[POPL'24] Optimal Program Synthesis via Abstract Interpretation

[POPL'24] Efficient Bottom-Up Synthesis for Programs with Local Variables

Structuring the Synthesis of Heap-Manipulating Programs

[POPL'24] Implementation and Synthesis of Math Library Functions

[POPL'25] Invited Talk: Finding Good Programs by Avoiding Bad Ones

[POPL'24] Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipu...

[PLMW @ POPL'23] Big Ideas in Program Synthesis

Exploring Program Synthesis: Francois Chollet, Kevin Ellis, Zenna Tavares

[TutorialFest@POPL'24] Machine Learning Meets Program Synthesis

[POPL'25] Automated Program Refinement: Guide and Verify Code Large Language Model with(…)

[PLDI24] Recursive Program Synthesis using Paramorphisms

Best-Effort Program Synthesis

View Main Result

[POPL'24] Optimal Program Synthesis via Abstract Interpretation

[POPL'24] Optimal Program Synthesis via Abstract Interpretation

Optimal Program Synthesis

[POPL'24] Efficient Bottom-Up Synthesis for Programs with Local Variables

[POPL'24] Efficient Bottom-Up Synthesis for Programs with Local Variables

Efficient Bottom-Up

Structuring the Synthesis of Heap-Manipulating Programs

Structuring the Synthesis of Heap-Manipulating Programs

Paper and supplementary material: ...

[POPL'24] Implementation and Synthesis of Math Library Functions

[POPL'24] Implementation and Synthesis of Math Library Functions

Implementation and

[POPL'25] Invited Talk: Finding Good Programs by Avoiding Bad Ones

[POPL'25] Invited Talk: Finding Good Programs by Avoiding Bad Ones

Invited Talk: Finding Good

[POPL'24] Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipu...

[POPL'24] Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipu...

Enhanced Enumeration Techniques for Syntax-Guided

[PLMW @ POPL'23] Big Ideas in Program Synthesis

[PLMW @ POPL'23] Big Ideas in Program Synthesis

[PLMW @

Exploring Program Synthesis: Francois Chollet, Kevin Ellis, Zenna Tavares

Exploring Program Synthesis: Francois Chollet, Kevin Ellis, Zenna Tavares

Panel discussion with Francois Chollet, Kevin Ellis, and Zenna Tavares on why

[TutorialFest@POPL'24] Machine Learning Meets Program Synthesis

[TutorialFest@POPL'24] Machine Learning Meets Program Synthesis

[TutorialFest@

[POPL'25] Automated Program Refinement: Guide and Verify Code Large Language Model with(…)

[POPL'25] Automated Program Refinement: Guide and Verify Code Large Language Model with(…)

Automated

[PLDI24] Recursive Program Synthesis using Paramorphisms

[PLDI24] Recursive Program Synthesis using Paramorphisms

Recursive

Best-Effort Program Synthesis

Best-Effort Program Synthesis

Best

Why Program Synthesis Is Next (Kevin Ellis and Zenna Tavares)

Why Program Synthesis Is Next (Kevin Ellis and Zenna Tavares)

Kevin Ellis (Cornell) and Zenna Tavares (BASIS) argue that the next wave of AI needs to learn like humans do: building abstract ...

(An Introduction to)+ Program Synthesis | Ullas Aparanji | TEDxPESU

(An Introduction to)+ Program Synthesis | Ullas Aparanji | TEDxPESU

In this talk Ullas explores the concept of

[POPL'22] Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution

[POPL'22] Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution

Bottom-Up

Resource Guided Program Synthesis

Resource Guided Program Synthesis

ICFP 2018 Student Research Competition: Resource Guided

[POPL'24] Guided Equality Saturation

[POPL'24] Guided Equality Saturation

Guided Equality Saturation (Video,

Accelerating Search-Based Program Synthesis using Learned Probabilistic Models

Accelerating Search-Based Program Synthesis using Learned Probabilistic Models

This is our joint work with Cahoon Rajab and Meyer the Guru

[icml 2024] Amortizing Pragmatic Program Synthesis with Rankings

[icml 2024] Amortizing Pragmatic Program Synthesis with Rankings

3 min presentation for icml paper : https://openreview.net/pdf/2cc1c8652099cbee25888f05fbea6675fe11e558.pdf.