Courses from 1000+ universities
$7.2 billion in combined revenue since 2020. $8 billion in lost market value. This merger marks the end of an era in online education.
600 Free Google Certifications
Computer Science
Information Technology
Data Analysis
The Science of Gastronomy
Transforming Digital Learning: Learning Design Meets Service Design
Intelligenza Artificiale
Organize and share your learning with Class Central Lists.
View our Lists Showcase
Explore a novel tabulation strategy for accelerating context-free language reachability, reducing wasted edges and improving scalability in program analysis applications.
Explore a new declarative DSL for multi-language code transformations, enhancing expressiveness and applicability of lightweight match-replace tools through composition, ordering, and flow support.
Explore novel input-relational verification techniques for deep neural networks using difference tracking and the DiffPoly abstract domain. Gain insights into improving precision for various properties.
Explore innovative techniques for optimizing memory allocation in managed runtimes, combining static analysis with dynamic strategies to enhance performance and reduce garbage collection overhead.
Explore an efficient compilation scheme for conditional quantum gates, reducing gate count by 2/3 without helper qubits. Improve reliability in quantum algorithms like Grover's and quantum walks.
Explore a novel programming language approach to explainable graph learning, addressing limitations in GNN explainability through a graph description language and interpretable classification model.
Explore a novel method for solving infeasible low-dimensional linear programs efficiently, using convex hull as an intermediate representation to improve performance in creating correctly rounded math libraries.
Explore space-efficient implementation of gradual typing with mostly parametric polymorphism. Learn about λCmp and λSmp calculi, their properties, and the implications for type-preserving translations.
Explore program analysis techniques for controlling generalization errors in adaptive data analyses, focusing on a novel approach using weighted dependency graphs and path search strategies.
Explore a formally-verified framework for fair and abortable synchronization, enabling efficient implementation of various primitives with modular proofs and improved performance.
Explore a novel approach to memory management in concurrent programming, combining SMR algorithms with reference counting for efficient and safe automatic memory reclamation in unmanaged languages.
Explore Julia's subtyping challenges and a proposed solution for decidability in scientific computing, focusing on method dispatch and type annotations for generic libraries.
Explore BellKAT, a novel specification language for quantum networks based on Kleene algebra, designed to address resource competition and enable formal reasoning about quantum network protocols.
Explore LiDO, a consensus model enabling safety and liveness verification in Byzantine fault-tolerant protocols through refinement. Learn about mechanized proofs for Jolteon in Coq, advancing blockchain technology.
Explore program reconditioning to avoid undefined behavior in compiler bug detection and reduction for GLSL and WGSL languages, enhancing differential testing and test-case simplification.
Get personalized course recommendations, track subjects and courses with reminders, and more.