CS 6114

Last Updated

  • Schedule of Classes - September 9, 2021 7:14PM EDT
  • Course Catalog - September 9, 2021 7:15PM EDT

CS 6114
Network Programming Languages

Course information provided by the Courses of Study 2020-2021.

This course provides an introduction to novel programming languages for controlling computer networks. It will examine recent proposals based on logic, functional, and streaming languages, as well as tools for establishing the correctness of programs written in such languages using SAT/SMT solvers, model checkers, and proof assistants. Evaluation will be based on class participation and projects.

When Offered Spring.

Prerequisites/Corequisites Prerequisite: CS 4110, CS 6110, CS 6410.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session.  Combined with: CS 5114

  • 4 Credits Stdnt Opt

  • 18217 CS 6114   LEC 001

  •  
    • TR Online Meeting
    • Feb 8 - May 14, 2021

    • Foster, N

  • Instruction Mode: Online
    Enrollment limited to graduate & professional students only. All others may add themselves to the waitlist during add/drop. Please go to http://www.cs.cornell.edu/courseinfo/enrollment for updates.