CSE730x Research Seminar

From Cyber-Physical Systems Laboratory
Jump to navigationJump to search


This seminar examines fundamental and emerging concepts in concurrency and distribution by studying seminal papers and recent research results. Broad topics of interest include models of concurrency, mobile computing, parallel architectures, sensor networks, distributed algorithms, and specialized protocols. Each semester, the seminar emphasizes different themes reflecting the current research interests of the participants.

The theme of this semester's seminar is Wireless Sensor Networks. We will read and discuss papers from recent major conferences on mobile, wireless, and sensor networks and systems. These conferences include:


June 27, 2013 - Chengjie Wu and Jing Li

Practice talks.

July 4, 2013 - N/A

Canceled due to Independence Day.

July 11, 2013 - Bo Li

Mehdi Maasoumy, Qi Zhu, Cheng Li, Forrest Meggers and Alberto Sangiovanni-Vincentelli, "Co-design of Control Algorithm and Embedded Platform for HVAC Systems", The 4th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2013), Philadelphia, USA. Paper

July 18, 2013 - Lanshun Nie

Patricia Derler, Edward A. Lee, Martin Torngren and Stavros Tripakis. "Cyber-Physical System Design Contracts". ICCPS '13: ACM/IEEE 4th International Conference on Cyber-Physical Systems, 10, April, 2013. Paper

August 1, 2013 - Sisu Xi

Practice talk for proposal defense.

August 8, 2013 - Mo Sha

Practice talk for proposal defense.

August 15, 2013 - Rahav Dor

A talk by Rahav Dor on: An Operating System for the Home.

Based on a paper by Colin Dixon (IBM Research) Ratul Mahajan Sharad Agarwal A.J. Brush Bongshin Lee Stefan Saroiu Paramvir Bahl.

Abstract: Network devices for the home such as re- motely controllable locks, lights, thermostats, cameras, and motion sensors are now readily available and inex- pensive. In theory, this enables scenarios like remotely monitoring cameras from a smartphone or customizing climate control based on occupancy patterns. However, in practice today, such smarthome scenarios are limited to expert hobbyists and the rich because of the high over- head of managing and extending current technology.

We present HomeOS, a platform that bridges this gap by presenting users and developers with a PC-like ab- straction for technology in the home. It presents network devices as peripherals with abstract interfaces, enables cross-device tasks via applications written against these interfaces, and gives users a management interface de- signed for the home environment. HomeOS already has tens of applications and supports a wide range of devices. It has been running in 12 real homes for 4–8 months, and 42 students have built new applications and added sup- port for additional devices independent of our efforts.

Paper: Media:Homeos.pdf Presentation: Media:Homeos-nsdi-slides.pptx

Previous Semesters