Programming Languages Courses and Certifications

ACM SIGPLAN

Toward a Live, Rich, Composable, and Collaborative Planetary Compute Engine

Explore Planet Hazel, a visionary programming environment for collaborative planetary computing to address climate crisis challenges across diverse stakeholders.

• YouTube
• 22 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Consider Collaboration - Importance and Strategies in Research

Discover the importance of collaboration in research, learn how to initiate partnerships, overcome challenges, and achieve success in joint projects.

• YouTube
• 44 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

The Network is the Computer: A Programming Language Perspective

Explore the convergence of programming languages and networking, examining custom protocols and in-network functionality to gain insights for both fields.

• YouTube
• 1 hour 8 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Reasoning via Semantic Transformations

Explore semantic transformations in reasoning processes, examining their role and impact on logical analysis and problem-solving techniques.

• YouTube
• 26 minutes
• Self-Paced
• Free Video

ACM SIGPLAN

Why Languages Should Preserve Load-Store Order

Explore the complexities of memory models and load-store reordering in programming languages, examining their impact on code optimization and reasoning.

• YouTube
• 22 minutes
• Self-Paced
• Free Video

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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• Free Video

ACM SIGPLAN

miniKanren Tutorial

Explore miniKanren, a relational programming language, through hands-on examples and practical applications. Gain insights into logic programming concepts and techniques.

• YouTube
• 1 hour 25 minutes
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• Free Video