CS 521

Spring 2025 All Classes

All Classes

Advanced Topics in Programming Systems

SHOW FINAL EXAM SCHEDULE

Credit: 4 hours.

Advanced topics in building and verifying software systems, selected from areas of current research such as: model checking and automated verification, testing and automated test generation, program synthesis, runtime verification, machine learning and its applications in the design of verified systems, formal analysis of machine learning algorithms, principles of programming languages and type systems.

May be repeated if topics vary. Credit is not given towards a degree from multiple offerings of this course if those offerings have significant overlap, as determined by the CS department. Prerequisite: CS 374 or ECE 374; CS 421. Additional prerequisites or corequisites may be specified each term. See section information.

My Favorites

My Schedule

Section Status updates every 10 minutes.

CS 521 class schedule data for spring 2025
CRN	Type	Section	Time	Day	Location	Instructor	Section Details
77349	Lecture-Discussion Online Lecture	BCC BCC	3:30PM -4:45PM 3:30PM -4:45PM	F W	ARR Illini Center n.a.	Rosu, G Rosu, G	Part of Term: 1 Date Range: 01/21/25-05/07/25 Credit: 4 hours Section Title: Tech Found of Blockchain Section Info: Title: Technological Foundations of Blockchain and Cryptocurrency Description: This class will introduce the fundamental concepts that underlie the emerging blockchain and cryptocurrency technology. Starting with basic concepts such as how to calculate hashes, sign transactions, and authenticate signatures, the course will then dive into consensus protocols, verifiable computing and zero-knowledge cryptography, blockchain languages and virtual machines, as well we various incentivization mechanisms for actors in decentralized networks to operate honestly. The students taking this class will also be asked to read papers and blogs and discuss these topics in class, including potentially controversial topics which are of interest to the growing blockchain community. Weekly in-person meeting in 200 S. Wacker Dr. Prerequisites: The students should have a basic understanding of math, to understand how and why a distributed protocol works, how a hash function is computed, and how a program is executed and produces a proof of its execution. For up-to-date information about CS course restrictions, please see the following link: http://go.cs.illinois.edu/CSregister Restriction(s): Restricted to Graduate - Urbana-Champaign. Restricted to MCS: Computer Sci OFF - UIUC.
72385	Lecture-Discussion Online Lecture	BCU BCU	3:30PM -4:45PM 3:30PM -4:45PM	W F	0220 Siebel Center for Comp Sci 0220 Siebel Center for Comp Sci	Rosu, G Rosu, G	Part of Term: 1 Date Range: 01/21/25-05/07/25 Credit: 4 hours Section Title: Tech Found of Blockchain Section Info: Title: Technological Foundations of Blockchain and Cryptocurrency Description: This class will introduce the fundamental concepts that underlie the emerging blockchain and cryptocurrency technology. Starting with basic concepts such as how to calculate hashes, sign transactions, and authenticate signatures, the course will then dive into consensus protocols, verifiable computing and zero-knowledge cryptography, blockchain languages and virtual machines, as well we various incentivization mechanisms for actors in decentralized networks to operate honestly. The students taking this class will also be asked to read papers and blogs and discuss these topics in class, including potentially controversial topics which are of interest to the growing blockchain community. Prerequisites: The students should have a basic understanding of math, to understand how and why a distributed protocol works, how a hash function is computed, and how a program is executed and produces a proof of its execution. For up-to-date information about CS course restrictions, please see the following link: http://go.cs.illinois.edu/CSregister Restriction(s): Restricted to Graduate - Urbana-Champaign. Not intended for MCS: Computer Sci OFF - UIUC, MCS:Computer Sci Online -UIUC, or NDEG:Computer Science Onl-UIUC. Not intended for First Time Freshman students.
77350	Lecture-Discussion Online Lecture	LCC LCC	11:00AM -12:15PM 11:00AM -12:15PM	R T	ARR Illini Center n.a.	Mendis, C Misailovic, S Mendis, C Misailovic, S	Part of Term: 1 Date Range: 01/21/25-05/07/25 Credit: 4 hours Section Title: ML & Compilers Section Info: Title: Machine Learning and Compilers. Description: This course covers fundamentals in compilation techniques used in the domain of machine learning. The topics can include tensor programming languages, frameworks, compilers, tensor intermediate representations, code generation for specialized accelerators such as GPUs, dataflow accelerators, tensor program optimizations, automatic differentiation, approximate compilation techniques for neural networks and compilers for probabilistic ML models. Instruction will be lecture based. Grading will be based on projects and quizzes. Weekly in-person meeting in 200 S. Wacker Dr. Restricted to MCS Chicago Students. There may be in class meetings, exams, and in class activities. Restriction(s): Restricted to Graduate - Urbana-Champaign. Restricted to MCS: Computer Sci OFF - UIUC.
76029	Lecture-Discussion	LCU	11:00AM -12:15PM	TR	0220 Siebel Center for Comp Sci	Mendis, C Misailovic, S	Part of Term: 1 Date Range: 01/21/25-05/07/25 Credit: 4 hours Section Title: ML & Compilers Section Info: Title: Machine Learning and Compilers. Description: This course covers fundamentals in compilation techniques used in the domain of machine learning. The topics can include tensor programming languages, frameworks, compilers, tensor intermediate representations, code generation for specialized accelerators such as GPUs, dataflow accelerators, tensor program optimizations, automatic differentiation, approximate compilation techniques for neural networks and compilers for probabilistic ML models. Instruction will be lecture based. Grading will be based on projects and quizzes. Restriction(s): Restricted to Graduate - Urbana-Champaign. Not intended for MCS: Computer Sci OFF - UIUC, MCS:Computer Sci Online -UIUC, or NDEG:Computer Science Onl-UIUC. Not intended for First Time Freshman students.