Programming Architectures for Cyber-Physical Systems
198:671 Graduate Seminar, Spring 2008
(index 67822)
Annoucements
Distinguished Lecture Series, ECE:
Prof. Ling Liu, GeorgiaTech,
Location Privacy in Location-Aware Computing ,
11:00am, Wednesday, February 13, CoRE Building Lecture Hall (ground
floor)
Thermal glider in the news
Joint Nokia research project captures traffic data using GPS-enables
cell phones
Class Information
Meeting times/location: Fridays, 2:00-5:00pm, Hill 482
Office hours: Fridays, 11:30am - 12:30pm, or by appointment
Overview
Cyber-physical systems are space, time, and resource aware. They
interact with the physical world to achieve a particular application
goal. Examples of cyber-physical systems include opportunistic
networks of smart phones, and swarms of autonomous underwater
vehicles (AUVs). In this course, we will discuss challenges in
designing and implementing language abstracts, compilers, and runtime environments for
cyber-physical systems.
The first lectures will provide a "boot camp" for compiler
optimizations, including a discussion of intermediate
program representations and abstractions.
Students are expected to present up to three research papers. In
addition, there will be individual or small group projects.
As part of these projects, substantial parts of
a cyber-physical system will be implemented and evaluated.
At the end of the course, each group will write a report and present
its research results in a 20 minutes presentation.
This page will have links to the research papers if they are electronically available.
Contact
Please send email to uli@cs.rutgers.edu.
Syllabus (subject to change)
Papers
- Security/Privacy
Reiner Sailer, Trent Jaeger, Xiaolan Zhang, and Leendert van Doorn
Attestation-based Policy Enforcement for Remote Access
CCS'04, October 25-29, 2004, Washington, DC, USA, p.308-317.
Presenter: TBA
- Security/Privacy
Angela B. Dalton, Carla S. Ellis, and Abhijit Vijay
Exploiting Context Data Fidelity for Enhanced Privacy and
Energy Savings
White paper, Duke University, Dept. of Computer Science, March
5, 2004.
Presenter: TBA
Paper Pool (this will expand as
we go!)
Lectures
- January 25, 2008 --
Introduction
- February 1, 2008 --
Introduction to
machine-independent optimzations
Reading:
Engineering a Compiler by
Cooper/Torczon: Chapters 9.1-9.2;
Compilers: Principles, Techniques and Tools
by Aho/Lam/Sethi/Ullman: Chapter 9
- February 8, 2008 --
Data-Flow analysis and its
applications
Reading:
Engineering a Compiler by
Cooper/Torczon: Chapters 9.1-9.2;
Compilers: Principles, Techniques and Tools
by Aho/Lam/Sethi/Ullman: Chapter 9
- February 15, 2008 --
Presentation by Hans Christian Woithe .
Reading:
- February 22, 2008 -- CANCELLED due to bad
weather
- February 29, 2008 --
Presentation by Pradip Hari . The Sarana language and
runtime system.
- March 7, 2008 -- Presentation by Pradip Hari
Followed by: Iterative algorithms; SSA form (Uli Kremer)
Reading:
Engineering a Compiler by
Cooper/Torczon: Chapters 9.3;
- March 14, 2008 -- Presentation by Desiree Ottoni
Followed by: SSA form (Uli Kremer)
Reading:
Engineering a Compiler by
Cooper/Torczon: Chapters 9.3;
- March 21, 2008 -- Spring Break
- March 28, 2008 -- We will have three presentations:
- Dynamic/Sensor Networks
Jing Yang, Mary Lou Soffa, Leo Selavo, and Kamin Whitehouse
Clairvoyant: A Comprehensive Source-Level Debugger for Wireless
Sensor Networks
SenSys'07, November 6-9,2007, Sydney, Australia, p.189-203.
Presenter: John McCabe
- Autonomous Underwater Vehicles
O. Schofield, L. Creed, J. Graver, C. Haldeman, J. Kerfoot,
H. Roarty, C. Jonees, D. Webb, and S. Glenn
Slocum Gliders: Robust and Ready
Journal of Field Robotics 24(6), 2007, Wiley Periodicals, Inc.,
pp. 473-485.
Presenter: Denitsa Tilkidjieva
- April 11, 2008 -- One presentation and individual project reports:
- April 18, 2008 -- No class; we will meet in individual research
groups to discuss the progress of your projects.
- May 13, 2008 -- Individual research project presentations
.
- May 14, 2008 -- Due date for written research project reports
.
Homework Challenges
How to Survive Graduate School, Keep the Big Picture in Mind, and
More
- Christos Kozyrakis, Dave Patterson
How to Have a Bad Career as a
Graduate Student , 2004.
- Randy Pausch
Really Achieving Your Childhood Dreams,CMU, September 18, 2007.
- Ken Zadeck
The Development of Static Single Assignment Form, Rice
University, December 7, 2007.
- Cyber-physical systems research
Cyber Physical Systems Week , St. Louis, USA, April 21-24, 2008.
Last updated by Ulrich Kremer at 1:35pm on May 12, 2008