This class mainly focuses on the networking and systems aspects for cloud computing. The topics to be discussed include: (1) networking structures and protocol designs for data center; (2) current systems/ computing support in data centers, e.g., GFS, BigTable, Mapreduce, live mesh, etc. (3) Emerging opportunities in cloud computing (support for mobile devices, "green" infrastructure, ...). We will use a set of recent papers to discuss the above topics. Students are asked to present some papers based on their readings. The course also includes a course project that explores new research topics in the area of cloud computing.

COM SCI 239 Current Topics in Computer Science: Programming Languages and Systems
LEC 1 MILLSTEIN, T.D.
ID Number	Type	Sec	Days	Start	Stop	Bldg	Rm
587232201	LEC	1	MW	10:00A	11:50A	PUB AFF	2325
Title: SAT-Based Program Analysis and Verification Prerequisite: At least one of CS231, CS232, CS234, CS262A, and CS264A. SAT solvers and related technologies have matured to the point where they are general-purpose tools for automated reasoning. In this course we will study techniques that tackle program analysis and verification problems by translation to forms of logical satisfiability. Potential applications include nonstandard typechecking, program optimization, program equivalence checking, compiler correctness, and program specification and verification. Students will present related papers from the research literature. Students will form groups to engage in a research project involving SAT-based reasoning for a programming language application.

COM SCI 249 Current Topics in Data Structures
LEC 1 PARKER, D.S.
ID Number	Type	Sec	Days	Start	Stop	Bldg	Rm
587294201	LEC	1	MW	10:00A	11:50A	BOELTER	5252

TBA

COM SCI 259 Current Topics in Computer Science: System Design/Architecture
LEC 1 REINMAN, G.D.
ID Number	Type	Sec	Days	Start	Stop	Bldg	Rm
587357201	LEC	1	MW	10:00A	11:50A	BOELTER	4283

We will be looking at recent papers on microprocessor design from ISCA, ASPLOS, MICRO, and HPCA.

COM SCI 269 Seminar: Current Topics in Artificial Intelligence
LEC 1 TERZOPOULOS, D.
ID Number	Type	Sec	Days	Start	Stop	Bldg	Rm
587410201	LEC	1	MW	6:00P	7:50P	BOELTER	5252

None, likely to be cancelled.

COM SCI 279 Current Topics in Computer Science: Methodology
LEC 1 SOATTO, S.
ID Number	Type	Sec	Days	Start	Stop	Bldg	Rm
587478200	LEC	1	TR	2:00P	3:50P	BOELTER	5252

TBA

COM SCI 289P Current Topics in Computer Theory
LEC 1 SAHAI, A.
ID Number	Type	Sec	Days	Start	Stop	Bldg	Rm
587560200	LEC	1	TR	2:00P	3:50P	BOELTER	4283

Advanced topics in cryptography (more detail to come later)

COM SCI 289RA Current Topics in Computer Theory: Randomized Algorithms
LEC 1 GAFNI, E.M.
ID Number	Type	Sec	Days	Start	Stop	Bldg	Rm
587562200	LEC	1	MW	10:00A	11:50A	MOORE	1003

TBA