|COM SCI 219 CMP SYST MDLNG ANLY|
|LEC 1 LU, S.|
|Grade Basis: TBA|
|COM SCI 239 CMPTR PROG LANG&SYS|
|LEC 1 KRIEGER, M.M.|
|Description: Business and
Issues of launching, working in and growing a technology startup. Insights on topics such as product selection and positioning; business models; funding strategies; personnel selection; immigration issues; competition, marketing, holding customers; adapting to today's business arena; management/operations/financial controls; equity compensation; positioning for growth, valuation, and exit; intellectual property, contracts and related legal matters are highlighted. Not all topics covered in one quarter so students are encouraged to enroll in multiple quarters. Guest speakers include entrepreneurs and other experienced professionals.
|Grade Basis: Report or project in lieu of final exam.|
|Credit: 2 units (more by permission in special cases)|
|LEC 2 REIHER, P.L.|
|Description: Computer Security
This course will provide an introduction to topics in the area of computer security, particularly as applied to securing operating systems and networks. The course will cover basic security concepts, access control and security policies, operating system security, basics of cryptography, cryptographic protocols, authentication mechanisms, malicious code, and securing networks against a variety of attacks. The class will also present some recent research in related security areas. Students taking this course are expected to be familiar with the fundamentals of operating systems and computer networks.
- Midterm Exam
- Final Exam
- Group Project
|LEC 3 GUY, R.G.|
This course is a broad look at software issues of distributed systems, with a focus on OS aspects, including: processes, naming, synchronization, consistency/replication, fault tolerance, security, distributed file systems. It relies heavily on Tanenbaum's "Distributed Systems Principles and Paradigms" textbook.
Independent, small-team project
Take-home final exam
- CS 111 (Operating Systems) and CS 118 (Computer Networking) or equivalents
- CS 239 (Advanced Operating Systems) would be helpful, but not required
|LEC 4 PALSBERG, J.|
Interpreters, operational semantics, type systems, type soundness, decision procedures for subtyping, type inference, principal types, typed assembly languages, continuation-passing-style transformation, closure conversion, flow analysis, method inlining.
- One midterm, one final.
- Interpreter for a subset of Java called MiniJava
- Decision procedure for a flexible subtype ordering on Java interfaces
- Translation of MiniJava to continuation passing style, that is, a form where all method calls are in tail position
- Type inference algorithm for a subset of Scheme
- Flow-directed inlining algorithm for MiniJava
- CS 132 (Compilers) or equivalent (informal prerequisite)
|LEC 5 SARRAFZADEH, M.|
The goal of the course is teach the fundamental paradigms for designing efficient algorithms dealing with collections of geometric objects (such as points, lines, line segments, planes, etc.). The course topics include the following: Convex hulls, Proximity problems and Voronoi diagrams, Geometric searching and planar point location, Planar decompositions and triangulations, Intersection and arrangement problems, Visibility and envelope problems, and Randomization in geometric algorithms. Various applications of these techniques in engineering and science will be discussed.
- Midterm (50%)
- Final Project (50%)
- CS 180 (Intro to Algorithms) or equivalent
|LEC 6 MELKANOFF, M.|
|Description: Human and
The current trend toward human communication wherein the participants are further and further separated in time and space from each other represents a major change in human interactions, a revolution whose consequences may be far more dramatic than we can even suspect. The purpose of this course is to examine in some depth various aspects of human languages in order to gain a deeper understanding of the ways by which human beings communicate and interact, thereby preparing us to deal more effectively with the brave new world to which we are being hurled by the computer and the web.
The material covered by this course will include the following topics:
• the primary functions of human language including communication and social bonding;
• the acquisition of language;
• the evolutionary road to language;
• spoken versus written languages;
• semiotics, the theory of signs;
• formal models of language (from classical logic to the new grammars);
• animal languages (natural and artificial);
• the relationship between human and computer languages.
- 50% Term Project (with in-class presentation)
- 50% Final Exam (typical questions will be distributed)
|Prerequisites: Consent of Instructor. Students from all disciplines are welcome.|
|LEC 7 MAJUMDAR, R.|
The course introduces the theory and practice of formal methods for the design and analysis of concurrent and embedded systems. The emphasis is on the underlying logical and automata-theoretic concepts, the algorithmic solutions, and heuristics to cope with the high computational complexity. Topics include
• Models and semantics of reactive systems: states vs. events, nondeterminism vs. concurrency, synchrony vs. asynchrony, safety vs. liveness, open systems.
• Verification algorithms: temporal logic model checking, theory of omega automata, realizability and control, minimization.
• Verification techniques: symbolic model checking, on-the-fly model checking, state space reduction methods, compositional and hierarchical reasoning, abstract interpretation, counterexample-guided refinement.
For more information, visit the course webpage.
Grades will be awarded on the basis of a few homework assignments and a project paper. Instead of a final exam, there will be presentations of the project papers.
The course requires basic knowledge of algorithms, data structures, automata theory, computational complexity, and propositional logic.
- CS 180 (Intro to Algorithms) or equivalent
- CS 181 (Formal Languages and Automata) or equivalent
|COM SCI 259 Advanced Topics in Microprocessor Design|
|LEC 1 REINMAN, G.D.|
|Description: Study of current research in general purpose microarchitecture. The processor pipeline will be explored in detail, with attention to performance, complexity, cycle time, power, and area. Recent real world architectures will be used for illustration, along with on-going research efforts in topics that will include branch prediction, load speculation, simultaneous multithreading, cache design/prefetching, register file design, and various techniques to combat processor scaling trends.|
- Weekly written assignments on research papers in microprocessor architecture.
- Lab assignments using both a functional simulator and a cycle accurate microprocessor simulator.
- One oral presentation on a recent real world processor design.
- A written proposal for a group research project that can optionally be continued in CS259: Microprocessor Simulation (Offered in the Spring).
- CS 251A ("very informal but recommended" pre-requisite)
|COM SCI 269 ARTIFICL INTELLIGNC|
|SEM 1 SOATTO, S.|
|Description: This seminar course
will cover the state of the art in visual recognition.
The prototype problem will consist in detecting and recognizing objects, or classes of objects, in images. This is a fundamental and yet open problem, for which there exists no accepted solution. We will review current literature and discuss ideas and directions. This is a discussion-based course, so students are expected to actively contribute to the discussion. This is an evolving course, so it can be repeated for credit. For more information, view the course syllabus (may need to be updated).
|Grade Basis: Grading is based on participation in the discussion, and in presenting a subset of the literature. Reading material will be assigned and distributed on the first day of class (organizational meeting).|
|SEM 2 FALOUTSOS, P.|
|Description: The purpose of this course is to cover a variety of state of the art techniques in computer animation. The course will focus on physics-based animation techniques for character animation and it will include the following topics: kinematic animation, procedural animation, physics-based simulation, behavioral animation, deformable models, virtual agents, believable agents, particle system techniques, natural phenomena, fluid simulation and texture synthesis.|
|Grade Basis: Participants will be required to present 4-5 papers during the course and complete a project. Paper presentation will count for 30%, project proposal 10% and the project itself 60%.|
|COM SCI 282A CRYPTOGRAPHY|
|LEC 1 OSTROVSKY, R.|
|Description: For details, visit the following link: http://www.cs.ucla.edu/~rafail/TEACHING/282A.html|
|COM SCI 289RA RANDOMIZD ALGORITHM|
|LEC 1 KOUTSOUPIAS, E.|
|Description: How to use, design, and analyze randomized algorithms.|
|Grade Basis: Homework, exam(s)|