|
|
|
|
|
Classes for the 2002-2003 academic year are as follows. 1996-97 offerings, 1997-98
offerings,1998-99 offerings, 1999-2000 offerings, 2000-2001 offerings, and 2001-2002 offerings are also available for
review.
Fall 2002:
CSE 582
Compiler Construction
Hal Perkins -
Instructor (Distance Course)
Day/Time: Tuesday & Thursday 6:30-7:50 pm; Place: UW: Sieg Hall, Room
322; MS: Red West F1002
Principles and practice of building efficient
implementations of modern programming languages. Lexical, syntactic,
and semantic analysis of program. Intermediate program
representations. Intra- and interprocedural analysis and
optimization. Run-time system techniques. Related programming
environment facilities such as source-level debuggers and
profilers. Prerequisite: CSE majors only.
CSE 596 Parallel Computation
Larry Snyder
- Instructor
Day/Time: Monday 6:30-9:20 pm; Place: EE1-003
A survey of parallel computing including the processing modes of
pipelining, data parallelism, thread parallelism and task parallelism;
algorithmic implications of memory models; shared memory and message
passing; hardware implementations; bandwidth and latency;
synchronization, consistency, interprocessor communication;
programming issues including implicit and explicit parallelism,
locality, portability. Prerequisite: CSE majors only.
CSE 576 Image Understanding
Linda
Shapiro - Instructor
Day/Time: Wednesday 6:30-9:20 pm; Place: EE1-003
Overview of computer vision, emphasizing the middle ground between
image processing and artificial intelligence. Image formation,
pre-attentive image processing, boundary and region representions, and
case studies of vision architectures.
Winter 2003:
CSE 592
Applications of Artificial Intelligence
Henry Kautz -
Instructor (Distance Course)
Day/Time: Thursday 6:30-9:20 pm; Place: UW:Sieg 322, MS:Red West F1002
Introduction to the use of artificial intelligence tools and
techniques in industrial and company settings. Topics include:
foundations (search, knowledge representation) and tools such as
expert systems, natural language interfaces and machine learning
techniques. Prerequisite: CSE majors only.
CSE
590 Business Basics for Computer Science Professionals
Emer Dooley -
Instructor Day/Time: Tuesday 6:30-9:20 pm; Place: EE1
(Electrical Engineering Building), room 045
A high-level view of business for non-business students. Covers
business principles relevant to the software industry in four areas:
Competitive Strategy, Finance, Accounting and Human
Resources. Organized as a series of case studies and lectures, the
course will progress from an emphasis on "tools" to a more high-level
look at competitive dynamics in high-tech industries.
CSE 590 Computational Biology
Martin Tompa
- Instructor
Day/Time: Wednesday 6:30-9:20 pm; Place: Mary Gates Hall, room 44
This course introduces computational methods for understanding
biological systems at the molecular level. Problem areas such as
mapping and sequencing, sequence analysis, structure prediction,
phylogenic inference, regulatory analysis. Techniques such as dynamic
programming, Markov models, expectation-maximization, local search.
Prerequisite: CSE majors only.
Spring 2003:
CSEP
548 Computer Architecture
Susan Eggers
- Instructor
Day/Time: Tuesday 6:30-9:20 pm; Place: ROOM
LOCATION HAS CHANGED TO EE1-003
Architecture of the single-chip microprocessor: instruction set design
and processor implementation (pipelining, multiple issue, speculative
execution). Memory hierarchy: on-chip and off-chip caches, TLB's and
thei r management, virtual memory from the hardware viewpoint. I/O
devices and control: buses, disks and RAIDs. Shared-memory
multiprocessors and cache coherence. Prerequisite: CSE majors
only.
CSEP
521 Applied Algorithms
Tami Tamir -
Instructor
Day/Time: Monday 6:30-9:20 pm; Place: ROOM
LOCATION HAS CHANGED TO EE1-037
Principles of design of efficient algorithms with emphasis on
algorithms with real world applications. Examples drawn from
computational geometry, biology, scientific com putation, image
processing, combinatorial optimization, cryptography and operations
research. Prerequisite: CSE majors only.
CSEP
545 Transaction Processing for E-Commerce
Phil Bernstein
- Instructor (Distance Course)
Day/Time: Thursday 6:30-9:20 pm; Place: UW:Sieg 322, MS: Building
113/1159
Technology supporting reliable large-scale distributed computing on
the Internet, especially e-commerce. Topics include the transaction
abstraction, application servers and TP monitors, transactional
communications, persistent queuing and workflow, software fault
tolerance, concurrency control and recovery algorithms, distributed
transactions, two-phase commit, and data replication. Prerequisite:
CSE majors only.
CSEP 546
Data Mining
Pedro Domingos
- Instructor
Day/Time: Wednesday 6:30-9:20 pm; Place: EE1-037
Methods for identifying valid, novel, useful and understandable
patterns in data. Topics to be covered include: induction of
predictive models from data (classification regression, probability
estimation); clustering; and association rules. Prerequisite: CSE
majors only.
Summer 2003:
CSEP 590 Model Checking and Software Verification
David
Richardson - Instructor
Day/Time: Wednesday 6:30-9:20 pm; Place: TBD
An introduction to model checking and its applications to hardware and
software verification. Topics include modeling concurrent systems,
model checking using temporal logics and the mu-calculus, binary
decision diagrams, symbolic model checking, model checking and
automata theory, techniques for dealing with state space explosion,
and other forms of static analysis. Practical applications of model
checking including software verification and understanding of and
experimentation with commercial and research model checkers will
constitute a large part of the course.
Additional Autumn, Winter, and Spring Offerings:
CSE 519 Computer Science Research Seminar
Schedule
and Access Information
Weekly presentations on current research activities by members of the
department. Only Computer Science graduate students may register,
although others are encouraged to attend. Credit/no credit only.
Prerequisite: CSE majors only.
CSE 520 Computer Science Colloquium
Schedule
and Access Information
Weekly public presentations on topics of current interest by visiting
computer scientists. Credit/no credit only. Prerequisite: CSE majors
only.
Please note that 519 and 520 are not offered during the
summer quarter.
|