Laboratory for Software Design, Dept. of Computer Science

Com S 610-HR: Advanced Topics in Type Systems

Got a question?

Got a question or comment? Contact us at (515) 294-6168 or hridesh@cs.iastate.edu.

What's New?

April 2, 2009: Seminar announcement. First meeting from 2:10 - 3:30pm on Wednesdays. The first meeting is in Atanasoff 105 on Aug 26, 2009. The facilitator for this seminar is Hridesh Rajan.

Course Objectives

The ideas from research and development of type systems for programming languages are now useful towards many aspects of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. The main objective for this seminar is to offer a comprehensive and accessible introduction to the area's central ideas, results, and techniques. The intended audience includes graduate students and researchers from other areas of computer science who want get up to speed in the area as a whole, as well as current researchers in programming languages and software engineering who need comprehensible introductions to topics related to type systems.

Logistics

Text Books

Facilitator

  • Hridesh Rajan
  • E-Mail: hridesh@cs.iastate.edu
  • Office: 101 Atanasoff Hall

Meeting Times

W 2:10 PM - 3:30 PM in Atanasoff 105

Office Hours

By appointment in 101 Atanasoff Hall.

Course Components

This seminar can be taken for 1 or for 3 credit. Students are NOT allowed to just sit in or audit. For students taking this seminar for 1 credit the grades will be based on:

  • Presentation: 50%
  • Participation: 50%

For students taking this seminar for 3 credits grades will be based on:

  • Presentation: 17%
  • Participation: 17%
  • Project: 66%

The project component of this course involves undertaking a semester long exploration of a topic relevant from type systems perspective, either purely from the theoretical perspective (e.g. proposing a new type system-based technique to do X) or applying an existing type system or theory to a new problem (e.g. using Y type system to solve some problem Z). Such exploration is expected to result in a publishable result by the end of this semester. The project portion of your grades will be based on the final paper.

For Students with Disabilities

Please address any special needs or special accomodations with me at the beginning of the semester or as soon as you become aware of your needs. Those seeking accomodations based on disabilities should obtain a Student Academice Accomodation Request (SAAR) form from the Disability Resources (DR) office (515-294-6624). DR is located on the main floor of the Student Services Building, Room 1076.