10-423 + 10-623, Spring 2025 Course Homepage

Description. This course covers a number of advanced topics in the development of data management systems. The topics discussed include query processing and optimization strategies, advanced concurrency control and recovery techniques, advanced access methods, parallel and distributed data systems, and the implications of …

Jan 13, 2025 · Overview. Computing in the cloud has emerged as a leading paradigm for cost-effective, scalable, well-managed computing. Users pay for services provided in a broadly shared, power efficient datacenter, enabling dynamic computing needs to …

Dec 26, 2021 · I am an assistant professor in the Robotics Institute at CMU, where I lead Intelligent Control Lab.Prior to joining CMU in 2019, I was a postdoc at Stanford Intelligent Systems Laboratory.I obtained my Ph.D from Berkeley in 2017, where I worked in Mechanical Systems & Control Lab.I got my bachelor degree from Tsinghua University in 2012.

Minchen is an Assistant Professor in the Computer Science Department at Carnegie Mellon University since 2023. Previously, he was an Assistant Adjunct Professor at the UCLA Department of Mathematics, within the AIVC Lab.He completed his Ph.D. in 2020 from the SIG Center for Computer Graphics at the University of Pennsylvania, advised by Chenfanfu Jiang.

Jan 11, 2025 · Overview. The purpose of this course is to introduce the theory and practice of functional programming (FP).The characteristic feature of FP is the emphasis on computation as evaluation.The traditional distinction between program and data characteristic of imperative programming (IP) is replaced by an emphasis on classifying expressions by types that specify their applicative behavior.

Machine Learning, Tom Mitchell, McGraw Hill, 1997. Machine Learning is the study of computer algorithms that improve automatically through experience. This book provides a single source introduction to the field.

Answers. Following are some exercises on finite state machines. You should attempt to work through these before checking the answers. For the problems in this section, draw a deterministic finite state machine which implements the specification.

Mondays and Wednesdays: 3:05 - 4:25 pm, GHC 6115. Lecture sessions will be recorded and posted on Canvas. Lecture attendance in person is expected and will be the primary means to earn participation points.

Date Lecture/Recitation Instructors Reading Labs; Notes on links. pptx links are to Powerpoint versions of the lectures; pdf links are to Adobe Acrobat versions of the lectures; code links are to directories containing code used for class demonstrations; tar links are to archive files in TAR format. Use the tar command on a linux machine to unpack these; 15 …