Courses from 1000+ universities
Class Central experiments with cataloging online courses from California Community Colleges, offering diverse, affordable, and credit-worthy learning opportunities.
600 Free Google Certifications
Cybersecurity
Project Management
Artificial Intelligence
Extreme Geological Events
Direct Tax Laws and Practice
Machine Learning Foundations: A Case Study Approach
Organize and share your learning with Class Central Lists.
View our Lists Showcase
Explore a 20-minute conference talk from OOPSLA 2023 that delves into implementing fluent APIs in functional programming languages. Discover how researchers Ori Roth and Yossi Gil from Technion, Israel, tackle the challenge of creating elegant APIs and e…
Explore a 19-minute conference talk from OOPSLA2 2023 that introduces P4R-Type, a novel verified P4Runtime API for Scala. Delve into the world of Software-Defined Networking (SDN) and learn how P4R-Type addresses critical risks in programming SDN devices…
Explore a conference talk presenting innovative research on improving the efficiency of bounded model checkers through static analysis of memory models. Learn about a novel approach that reduces encoding size by computing bounds on relations used to dete…
Explore the groundbreaking research on programmer interactions with AI coding assistants in this 18-minute conference talk from OOPSLA 2023. Delve into the first grounded theory analysis of how developers use GitHub Copilot, based on observations of 20 p…
Explore a groundbreaking 18-minute conference talk from OOPSLA2 2023 that delves into the use of profilers for navigating type migration in software development. Learn how Ben Greenman, Matthias Felleisen, and Christos Dimoulas investigate the challenges…
Explore a groundbreaking approach to verifying privacy-preserving protocols in this 18-minute conference talk from OOPSLA2 2023. Delve into a novel verification framework called Waldo, implemented in F*, which offers a more precise alternative to symboli…
Explore a groundbreaking approach to automatically synthesizing parametric gas upper-bounds for smart contracts in this 18-minute conference talk from OOPSLA2 2023. Delve into the novel use of theorems from polyhedral geometry and real algebraic geometry…
Explore a 19-minute conference talk from OOPSLA2 2023 that introduces Turaco, a novel methodology for sampling datasets to train neural network-based surrogates of programs. Learn how the researchers characterize the proportion of data to sample from dif…
Explore the intersection of reference immutability and hybrid programming languages in this 15-minute conference talk from OOPSLA2 2023. Delve into how reference immutability, a type-based technique for controlling mutation, interacts with features commo…
Explore an innovative approach to enhancing browser fuzzing through a 17-minute video presentation from the OOPSLA2 2023 conference. Delve into the challenges of testing complex browser semantics and learn about SaGe, an automated method that utilizes pr…
Explore a 15-minute video presentation from OOPSLA1 2023 conference that delves into solving conditional linear recurrences for program verification, focusing on the periodic case. Learn about a novel approach to reasoning about loops in program verifica…
Explore a groundbreaking deductive verification infrastructure for discrete probabilistic programs in this 17-minute conference talk from OOPSLA2 2023. Delve into the development of a quantitative program verification system, analogous to Boogie, featuri…
Explore a 19-minute conference talk from OOPSLA2 2023 that delves into formally verifying compiler optimizations using block simulations. Learn how researchers from Université Grenoble Alpes - CNRS - Grenoble INP - Verimag in France have developed a fram…
Explore a groundbreaking meta-theorem on decidable learning in symbolic languages presented at OOPSLA1 2023. Delve into the concept of finite-aspect checkable languages and their role in characterizing symbolic languages with decidable learning. Discover…
Explore a groundbreaking approach to program synthesis in this 17-minute conference talk from OOPSLA2 2023. Delve into the concept of subspecifications as a mechanism to enhance synthesized implementations with explanatory notes. Learn how this novel met…
Get personalized course recommendations, track subjects and courses with reminders, and more.