EinNet: Optimizing Tensor Programs with Derivation-Based Transformations

A team from Carnegie Mellon University's Robotics Institute has developed an autonomous robot to control the spread of spotted lanternflies, invasive insects known to destroy economically important crops.

Principles of Imperative Computation

Magvit: Masked Generative Video Transformer

Building a new database management system in academia (2017)

Programming in Standard ML (2011) [pdf]

Everything you always wanted to know about mathematics (2013) [pdf]

Purely Functional Data Structures (1996) [pdf]

Nobody cares about our concurrency control research [pdf]

Recreating Medieval English Ales (1998)

Dynamic Branch Prediction with Perceptrons (2000) [pdf]

The myth of the fast learner: researchers wanted to know why some students learn faster than others, they found that in the right conditions, people learn at a remarkably similar rate

Cell GC: Using the Cell Synergistic Processor as a Garbage Collection Coprocessor (2008)

A Simple Parametric Model of Plain-Knit Yarns [pdf]

A new study shows the impact of nightly sleep on a student's academic performance

Are You Sure You Want to Use MMAP in Your Database Management System?

CMU CS Academy: a free online computer science curriculum by Carnegie Mellon

GhiHorn: Path Analysis in Ghidra Using SMT Solvers

Three Sins of Authors in Computer Science and Math

Antique Roman Dishes – Collection (1993)

The Effects of Uber and Lyft in U.S. Cities

Stack Computers: the new wave (1989)

The Effectiveness of Checksums for Embedded Control Networks

15-816 Substructural Logics - Pfenning -- 2016

Discerning the Dominant Out-of-Order Performance Advantage: Is it Speculation or Dynamism? (2013)

Air Pollution Reduced When U.S. Embassies Around the World Installed Monitors and Tweeted the Readings

Common Lisp Names All Sixteen Possible Binary Logic Gates

Tom Mitchell's Machine Learning book now is free

täkō: A Polymorphic Cache Hierarchy for General-Purpose Optimization of Data Movement

Stack Computers: the new wave (1989)

More →