CSE 599Z: Accurate Computing

Slack Listserv

Meetings

We'll meet Tue/Fri at 1:30 in SAV 137 to discuss challenging abstractions and how we could build tools to help programmers use them more accurately.

Tue, Mar 28 : Introduction
Fri, Mar 31 : Design (Worse is Better, The Architecture of Complexity)
Tue, Apr 3 : Programming Physical Systems (Robot Programming)
Fri, Apr 7 : Double Trouble (Much Ado About Nothing's Sign Bit)
Tue, Apr 11 : Project Proposals (please email to class list) [no meeting]
Fri, Apr 14 : What Could Go Wrong? (Manufacturing and Security Challenges in 3D Printing)
Tue, Apr 18 : Trying to Beat IEEE754 (Beyond Floating Point: Next Generation Computer Arithmetic)
Fri, Apr 21 : PL in Manufacturing (A Compiler for 3D Machine Knitting)
Tue, Apr 25 : Decomposing 3D Models (Chopper)
Fri, Apr 28 : Floating Point for Programmers (Practically Accurate Floating-Point Math)
Tue, May 2 : Xin Zhang talk on Approximation in Program Analysis (3:30 in EEB 105)
Fri, May 5 : Non-parallel Slicing (CLFDM, 3D Layers)
Tue, May 9 : SNAPL (no meeting)
Fri, May 12 : Automating Accuracy Improvement (Herbie)
Tue, May 16 : Modeling Knitted Clothing (Stitch Meshes)
Thu, May 18 : KnitYak site visit!
Tue, May 23 : Smooth vs. Rough (Fitting Smooth Surfaces to Dense Polygon Meshes)
Fri, May 26 : Automated FP Verification (Alive-FP)
Tue, May 30 : Hack Day (work on final presentation -- no meeting)
Fri, June 2 : Hack Day (work on final presentation -- no meeting)
Wed, June 7 : Final Presenations! (11am in CSE 403)

Background

Some of the topics we'll be discussing in class may not have been covered in detail during your previous computer science courses. Here are some quick guides that may help you get better insight into the abstractions we'll be discussing during the quarter.