Courses from 1000+ universities
Buried in Coursera’s 300-page prospectus: two failed merger attempts, competing bidders, a rogue shareholder, and a combined market cap that shrank from $3.8 billion to $1.7 billion.
600 Free Google Certifications
Academic Writing Made Easy
Mechanics of Materials I: Fundamentals of Stress & Strain and Axial Loading
Digital Marketing
Organize and share your learning with Class Central Lists.
View our Lists Showcase
Explore rare edge cases and challenges in loop analysis for C programming, enhancing understanding of static analysis tools and improving software verification techniques.
Explore implementing Hilbert's ε-terms in SMT solvers, gaining access to a new logical choice primitive for enhanced reasoning capabilities.
Explore a novel approach to strongly typing compiler passes, combining nanopasses and recursion schemes for efficient, type-safe compiler front-end development in Ada.
Explore a novel scheduling strategy for mixing data and task parallelism, preserving data parallelism structure while enabling flexible thread distribution and self-scheduling for improved performance.
Explore efficient parallel scans for multi-core CPUs, achieving zero overhead and improved single-threaded performance in array languages.
Explore statically determined memory allocation for flat, immutable arrays in Apple array system, extending liveness analysis for JIT compilers in functional languages.
Generate an LLP(q,k) parser for data parallelism and explore its application in creating a high-performance JSON parser.
Explore an academic's 15-year journey from grad school to tenured faculty, focusing on navigating uncertainty in research and career paths. Gain insights on managing mental stress in academia.
Explore a tensor compiler for efficient fully homomorphic encryption, featuring automatic data packing to simplify programming and optimize performance in large-scale applications like neural networks.
Explore a novel, verified extraction pipeline from Coq to OCaml, addressing TCB concerns and interoperability challenges while highlighting key operational semantic differences between the two languages.
Explore a foundational theory of typed data streams and transformers, covering complex sequential patterns, parallel structure, and programming idioms like punctuation and windowing.
Explore a novel program synthesis framework for refactoring code to use library components, featuring a sound equivalence checking technique and applications in functional and numerical computing.
Explore an optimizing compiler for qutrit circuits that improves quantum computations, offering depth reduction and higher fidelity compared to manual implementations and qubit circuits.
Explore efficient hashing for lambda-terms with context-sensitive alpha-equivalence. Learn about improved algorithms for subterm comparison and structure sharing in mathematical knowledge graphs.
Explore Crystalline, a novel family of non-blocking memory reclamation schemes addressing high performance, memory efficiency, and wait-freedom challenges in concurrent programming.
Get personalized course recommendations, track subjects and courses with reminders, and more.