Pre-requisites
CSCI.4430 and CSCI.4220, or equivalent, or permission of instructor. The student should be familiar with at least one high-level programming language and basic network programming concepts. In particular, this course will assume familiarity with Java and programming with TCP/IP sockets. Knowledge of programming language semantics and lambda calculus would be helpful but is not mandatory.
Course Themes
Theories of concurrent, distributed and mobile computing. Programming languages for concurrent distributed and mobile systems. Research topics in distributed computing over the Internet.
Learning Outcomes
When the students have successfully completed this course, they will be able to:
Date | Topic | Grade |
---|---|---|
08/28 | Course Overview. Introduction to Distributed Computing over the Internet Part I -- Models/Theory. | |
08/31 | Pi-Calculus - Introduction | |
09/04 | Pi-Calculus - Operational Semantics | |
09/07 | Pi-Calculus - Bisimilarity and Congruence | |
09/11 | Actors - Introduction | |
09/14 | Actors - Operational Semantics | |
09/18 | Actors - Expression Equivalence | |
09/21 | Join Calculus | |
09/25 | Mobile Ambients; Part I Review | |
09/28 | Partial Exam | 30% |
10/02 | Introduction to Distributed Computing over the Internet Part II -- Programming Languages and Frameworks | |
10/05 | Pict: Concurrency --Programming Assignment 1 Due 10/17 -- Using Pict | 10% |
10/09 | No lecture | |
10/12 | Nomadic Pict: Distribution and Mobility | |
10/16 | Pict: Concurrent and Distributed Programming Techniques | |
10/19 | SALSA: Concurrency --Programming Assignment 2 Due 10/29 | 10% |
10/23 | SALSA: Distribution and Mobility | |
10/26 | SALSA: Concurrent and Distributed Programming Techniques | |
10/30 | Objective Caml--Programming Assignment 3 Due 11/07 | 10% |
11/02 | JoCaml: Concurrency, Distribution and Mobility | |
11/06 | JoCaml: Concurrent and Distributed Programming Techniques | |
11/09 | Introduction to Distributed Computing over the Internet Part III -- Research Topics | |
11/13 | Selected Paper Critiques and Presentations by Students -- Papers Selections Due 10/09 | 10% |
11/16 | ||
11/20 | ||
11/27 | ||
11/30 | ||
12/04 | Final Project/Paper Presentations-- Proposals Due 11/02 | 30% |
12/07 | ||
Class Participation Extra Credit | 5% |
Please contact the instructor if there is any question about academic
(dis)honesty.