progscrape: cs.cmu.edu

Applying to PhD Programs in Computer Science (2014)

5 years ago cs.cmu.edu

Monte Carlo Geometry Processing

5 years ago cs.cmu.edu

Nearly Half of the Twitter Accounts Discussing ‘Reopening America’ May Be Bots

5 years ago cs.cmu.edu twitter

CMU 15-819 - Homotopy Type Theory

5 years ago cs.cmu.edu

Memory-Efficient Search Trees for Database Management Systems

5 years ago reports-archive.adm.cs.cmu.edu database

Using Z: Specification, Refinement, and Proof

5 years ago cs.cmu.edu

Pegasus: A Framework for Sound Continuous Invariant Generation

5 years ago cs.cmu.edu

Introduction to Data Compression (2013)

5 years ago cs.cmu.edu compression

Fully Homomorphic Encryption Using Ideal Lattices (2009)

5 years ago cs.cmu.edu encryption

Next 50 Years of Databases

5 years ago cs.cmu.edu database