The course will cover a selection of topics from the areas of programming languages and formal methods. All students will read classical and recent papers on the selected topics and give presentations on them. A student may elect to perform a semester-long project on a topic related to the content of the course and write a short report on their findings.
The Fall 2019 offering of the course will include a selection of readings from (1) the theory of Cyber-Physical Systems (CPS) with an emphasis on the modeling and programming aspects of the theory, and (2) the literature on models for processing real-time data (data streams).
There are no required textbooks for the class. Course materials, including links to readings, will be provided here.
For students who are taking COMP 611 as a one-credit course, the grade will be based on class participation (50%) and presentations (50%).
For students who are taking COMP 611 as a three-credit course, the grade will be based on class participation (20%), presentations (20%), and a semester-long research project with a short final report (60%).
|August 29||Course Overview / Dataflow Models||Coroutines and Process Networks|
|September 5||Dataflow Models||
Semantics of Kahn Process Networks (KPNs)
Operational Semantics for Dataflow Networks
|September 12||Dataflow Models||Nondeterministic dataflow|
|September 19||NO CLASS|
|September 26||Hybrid Systems||Hybrid Automata|
Signal Temporal Logic
Signal Temporal Logic
First-Order Temporal Properties
Metric First-Order Temporal Properties
|October 24||Asynchronous Models||I/O Automata|
|October 31||Asynchronous Models||I/O Automata: Correctness Proofs|
|November 7||Asynchronous Models||Time and Clocks|
|November 14||Stream Processing||A Language for Streaming Applications|
|November 21||Stream Processing||Reactive Programming|
|November 28||Thanksgiving - No class|
If a student misses a course meeting, they are expected to review the corresponding material on their own.
In this course, all students will be held to the standards of the Rice Honor Code, a code that you pledged to honor when you matriculated at this institution. If you are unfamiliar with the details of this code and how it is administered, you should consult the Honor System Handbook. This handbook outlines the University's expectations for the integrity of your academic work, the procedures for resolving alleged violations of those expectations, and the rights and responsibilities of students and faculty members throughout the process.
If you have a documented disability or other condition that may affect academic performance you should: 1) make sure this documentation is on file with Disability Support Services (Allen Center, Room 111 / firstname.lastname@example.org / x5841) to determine the accommodations you need; and 2) talk with the instructor to discuss your accommodation needs.