progscrape: cs.cmu.edu

Databases in 2024: A Year in Review

33 days ago cs.cmu.edu database

SQL or Death? Seminar Series – Spring 2025

4 days ago db.cs.cmu.edu database sql

CMU 15-799 :: Special Topics in Databases: Query Optimization (Spring 2025)

17 days ago 15799.courses.cs.cmu.edu compiler database

Vector Models for Data-Parallel Computing

41 days ago cs.cmu.edu

Code helper

55 days ago academy.cs.cmu.edu

Reasonable Person Principle

3 months ago cs.cmu.edu

MVCC – the part of PostgreSQL we hate the most (2023)

3 months ago cs.cmu.edu database postgresql

Are you sure you want to use MMAP in your database management system? (2022)

3 months ago db.cs.cmu.edu database

A seven-dimensional analysis of hashing methods [pdf] (2015)

3 months ago 15721.courses.cs.cmu.edu pdf performance

Bloom: Optimization-Driven Interactive Diagramming

4 months ago penrose.cs.cmu.edu visualization

Pseudo Scheme: Scheme Implemented on Top of Common Lisp

6 months ago cs.cmu.edu lisp scheme

What goes around comes around and around [pdf]

7 months ago db.cs.cmu.edu database pdf

Common Lisp Names All Sixteen Binary Logic Gates

7 months ago cs.cmu.edu lisp

Penrose – Tool for Diagrams

8 months ago penrose.cs.cmu.edu

The power of interoperability: Why objects are inevitable (2013) [pdf]

8 months ago cs.cmu.edu pdf

Mirage: A Multi-Level Superoptimizer for Tensor Programs

9 months ago cs.cmu.edu compiler

Church's λ-Calculus (2023) [pdf]

9 months ago cs.cmu.edu pdf

Ken Thompson: Reflections on Trusting Trust (Turing Award Lecture, 1984)

10 months ago cs.cmu.edu turing

About Compiled and Vectorized Queries (2018) [pdf]

10 months ago 15721.courses.cs.cmu.edu pdf

Xerion: Neural Network Simulator (1995)

11 months ago cs.cmu.edu

Penrose – Create diagrams by typing notation in plain text

12 months ago penrose.cs.cmu.edu

My favorite database shirts

14 months ago cs.cmu.edu database

Introduction to Probability for Computing

15 months ago cs.cmu.edu compsci math

Car allergic to vanilla ice cream (2000)

16 months ago cs.cmu.edu

A CD Spectrometer (2006)