www.cs.cmu.edu

15-751*: TCS Toolkit 2020

Meetings time and place: Tuesday and Thursday, 3pm-4:20pm, POS A35.
www.cs.cmu.edu

SCS Faculty Awards

--ACM's most prestigious technical award is accompanied by a cash prize and presented to an individual/s selected for contributions of a technical nature made to the computing community. The ...
www.cs.cmu.edu

Grateful Dead Setlists: 1988

Grateful Dead Setlists: 1988 Henry J. Kaiser Auditorium, Oakland, CA. (2/13/88) Henry J. Kaiser Auditorium, Oakland, CA. (2/14/88) Henry J. Kaiser Auditorium, Oakland ...
www.cs.cmu.edu

A Laplacian for Nonmanifold Triangle Meshes

We describe a discrete Laplacian suitable for any triangle mesh, including those that are nonmanifold or nonorientable (with or without boundary). Our Laplacian is a robust drop-in replacement for the ...
www.cs.cmu.edu

Grateful Dead Setlists: 1984

Grateful Dead Setlists: 1984 Marin County Veteran's Auditorium, San Rafael, CA (3/28/84) Marin County Veteran's Auditorium, San Rafael, CA (3/29/84) Marin County Veteran's Auditorium, San Rafael, CA ...
www.cs.cmu.edu

Program Analysis

This course covers both foundations and practical aspects of the automated analysis of programs, which is becoming increasingly critical to find software errors and assure program correctness. The ...