Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
