CSCI.6500/CSCI.4500 Distributed Computing over the Internet-- Spring 2019

Instructor:  Carlos Varela
Office:  Lally 308, x6912
Office Hours:  Mondays and Thursdays 12pm-12:50pm; or by appointment
Meeting Place:  LOW (CII) 3039
Meeting Hours:  Mondays and Thursdays 10am-11:50am
Home page

Course Description

This course will enable students to understand and apply theoretical foundations of programming concurrent, distributed, and mobile computing systems---namely process calculi, actors, join calculus, and mobile ambients. In the practical part, students will learn concurrent programming languages following these theoretical models, and compare their communication and synchronization constructs.  Students will also review current research on distributed computing over the Internet, on topics including but not limited to: coordination, mobility, heterogeneity, security, fault tolerance, scalability, programmability, and verification.


CSCI.4430 and CSCI.4210, 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:

Course Contents

  1. Models of Concurrent, Distributed, and Mobile Computing
  2. Programming Languages and Frameworks
  3. Research Topics

Tentative Course Syllabus

Date Topic Grade
01/10 Course Overview. Introduction to Distributed Computing over the Internet Part I -- Models/Theory. Petri Nets
01/14 Pi-Calculus - Introduction
01/17 Pi-Calculus - Operational Semantics
01/21 Martin Luther King Jr. Day. No lecture
01/24 Pi-Calculus - Bisimilarity and Congruence
01/28 Pi-Calculus Review
01/31 Actors - Introduction
02/04 Actors - Operational Semantics -- Lambda Calculus Review
02/07 Actors - Expression Equivalence
02/11 Join Calculus
02/13 Mobile Ambients---Part I Review
02/19 Partial Exam 30%
02/21 Introduction to Distributed Computing over the Internet Part II -- Programming Languages and Frameworks
02/25 Pict: Concurrency---Programming Assignment 1 Due 03/15. Code Sample: bool.pi. 10%
02/28 Pict: Functional and Object-based Programming in Pict. Code Samples: cell.pi, cellobject.pi.
03/11 Nomadic Pict: Distribution and Mobility. Pict: Concurrent and Distributed Programming Techniques. Code Sample: sn.pi.
03/14 SALSA: Concurrency. Code Samples: Assignment 2 Due 03/29 10%
03/18 SALSA: Distribution and Mobility. Code Samples:
03/21 No lecture
03/25 SALSA: Concurrent and Distributed Programming Techniques
03/28 Objective Caml---Programming Assignment 3 Due 04/09 10%
04/01 JoCaml: Concurrency, Distribution and Mobility. Code Samples:, Introduction to Distributed Computing over the Internet Part III -- Research Topics.
04/04 Selected Paper Critiques and Presentations by Students -- Paper Selections Due 02/28 10%
04/22 Final Project/Paper Presentations-- Proposals Due 03/28 30%
Class Participation Extra Credit 10%

Reading Material  -- Parts I and II

Software Links, Papers, and Tutorials -- Part II

Research Papers -- Part III

Students will critique and present selected papers from recent journal and conference publications, including but not limited to: You may also search papers in Google Scholar, or ACM's Digital Library

Academic Integrity

The Rensselaer Handbook of Student Rights and Responsibilities defines several types of academic dishonesty, all of which are applicable to this class.  Students found in violation of academic dishonesty policies will receive a failing grade for this course.

Please contact the instructor if there is any question about academic (dis)honesty.

Last modified: Thu Apr 4 12:32:57 EDT 2019