Programming Languages Courses and Certifications

ACM SIGPLAN

Gradual Grammars: Syntax in Levels and Locales

Explore gradual syntax definition for programming languages, enabling level-based learning and internationalization. Enhance accessibility for diverse users while minimizing impact on language processors.

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

ACM SIGPLAN

PL4XGL: A Programming Language Approach to Explainable Graph Learning

Explore a novel programming language approach to explainable graph learning, addressing limitations in GNN explainability through a graph description language and interpretable classification model.

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

ACM SIGPLAN

Automated Verification of Fundamental Algebraic Laws - PLDI 2024

Explore automated verification of algebraic laws in coding, crucial for software correctness. Learn about Propel verifier's capabilities in proving properties across various domains.

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

ACM SIGPLAN

Extending the Scope of the Array Abstraction beyond Sparsity

Explore advanced array abstraction techniques beyond sparsity, enhancing data structure efficiency and computational performance in programming languages.

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

ACM SIGPLAN

Four Languages for Portability - SPARSE 2024

Explore four languages for achieving software portability across different platforms and architectures in this concise programming talk.

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

ACM SIGPLAN

Choreographic Programming With Multicast and Multiply Located Values

Explore 𐤄λsmall, a new choreographic programming language featuring multiply located values and multicast capabilities, enabling elegant solutions for complex communication patterns.

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

ACM SIGPLAN

Taype: A Policy-Agnostic Language for Oblivious Computation

Explore Taype, a novel language for secure multiparty computation that decouples security policies from program logic. Learn about oblivious algebraic data types and tape semantics for flexible, policy-agnostic development.

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

ACM SIGPLAN

Cutting the Cake: A Language for Fair Division

Explore Slice, a domain-specific language for fair division protocols. Learn how it converts programs to logical formulas, enabling automated verification of envy-freeness in resource allocation scenarios.

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

ACM SIGPLAN

Fluid: Towards Transparent, Self-Explanatory Research Outputs

Explore Fluid, a transparent programming language with bidirectional dynamic dependency analysis, enabling interactive exploration of data relationships in research outputs.

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

If I Only Had a Hammer - The Impact of Developer Tools on Productivity

Exploring AI's impact on development, from productivity tools to Copilot, and questioning their long-term effects on coding practices and developer skills.

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

Web Dev Simplified

Do You Need to Learn a Second Programming Language?

Explore the benefits, timing, and strategies for learning a second programming language to enhance your development skills and career prospects.

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

GeeCON Conference

The Origin of Programming Language Features - Evolution and Decision-Making

Explore the evolution of programming languages, focusing on Java's recent developments and the decision-making process behind new features.

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

GOTO Conferences

The Mother of All Programming Languages Demos

Explore the evolution and impact of programming languages through a comprehensive demo, highlighting key developments and their significance in software engineering.

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

GOTO Conferences

Knitting and Computing - The Binary Art of Programming with Yarn

Explore the fascinating intersection of knitting and computer science, discovering how binary patterns, data structures, and programming concepts manifest in this traditional craft through innovative examples.

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

Eclipse Foundation

Crafting Domain Specific Languages - A Practical Guide - OCX 2024

Discover practical insights into creating and implementing Domain-Specific Languages (DSLs), from abstraction levels to IDE integration, based on real industrial applications and modern web technologies.

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