Home | Subject Search | Help | Symbols Help | |||||||||||||||||||||||||||
Course 6: Electrical Engineering and Computer Science |
| | 6.10/6.50 | | | 6.20/6.60 | | | 6.30/6.70 | | | 6.40/6.80 | | | 6.90/6.ZZ | | |
Programming & Software Engineering6.100A Introduction to Computer Science Programming in Python
(, ); first half of term
Prereq: None Units: 3-0-3 Credit cannot also be received for 6.100L URL: https://introcomp.mit.edu/spring24 Ends Mar 22. Lecture: MW3-4.30 (26-100) Recitation: F10 (5-134) or F11 (5-134, 24-121) or F12 (24-121) or F1 (5-134) or F2 (5-134) or F1 (5-217) or F2 (5-217) Introduction to computer science and programming for students with little or no programming experience. Students develop skills to program and use computational techniques to solve problems. Topics include the notion of computation, Python, simple algorithms and data structures, testing and debugging, and algorithmic complexity. Combination of 6.100A and 6.100B or 16.C20 counts as REST subject. Final given in the seventh week of the term. Fall: A. Bell Spring: A. Bell Textbooks (Spring 2024) 6.100B Introduction to Computational Thinking and Data Science
(, ); second half of term
Prereq: 6.100A or permission of instructor Units: 3-0-3 Credit cannot also be received for 9.C20, 16.C20, 18.C20, CSE.C20 URL: https://introcomp.mit.edu/spring23 Begins Apr 1. Lecture: MW3-4.30 (26-100) Recitation: F10 (5-134) or F11 (5-134, 24-121) or F12 (24-121) or F1 (5-134) or F2 (5-134) or F1 (5-217) or F2 (5-217) Provides an introduction to using computation to understand real-world phenomena. Topics include plotting, stochastic programs, probability and statistics, random walks, Monte Carlo simulations, modeling data, optimization problems, and clustering. Combination of 6.100A and 6.100B counts as REST subject. Fall: A. Bell Spring: A. Bell Textbooks (Spring 2024) 6.100L Introduction to Computer Science and Programming
(, )
Prereq: None Units: 3-0-6 Credit cannot also be received for 6.100A URL: https://introcomp.mit.edu/6.100L_sp24 Lecture: MW3-4.30 (1-190) Recitation: F10 (32-123) Introduction to computer science and programming for students with no programming experience. Presents content taught in 6.100A over an entire semester. Students develop skills to program and use computational techniques to solve problems. Topics include the notion of computation, Python, simple algorithms and data structures, testing and debugging, and algorithmic complexity. Combination of 6.100L and 6.100B or 16.C20 counts as REST subject. Fall: A. Bell Spring: A. Bell Textbooks (Spring 2024) 6.1010 Fundamentals of Programming
(, )
Prereq: 6.100A Units: 2-4-6 Lecture: MW9 (32-124) or MW10 (32-124, 32-144) or MW11 (56-154, 37-212) or MW1 (1-190, 4-270) or MW2 (1-190) or MW3 (3-270) Lab: F10-1 (34-501) or F2-5 (34-501) +final Introduces fundamental concepts of programming. Designed to develop skills in applying basic methods from programming languages to abstract problems. Topics include programming and Python basics, computational concepts, software engineering, algorithmic techniques, data types, and recursion. Lab component consists of software design, construction, and implementation of design. Enrollment may be limited. Fall: A. Hartz Spring: A. Chlipala No required or recommended textbooks 6.1020 Software Construction
()
Prereq: 6.1010 Units: 3-0-12 Lecture: TR9.30-11 (26-100) +final Introduces fundamental principles and techniques of software development: how to write software that is safe from bugs, easy to understand, and ready for change. Topics include specifications and invariants; testing, test-case generation, and coverage; abstract data types and representation independence; design patterns for object-oriented programming; concurrent programming, including message passing and shared memory concurrency, and defending against races and deadlock; and functional programming with immutable data and higher-order functions. Includes weekly programming exercises and larger group programming projects. M. Goldman No required or recommended textbooks 6.1040 Software Design
()
Prereq: 6.1020 and 6.1200 Units: 4-0-14 URL: https://61040-fa23.github.io Provides design-focused instruction on how to build complex software applications. Design topics include classic human-computer interaction (HCI) design tactics (need finding, heuristic evaluation, prototyping, user testing), conceptual design (inventing, modeling and evaluating constituent concepts), social and ethical implications, abstract data modeling, and visual design. Implementation topics include reactive front-ends, web services, and databases. Students work both on individual projects and a larger team project in which they design and build full-stack web applications. D. Jackson 6.1060 Software Performance Engineering
()
Prereq: 6.1020, 6.1210, and 6.1910 Units: 3-12-3 Project-based introduction to building efficient, high-performance and scalable software systems. Topics include performance analysis, algorithmic techniques for high performance, instruction-level optimizations, vectorization, cache and memory hierarchy optimization, and parallel programming. C. Leiserson 6.5060 Algorithm Engineering
()
Prereq: 6.1060 and 6.1220 Units: 3-0-9 Lecture: TR11-12.30 (3-370) Covers the theory and practice of algorithms and data structures. Topics include models of computation, algorithm design and analysis, and performance engineering of algorithm implementations. Presents the design and implementation of sequential, parallel, cache-efficient, and external-memory algorithms. Illustrates many of the principles of algorithm engineering in the context of parallel algorithms and graph problems. J. Shun No textbook information available 6.5080 Multicore Programming
()
(Subject meets with 6.5081) Prereq: 6.1210 Units: 4-0-8 Lecture: W11-2 (45-102) Recitation: F11 (66-144) or R11 (34-302) or F4 (34-302) Introduces principles and core techniques for programming multicore machines. Topics include locking, scalability, concurrent data structures, multiprocessor scheduling, load balancing, and state-of-the-art synchronization techniques, such as transactional memory. Includes sequence of programming assignments on a large multicore machine, culminating with the design of a highly concurrent application. Students taking graduate version complete additional assignments. N. Shavit No textbook information available 6.5081 Multicore Programming
()
(Subject meets with 6.5080) Prereq: 6.1210 Units: 4-0-8 Lecture: W11-2 (45-102) Recitation: F11 (66-144) or R11 (34-302) or F4 (34-302) Introduces principles and core techniques for programming multicore machines. Topics include locking, scalability, concurrent data structures, multiprocessor scheduling, load balancing, and state-of-the-art synchronization techniques, such as transactional memory. Includes sequence of programming assignments on a large multicore machine, culminating with the design of a highly concurrent application. Students taking graduate version complete additional assignments. N. Shavit No textbook information available Programming Languages6.1100 Computer Language Engineering
()
Prereq: 6.1020 and 6.1910 Units: 4-4-4 Lecture: MWF11 (32-124) Recitation: TR12 (32-124) Analyzes issues associated with the implementation of higher-level programming languages. Fundamental concepts, functions, and structures of compilers. The interaction of theory and practice. Using tools in building software. Includes a multi-person project on compiler design and implementation. M. Rinard No textbook information available 6.1120 Dynamic Computer Language Engineering
()
Prereq: 6.1020 or 6.1910 Units: 4-4-4 Studies the design and implementation of modern, dynamic programming languages. Topics include fundamental approaches for parsing, semantics and interpretation, virtual machines, garbage collection, just-in-time machine code generation, and optimization. Includes a semester-long, group project that delivers a virtual machine that spans all of these topics. M. Rinard 6.5110 Foundations of Program Analysis
()
Prereq: 6.1100 Units: 3-0-9 Presents major principles and techniques for program analysis. Includes formal semantics, type systems and type-based program analysis, abstract interpretation and model checking and synthesis. Emphasis on Haskell and Ocaml, but no prior experience in these languages is assumed. Student assignments include implementing of techniques covered in class, including building simple verifiers. A. Solar-Lezama 6.5120 Formal Reasoning About Programs
()
Prereq: 6.1020 and 6.1200 Units: 3-0-9 Surveys techniques for rigorous mathematical reasoning about correctness of software, emphasizing commonalities across approaches. Introduces interactive computer theorem proving with the Coq proof assistant, which is used for all assignments, providing immediate feedback on soundness of logical arguments. Covers common program-proof techniques, including operational semantics, model checking, abstract interpretation, type systems, program logics, and their applications to functional, imperative, and concurrent programs. Develops a common conceptual framework based on invariants, abstraction, and modularity applied to state and labeled transition systems. Staff 6.5150 Large-scale Symbolic Systems
()
(Subject meets with 6.5151) Prereq: 6.4100 or permission of instructor Units: 3-0-9 Lecture: MWF2 (35-225) Concepts and techniques for the design and implementation of large software systems that can be adapted to uses not anticipated by the designer. Applications include compilers, computer-algebra systems, deductive systems, and some artificial intelligence applications. Covers means for decoupling goals from strategy, mechanisms for implementing additive data-directed invocation, work with partially-specified entities, and how to manage multiple viewpoints. Topics include combinators, generic operations, pattern matching, pattern-directed invocation, rule systems, backtracking, dependencies, indeterminacy, memoization, constraint propagation, and incremental refinement. Students taking graduate version complete additional assignments. G. J. Sussman Textbooks (Spring 2024) 6.5151 Large-scale Symbolic Systems
()
(Subject meets with 6.5150) Prereq: 6.4100 or permission of instructor Units: 3-0-9 Lecture: MWF2 (35-225) Concepts and techniques for the design and implementation of large software systems that can be adapted to uses not anticipated by the designer. Applications include compilers, computer-algebra systems, deductive systems, and some artificial intelligence applications. Covers means for decoupling goals from strategy, mechanisms for implementing additive data-directed invocation, work with partially-specified entities, and how to manage multiple viewpoints. Topics include combinators, generic operations, pattern matching, pattern-directed invocation, rule systems, backtracking, dependencies, indeterminacy, memoization, constraint propagation, and incremental refinement. Students taking graduate version complete additional assignments. G. Sussman Textbooks (Spring 2024) 6.5160J Classical Mechanics: A Computational Approach
()
(Same subject as 8.351[J], 12.620[J]) Prereq: Physics I (GIR), 18.03, and permission of instructor Units: 3-3-6 Classical mechanics in a computational framework, Lagrangian formulation, action, variational principles, and Hamilton's principle. Conserved quantities, Hamiltonian formulation, surfaces of section, chaos, and Liouville's theorem. Poincaré integral invariants, Poincaré-Birkhoff and KAM theorems. Invariant curves and cantori. Nonlinear resonances, resonance overlap and transition to chaos. Symplectic integration. Adiabatic invariants. Applications to simple physical systems and solar system dynamics. Extensive use of computation to capture methods, for simulation, and for symbolic analysis. Programming experience required. J. Wisdom, G. J. Sussman Theoretical Computer Science6.1200J Mathematics for Computer Science
(, )
(Same subject as 18.062[J]) Prereq: Calculus I (GIR) Units: 5-0-7 Lecture: TR2.30-4 (26-100) Recitation: WF10 (38-166, 36-155) or WF11 (38-166, 36-155, 26-168) or WF12 (38-166, 36-156, 26-168) or WF1 (38-166, 36-156, 35-310) or WF2 (38-166, 36-156, 35-308) or WF3 (38-166, 36-156) +final Elementary discrete mathematics for science and engineering, with a focus on mathematical tools and proof techniques useful in computer science. Topics include logical notation, sets, relations, elementary graph theory, state machines and invariants, induction and proofs by contradiction, recurrences, asymptotic notation, elementary analysis of algorithms, elementary number theory and cryptography, permutations and combinations, counting tools, and discrete probability. Fall: Z. Abel Spring: Z. Abel No required or recommended textbooks 6.120A Discrete Mathematics and Proof for Computer Science
(); second half of term
Prereq: Calculus I (GIR) Units: 3-0-3 Lecture: TR1-2.30 (32-144) Subset of elementary discrete mathematics for science and engineering useful in computer science. Topics may include logical notation, sets, done relations, elementary graph theory, state machines and invariants, induction and proofs by contradiction, recurrences, asymptotic notation, elementary analysis of algorithms, elementary number theory and cryptography, permutations and combinations, counting tools. M. Medard No textbook information available 6.1210 Introduction to Algorithms
(, )
Prereq: 6.100A and (6.120A or 6.1200) Units: 5-0-7 Lecture: TR11-12.30 (26-100) Recitation: WF10 (34-304, 34-303, 36-156) or WF11 (34-304, 34-303, 34-301) or WF12 (34-304, 34-301) or WF1 (34-304, 34-303, 34-301) or WF2 (34-304, 34-303, 34-301) or WF3 (34-304, 34-301) or WF4 (34-304) or WF10 (36-153) or WF4 (36-155) +final Introduction to mathematical modeling of computational problems, as well as common algorithms, algorithmic paradigms, and data structures used to solve these problems. Emphasizes the relationship between algorithms and programming, and introduces basic performance measures and analysis techniques for these problems. Enrollment may be limited. Fall: M. Karchmer Spring: B. Chapman Textbooks (Spring 2024) 6.1220J Design and Analysis of Algorithms
(, )
(Same subject as 18.410[J]) Prereq: 6.1200 and 6.1210 Units: 4-0-8 Lecture: TR11-12.30 (32-123) Recitation: F9 (36-112) or F10 (36-112) or F11 (36-112) or F12 (36-112) or F1 (36-112) or F2 (36-112) or F3 (36-112) or F10 (24-121) or F11 (4-265) or F12 (4-265) or F1 (4-265) or F2 (24-121) or F3 (24-121) +final Techniques for the design and analysis of efficient algorithms, emphasizing methods useful in practice. Topics include sorting; search trees, heaps, and hashing; divide-and-conquer; dynamic programming; greedy algorithms; amortized analysis; graph algorithms; and shortest paths. Advanced topics may include network flow; computational geometry; number-theoretic algorithms; polynomial and matrix calculations; caching; and parallel computing. Fall: S. Raghuraman Spring: S. Raghuraman Textbooks (Spring 2024) 6.1400J Computability and Complexity Theory
()
(Same subject as 18.400[J]) Prereq: (6.1200 and 6.1210) or permission of instructor Units: 4-0-8 Lecture: TR2.30-4 (34-304) Recitation: F11 (4-257) or F1 (24-121) Mathematical introduction to the theory of computing. Rigorously explores what kinds of tasks can be efficiently solved with computers by way of finite automata, circuits, Turing machines, and communication complexity, introducing students to some major open problems in mathematics. Builds skills in classifying computational tasks in terms of their difficulty. Discusses other fundamental issues in computing, including the Halting Problem, the Church-Turing Thesis, the P versus NP problem, and the power of randomness. D. Minzer No textbook information available 6.1420 Fixed Parameter and Fine-grained Computation
()
Prereq: 6.1200, 6.1210, and (6.1220, 6.1400, or 18.404) Units: 3-0-9 An overview of the theory of parameterized algorithms and the "problem-centric" theory of fine-grained complexity, both of which reconsider how to measure the difficulty and feasibility of solving computational problems. Topics include: fixed-parameter tractability (FPT) and its characterizations, the W-hierarchy (W[1], W[2], W[P], etc.), 3-sum-hardness, all-pairs shortest paths (APSP)-equivalences, strong exponential time hypothesis (SETH) hardness of problems, and the connections to circuit complexity and other aspects of computing. Staff 6.5210J Advanced Algorithms
()
(Same subject as 18.415[J]) Prereq: 6.1220 and (6.1200, 6.3700, or 18.600) Units: 5-0-7 First-year graduate subject in algorithms. Emphasizes fundamental algorithms and advanced methods of algorithmic design, analysis, and implementation. Surveys a variety of computational models and the algorithms for them. Data structures, network flows, linear programming, computational geometry, approximation algorithms, online algorithms, parallel algorithms, external memory, streaming algorithms. Staff 6.5220J Randomized Algorithms
()
(Same subject as 18.416[J]) Prereq: (6.1200 or 6.3700) and (6.1220 or 6.5210) Units: 5-0-7 Studies how randomization can be used to make algorithms simpler and more efficient via random sampling, random selection of witnesses, symmetry breaking, and Markov chains. Models of randomized computation. Data structures: hash tables, and skip lists. Graph algorithms: minimum spanning trees, shortest paths, and minimum cuts. Geometric algorithms: convex hulls, linear programming in fixed or arbitrary dimension. Approximate counting; parallel algorithms; online algorithms; derandomization techniques; and tools for probabilistic analysis of algorithms. D. R. Karger 6.5230 Advanced Data Structures
()
Prereq: 6.1220 Units: 3-0-9 Subject Cancelled More advanced and powerful data structures for answering several queries on the same data. Such structures are crucial in particular for designing efficient algorithms. Dictionaries; hashing; search trees. Self-adjusting data structures; linear search; splay trees; dynamic optimality. Integer data structures; word RAM. Predecessor problem; van Emde Boas priority queues; y-fast trees; fusion trees. Lower bounds; cell-probe model; round elimination. Dynamic graphs; link-cut trees; dynamic connectivity. Strings; text indexing; suffix arrays; suffix trees. Static data structures; compact arrays; rank and select. Succinct data structures; tree encodings; implicit data structures. External-memory and cache-oblivious data structures; B-trees; buffer trees; tree layout; ordered-file maintenance. Temporal data structures; persistence; retroactivity. Staff 6.5240 Sublinear Time Algorithms
()
Prereq: 6.1220 or permission of instructor Units: 3-0-9 Sublinear time algorithms understand parameters and properties of input data after viewing only a minuscule fraction of it. Tools from number theory, combinatorics, linear algebra, optimization theory, distributed algorithms, statistics, and probability are covered. Topics include: testing and estimating properties of distributions, functions, graphs, strings, point sets, and various combinatorial objects. Staff 6.5250J Distributed Algorithms
()
(Same subject as 18.437[J]) Prereq: 6.1220 Units: 3-0-9 Design and analysis of concurrent algorithms, emphasizing those suitable for use in distributed networks. Process synchronization, allocation of computational resources, distributed consensus, distributed graph algorithms, election of a leader in a network, distributed termination, deadlock detection, concurrency control, communication, and clock synchronization. Special consideration given to issues of efficiency and fault tolerance. Formal models and proof methods for distributed computation. M. Ghaffari, N. A. Lynch 6.5310 Geometric Folding Algorithms: Linkages, Origami, Polyhedra
()
Prereq: 6.1220 or permission of instructor Units: 3-0-9 Covers discrete geometry and algorithms underlying the reconfiguration of foldable structures, with applications to robotics, manufacturing, and biology. Linkages made from one-dimensional rods connected by hinges: constructing polynomial curves, characterizing rigidity, characterizing unfoldable versus locked, protein folding. Folding two-dimensional paper (origami): characterizing flat foldability, algorithmic origami design, one-cut magic trick. Unfolding and folding three-dimensional polyhedra: edge unfolding, vertex unfolding, gluings, Alexandrov's Theorem, hinged dissections. E. D. Demaine 6.5320 Geometric Computing
()
Prereq: 6.1220 Units: 3-0-9 Lecture: TR1-2.30 (32-124) Introduction to the design and analysis of algorithms for geometric problems, in low- and high-dimensional spaces. Algorithms: convex hulls, polygon triangulation, Delaunay triangulation, motion planning, pattern matching. Geometric data structures: point location, Voronoi diagrams, Binary Space Partitions. Geometric problems in higher dimensions: linear programming, closest pair problems. High-dimensional nearest neighbor search and low-distortion embeddings between metric spaces. Geometric algorithms for massive data sets: external memory and streaming algorithms. Geometric optimization. P. Indyk No textbook information available 6.5340 Topics in Algorithmic Game Theory
()
Prereq: 6.1210 or 6.1220 Units: 3-0-9 Subject Cancelled Presents research topics at the interface of computer science and game theory, with an emphasis on algorithms and computational complexity. Explores the types of game-theoretic tools that are applicable to computer systems, the loss in system performance due to the conflicts of interest of users and administrators, and the design of systems whose performance is robust with respect to conflicts of interest inside the system. Algorithmic focus is on algorithms for equilibria, the complexity of equilibria and fixed points, algorithmic tools in mechanism design, learning in games, and the price of anarchy. Staff 6.5350 Matrix Multiplication and Graph Algorithms
()
Prereq: 6.1220 Units: 3-0-9 Explores topics around matrix multiplication (MM) and its use in the design of graph algorithms. Focuses on problems such as transitive closure, shortest paths, graph matching, and other classical graph problems. Explores fast approximation algorithms when MM techniques are too expensive. Staff 6.5400J Theory of Computation
()
(Same subject as 18.4041[J]) (Subject meets with 18.404) Prereq: 6.1200 or 18.200 Units: 4-0-8 A more extensive and theoretical treatment of the material in 6.1400J/18.400J, emphasizing computability and computational complexity theory. Regular and context-free languages. Decidable and undecidable problems, reducibility, recursive function theory. Time and space measures on computation, completeness, hierarchy theorems, inherently complex problems, oracles, probabilistic computation, and interactive proof systems. Students in Course 18 must register for the undergraduate version, 18.404. M. Sipser 6.5410J Advanced Complexity Theory
()
(Same subject as 18.405[J]) Prereq: 18.404 Units: 3-0-9 Lecture: TR2.30-4 (35-225) Current research topics in computational complexity theory. Nondeterministic, alternating, probabilistic, and parallel computation models. Boolean circuits. Complexity classes and complete sets. The polynomial-time hierarchy. Interactive proof systems. Relativization. Definitions of randomness. Pseudo-randomness and derandomizations. Interactive proof systems and probabilistically checkable proofs. R. Williams Textbooks (Spring 2024) 6.5420 Randomness and Computation
()
Prereq: 6.1220 and 18.4041 Units: 3-0-9 The power and sources of randomness in computation. Connections and applications to computational complexity, computational learning theory, cryptography and combinatorics. Topics include: probabilistic proofs, uniform generation and approximate counting, Fourier analysis of Boolean functions, computational learning theory, expander graphs, pseudorandom generators, derandomization. R. Rubinfeld 6.5430 Quantum Complexity Theory
()
Prereq: 6.1400, 18.4041, and 18.435 Units: 3-0-9 Subject Cancelled Introduction to quantum computational complexity theory, the study of the fundamental capabilities and limitations of quantum computers. Topics include complexity classes, lower bounds, communication complexity, proofs and advice, and interactive proof systems in the quantum world; classical simulation of quantum circuits. The objective is to bring students to the research frontier. Staff Security & Cryptography6.1600 Foundations of Computer Security
()
Prereq: 6.1210 and 6.1800 Units: 4-0-8 Fundamental notions and big ideas for achieving security in computer systems. Topics include cryptographic foundations (pseudorandomness, collision-resistant hash functions, authentication codes, signatures, authenticated encryption, public-key encryption), systems ideas (isolation, non-interference, authentication, access control, delegation, trust), and implementation techniques (privilege separation, fuzzing, symbolic execution, runtime defenses, side-channel attacks). Case studies of how these ideas are realized in deployed systems. Lab assignments apply ideas from lectures to learn how to build secure systems and how they can be attacked. H. Corrigan-Gibbs 6.5610 Applied Cryptography and Security
()
Prereq: 6.1200 and 6.1800 Units: 4-0-8 Lecture: MW11-12.30 (6-120) Recitation: F11 (1-190) Emphasis on applied cryptography. May include: basic notion of systems security, cryptographic hash functions, symmetric cryptography (one-time pad, block ciphers, stream ciphers, message authentication codes), hash functions, key-exchange, public-key cryptography (encryption, digital signatures), elliptic curve cryptography, secret-sharing, fully homomorphic encryption, zero-knowledge proofs, and electronic voting. Assignments include a final group project. Topics may vary year to year. H. Corrigan-Gibbs No textbook information available 6.5620J Cryptography and Cryptanalysis
()
(Same subject as 18.425[J]) Prereq: 6.1220 Units: 3-0-9 A rigorous introduction to modern cryptography. Emphasis on the fundamental cryptographic primitives of public-key encryption, digital signatures, pseudo-random number generation, and basic protocols and their computational complexity requirements. V. Vaikuntanathan 6.5630 Advanced Topics in Cryptography
()
Prereq: 6.5620 Units: 3-0-9 In-depth exploration of recent results in cryptography. Y. Kalai 6.5660 Computer Systems Security
()
Prereq: 6.1020 and 6.1800 Units: 3-6-3 Lecture: TR2.30-4 (45-230) +final Design and implementation of secure computer systems. Lectures cover attacks that compromise security as well as techniques for achieving security, based on recent research papers. Topics include operating system security, privilege separation, capabilities, language-based security, cryptographic network protocols, trusted hardware, and security in web applications and mobile phones. Labs involve implementing and compromising a web application that sandboxes arbitrary code, and a group final project. N. Zeldovich No textbook information available Computer Systems6.1800 Computer Systems Engineering
()
Prereq: 6.1910 Units: 5-1-6 URL: https://mit.edu/6.1800 Lecture: MW2 (26-100) Lab: F1 (36-144) or F2 (36-144) or F1 (26-142) or F2 (26-142) or F1 (26-210) or F2 (26-210) or F1 (26-314) or F2 (26-314) or F1 (4-149) or F2 (4-149) or F1 (4-261) or F2 (4-261) or F1 (4-145) or F2 (4-145) or F1 (24-307) or F2 (24-307) Recitation: TR10 (34-301, 36-153, 36-156) or TR11 (34-301, 36-153, 36-156, 34-303) or TR12 (34-303, 36-155) or TR1 (34-302, 35-310, 36-155, 24-307) or TR2 (34-302, 35-308, 24-307) +final Topics on the engineering of computer software and hardware systems: techniques for controlling complexity; strong modularity using client-server design, operating systems; performance, networks; naming; security and privacy; fault-tolerant systems, atomicity and coordination of concurrent activities, and recovery; impact of computer systems on society. Case studies of working systems and readings from the current literature provide comparisons and contrasts. Includes a single, semester-long design project. Students engage in extensive written communication exercises. Enrollment may be limited. K. LaCurts Textbooks (Spring 2024) 6.1810 Operating System Engineering
()
Prereq: 6.1910 Units: 3-0-9 Design and implementation of operating systems, and their use as a foundation for systems programming. Topics include virtual memory, file systems, threads, context switches, kernels, interrupts, system calls, interprocess communication, coordination, and interaction between software and hardware. A multi-processor operating system for RISC-V, xv6, is used to illustrate these topics. Individual laboratory assignments involve extending the xv6 operating system, for example to support sophisticated virtual memory features and networking. R. Morris 6.1820J Mobile and Sensor Computing
()Not offered regularly; consult department (Same subject as MAS.453[J]) Prereq: 6.1800 or permission of instructor Units: 3-0-9 Focuses on "Internet of Things" (IoT) systems and technologies, sensing, computing, and communication. Explores fundamental design and implementation issues in the engineering of mobile and sensor computing systems. Topics include battery-free sensors, seeing through wall, robotic sensors, vital sign sensors (breathing, heartbeats, emotions), sensing in cars and autonomous vehicles, subsea IoT, sensor security, positioning technologies (including GPS and indoor WiFi), inertial sensing (accelerometers, gyroscopes, inertial measurement units, dead-reckoning), embedded and distributed system architectures, sensing with radio signals, sensing with microphones and cameras, wireless sensor networks, embedded and distributed system architectures, mobile libraries and APIs to sensors, and application case studies. Includes readings from research literature, as well as laboratory assignments and a significant term project. Staff 6.1850 Computer Systems and Society
()
Prereq: 6.1800 Units: 3-0-9 Explores the impact of computer systems on individual humans, society, and the environment. Examines large- and small-scale power structures that stem from low-level technical design decisions, the consequences of those structures on society, and how they can limit or provide access to certain technologies. Students learn to assess design decisions within an ethical framework and consider the impact of their decisions on non-users. Case studies of working systems and readings from the current literature provide comparisons and contrasts. Possible topics include the implications of hierarchical designs (e.g., DNS) for scale; how layered models influence what parts of a network have the power to take certain actions; and the environmental impact of proof-of-work-based systems such as Bitcoin. Enrollment may be limited. K. Lacurts 6.5810 Operating System Engineering
()
Prereq: 6.1020 and 6.1800 Units: 3-6-3 Fundamental design and implementation issues in the engineering of operating systems. Lectures based on the study of a symmetric multiprocessor version of UNIX version 6 and research papers. Topics include virtual memory; file system; threads; context switches; kernels; interrupts; system calls; interprocess communication; coordination, and interaction between software and hardware. Individual laboratory assignments accumulate in the construction of a minimal operating system (for an x86-based personal computer) that implements the basic operating system abstractions and a shell. Knowledge of programming in the C language is a prerequisite. M. Kaashoek 6.5820 Computer Networks
()
Prereq: 6.1800 or permission of instructor Units: 4-0-8 Topics on the engineering and analysis of network protocols and architecture, including architectural principles for designing heterogeneous networks; transport protocols; Internet routing; router design; congestion control and network resource management; wireless networks; network security; naming; overlay and peer-to-peer networks. Readings from original research papers. Semester-long project and paper. M. Ghobadi 6.5830 Database Systems
()
(Subject meets with 6.5831) Prereq: (6.1800 and (6.1210 or 6.1220)) or permission of instructor Units: 3-0-9 Topics related to the engineering and design of database systems, including data models; database and schema design; schema normalization and integrity constraints; query processing; query optimization and cost estimation; transactions; recovery; concurrency control; isolation and consistency; distributed, parallel and heterogeneous databases; adaptive databases; trigger systems; pub-sub systems; semi structured data and XML querying. Lecture and readings from original research papers. Semester-long project and paper. Students taking graduate version complete different assignments. Enrollment may be limited. S. R. Madden 6.5831 Database Systems
()
(Subject meets with 6.5830) Prereq: (6.1800 and (6.1210 or 6.1220)) or permission of instructor Units: 3-0-9 Topics related to the engineering and design of database systems, including data models; database and schema design; schema normalization and integrity constraints; query processing; query optimization and cost estimation; transactions; recovery; concurrency control; isolation and consistency; distributed, parallel and heterogeneous databases; adaptive databases; trigger systems; pub-sub systems; semi structured data and XML querying. Lecture and readings from original research papers. Semester-long project and paper. Students taking graduate version complete different assignments. Enrollment may be limited. S. Madden 6.5840 Distributed Computer Systems Engineering
()
Prereq: 6.1800 and permission of instructor Units: 3-0-9 Lecture: TR1-2.30 (E25-111) +final Abstractions and implementation techniques for engineering distributed systems: remote procedure call, threads and locking, client/server, peer-to-peer, consistency, fault tolerance, and security. Readings from current literature. Individual laboratory assignments culminate in the construction of a fault-tolerant and scalable network file system. Programming experience with C/C++ required. Enrollment limited. R. Morris No textbook information available 6.5850 Principles of Computer Systems
()Not offered regularly; consult department Prereq: Permission of instructor Units: 3-0-9 Introduction to the basic principles of computer systems with emphasis on the use of rigorous techniques as an aid to understanding and building modern computing systems. Particular attention paid to concurrent and distributed systems. Topics include: specification and verification, concurrent algorithms, synchronization, naming, Networking, replication techniques (including distributed cache management), and principles and algorithms for achieving reliability. M. F. Kaashoek, B. Lampson, N. B. Zeldovich Computer Architecture6.1903 Introduction to Low-level Programming in C and Assembly
(); first half of term
|
| | 6.10/6.50 | | | 6.20/6.60 | | | 6.30/6.70 | | | 6.40/6.80 | | | 6.90/6.ZZ | | |