CS 482 -- Computer Science Theory -- Spring 2018

Class Time: 12:20 - 1:10 pm MWF
Classroom: Min Kao Engineering 405

There will be no lecture on Friday, April 27.

The final project is due on Monday, May 7. Submit your final report through Canvas.

Semester Project

A simple specification of a solution to the semester project can be found here. This description may be refined as the semester progresses.

Project Assignment due 4/9/2018

Prepare a status update for your semester project.

Instructor: Micah Beck

Recommended Reading

Design and Analysis of Computer Algorithms
Authors: Aho, Hopcroft and Ullman
Publisher: Addison-Wesley Longman
Year: 1974

Resources

The TOP500 list: https://www.top500.org/
LAPACK in Wikipedia: https://en.wikipedia.org/wiki/LAPACK
The LAPACK/ScaLAPACK Development Forum: http://icl.cs.utk.edu/lapack-forum/

Project Resources

Memoization/Computational Caching Slides click here

DIMACS format for describing SAT problems
http://www.cs.ubc.ca/~hoos/SATLIB/benchm.html

SATLIB - The Satisfiability Library
http://www.cs.ubc.ca/~hoos/SATLIB/

SATLIB - Benchmark Problems
http://www.cs.ubc.ca/~hoos/SATLIB/benchm.html

3SAT Solver
http://www.cs.virginia.edu/~jwh6q/3sat-web/

MySQL Open Source Database https://www.mysql.com/

Papers

International Journal of Theoretical Physics
April 1982, Volume 21, Issue 3
New computer architectures and their relationship to physics or why computer science is no good
Author: W. Daniel Hillis
https://link.springer.com/article/10.1007/BF01857728

Cheating Husbands and Other Stories: A Case Study of Knowledge, Action and Communication
Yoram Moses, Danny Dolev, Joseph Y. Halpern
https://www.cs.cornell.edu/home/halpern/papers/cheathus.pdf

Meltdown and Spectre vulnerabilities