CSE730x Research Seminar

• Instructor: Prof. Chenyang Lu
• Time: Thursday at 3pm-4:00pm, Location: Bryan 509C
• Google group: google group

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:

• SenSys ([1])
• IPSN ([2])
• RTSS ([3])
• RTAS ([4])
• ICCPS ([5])
• Wireless Health ([6])
• BSN ([7])
• MobiCom ([8])
• MobiSys ([9])
• Sigcomm ([10])
• NSDI ([11])
• SOSP ([12])
• OSDI ([13])

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

• Spring 2013
• Fall 2012
• Summer 2012
• Spring 2012
• Fall 2011
• Summer 2011
• Spring 2011
• Fall 2010
• Spring 2010
• Fall 2009
• Summer 2009
• Spring 2009
• Fall 2008
• Summer 2008
• Spring 2008
• Fall 2007
• Summer 2007
• Spring 2007
• Fall 2006
• Spring 2006
• Fall 2005
• Spring 2005
• Fall 2004
• Spring 2004
• Fall 2003
• Spring 2003
• Fall 2002
• Spring 2002
• Fall 2001
• Spring 2001
• Fall 2000
• Spring 2000
• Fall 1998
• Spring 1998