AI, Data Science & Cloud Certificates from Google, IBM & Meta
The Fastest Way to Become a Backend Developer Online
Overview
AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore a thought-provoking presentation from the PEPM 2025 conference that examines semantics-based program manipulation in the context of large language models. Delivered by William J. Bowman (University of British Columbia), Brigitte Pientka (McGill University), Satnam Singh (Groq), and Sam Lindley (The University of Edinburgh), this 53-minute video delves into how traditional program manipulation techniques intersect with emerging LLM capabilities. The talk was presented on January 21, 2025, as part of the POPL25 conference sponsored by ACM SIGPLAN, ACM SIGACT, and ACM SIGLOG.
Syllabus
[PEPM'25] Semantics-based program manipulation in the age of LLMs
Taught by
ACM SIGPLAN