Systems Core Courses

Strange Loop Conference

Nim Nuggets - Systems Programming & Metaprogramming Magic

Explore Nim's advanced features for systems programming, metaprogramming, and static introspection through real-world examples and practical applications.

• YouTube
• 42 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Systems That Run Forever - Self-Heal and Scale

Explore architectural principles for building scalable, fault-tolerant systems using isolated parallel components, error detection, and live code upgrades, with insights from Erlang's design.

• YouTube
• 1 hour 10 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Correctness Proofs of Distributed Systems with Isabelle

Explore formal verification of distributed systems using Isabelle/HOL. Learn to prove correctness of algorithms, focusing on consensus and agreement properties in infinite state spaces.

• YouTube
• 43 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Designing Augmented Reality Systems for Speed

Explore designing AR systems for speed, balancing complex algorithms with resource limitations. Learn trade-offs, concurrency, real-time interactions, and caching in AR development.

• YouTube
• 38 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Building Financial Systems on Eventually Consistent DBs

Explore Netflix's innovative approach to building scalable, available, and consistent financial systems using eventually consistent databases, balancing tradeoffs between availability and data integrity.

• YouTube
• 26 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

The Holy Grail of Systems Analysis - From What to Where to Why

Explore advanced distributed tracing techniques to pinpoint latency issues in complex microservice architectures, moving beyond traditional monitoring approaches for more effective system analysis.

• YouTube
• 34 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Building Secure Systems in Haskell

Explore building secure web applications using Haskell's LIO and Hails framework, focusing on data privacy protection through language-level information flow control and declarative policy specification.

• YouTube
• 38 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Modelica - Component Oriented Modeling of Physical Systems

Explore component-oriented modeling of physical systems using Modelica, a language for simulating complex devices in various industries. Learn about compilation processes and algorithms.

• YouTube
• 42 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Ceptre - A Language for Modeling Generative Interactive Systems

Explore Ceptre, a formal language for modeling interactive systems, game design, and program rules, with applications in game development and balance evaluation.

• YouTube
• 38 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Architectural Patterns of Resilient Distributed Systems

Explore architectural patterns for building resilient distributed systems, focusing on adaptation, decomposition, consistency, and safety. Learn strategies for system evolution and testing.

• YouTube
• 44 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

When "Worst" is Best in Distributed Systems

Explore how designing distributed systems for worst-case network behavior can paradoxically improve typical performance, with practical lessons for web, transaction processing, and database applications.

• YouTube
• 39 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Onyx - Distributed Workflows for Dynamic Systems

Explore Onyx, a distributed computation system addressing workflow complexities in modern frameworks. Learn about its innovative approach to simplify processing and leverage hardware advancements.

• YouTube
• 36 minutes
• On-Demand
• Conference Talk

Alan Turing Institute

Scoring Systems - At the Extreme of Interpretable Machine Learning - Cynthia Rudin - Duke University

Explore interpretable machine learning for high-stakes decisions. Learn about optimal scoring systems, their applications in healthcare and criminal justice, and the importance of transparency in AI models.

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

Alan Turing Institute

MOSIP Research Platform - Integrating Anomaly Detection Prototypes into Centralized ID Systems

Explore novel anomaly detection methods for digital identity systems using autoencoders, with a focus on fraud prevention during registration in MOSIP architecture.

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

Alan Turing Institute

Intersectional Approaches to Data Can Inform the Development of Trustworthy Digital Identity Systems

Exploring intersectional approaches to data for developing trustworthy digital identity systems, highlighting benefits, challenges, and research insights for more inclusive and ethical design.

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