CS 521

Spring 2022 Part of Term 1

Part of Term 1
Jan 18-May 4

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.

4 graduate hours. No professional credit. 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, 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 2022
	CRN	Type	Section	Time	Day	Location	Instructor	Section Details
	72385	Lecture-Discussion	TPS	3:30PM -4:45PM	TR	0216 Siebel Center for Comp Sci	Misailovic, S	Part of Term: 1 Date Range: 01/18/22-05/04/22 Credit: 4 hours Section Info: The current drive for energy-efficiency has made approximation a key concept in designing and implementing software in various areas, such as data analytics, mobile computing, multimedia processing, and engineering simulations. This course will focus on theoretical foundations and programming-level techniques for computing with noise in program's data and reasoning about profitable tradeoffs between accuracy, reliability, and energy consumption. In addition to selected algorithmic-level approximations, we will study (i) programming languages that natively operate on probabilistic and/or uncertain data, (ii) compilers and programming systems that automatically approximate programs while verifying or testing the accuracy of optimized programs, and (iii) hardware-software interfaces that expose accuracy knobs. Our particular focus will be on the approximations and accuracy concerns of machine learning systems and techniques for checking correctness of randomized/probabilistic applications. 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 First Time Freshman students.