Programming Languages Courses and Certifications

ACM SIGPLAN

On the Need for Available, Functional, and Reusable Memory Models

Explore challenges in memory model research through personal failure stories, highlighting shortcomings and future expectations for the field.

• YouTube
• 25 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Working with Peter O'Hearn in Academia and Industry

Explore Mark Harman's experiences collaborating with Peter O'Hearn across academic and industrial settings, gaining insights into their influential work.

• YouTube
• 21 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Totally Live Programming with Hazel - Progress Report

Explore Hazel, a groundbreaking live programming environment with error localization and recovery mechanisms, ensuring well-structured and meaningful code at every stage.

• YouTube
• 32 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Revisiting Dynamic Dispatch for Modern Architectures

Explore an alternative dispatch mechanism for dynamic languages, addressing modern hardware concerns while maintaining performance comparable to fully typed programs.

• YouTube
• 22 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Centering Humans in the Programming Languages Classroom: Building a Text for the Next Generation

Explore principles for designing inclusive programming language textbooks, focusing on human-centered approaches and interdisciplinary applications in computer science education.

• YouTube
• 29 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Programming Languages for AI Programming Agents

Explore the future of programming languages in AI-driven development, examining key features, tools, and workflows needed for effective human-AI collaboration in software creation.

• YouTube
• 34 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Programming Language as Language

Explore programming languages as human languages, examining their structural elements, cognitive impacts, and role in shaping developer communities and mental models.

• YouTube
• 1 hour 2 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Artificial Languages are Dead. Long Live Artificial Languages - SLE23

Explore the impact of Large Language Models on programming, artificial languages, and CS education in this thought-provoking talk by Crista Lopes.

• YouTube
• 57 minutes
• On-Demand
• Free Video

ACM SIGPLAN

String Solving for Verification - TutorialFest at POPL 2024

Explore string solving techniques for software verification, focusing on theory, implementations, and applications in programming languages and security analysis.

• YouTube
• 3 hours 31 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Exploring Self-Embedded Knitting Programs with Twine

Explore self-embedded knitting programs using Twine, focusing on embedding fabrication details in object design. Learn about self-decoding language for knitting and its potential impact on manufacturing.

• YouTube
• 28 minutes
• On-Demand
• Free Video

ACM SIGPLAN

The Calysto Scheme Project - Integrating Scheme with Python

Explore Calysto Scheme: a Scheme-to-Python project with call/cc support, syntactic extensions, and Python interoperability. Learn its applications in education and beyond.

• YouTube
• 33 minutes
• On-Demand
• Free Video

ACM SIGPLAN

How to Thrive as a PhD Student in Programming Languages

Discover strategies for success and personal growth during your PL PhD journey, focusing on research, collaboration, and professional development.

• YouTube
• 48 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Bridging the Syntax-Semantics Gap in Programming - A Novel Programming-by-Demonstration Approach

Explore a novel programming-by-demonstration paradigm that bridges the syntax-semantics gap, enabling intuitive and visual program creation without learning complex syntax.

• YouTube
• 27 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Contextualized Programming Language Documentation - Enhancing Learning with Adaptive Explanations

Generate contextualized programming language documentation tailored to specific code, improving learning efficiency and understanding for developers working with new languages.

• YouTube
• 29 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Forest: Structural Code Editing with Multiple Cursors

Explore Forest, a structural code editor bridging interactive editing and complex refactoring scripts through novel multi-cursor design for efficient and expressive code modifications.

• YouTube
• 35 minutes
• On-Demand
• Free Video