RTG Home  |   PRECISE  |   CIS Home  |   Penn Engineering  |   Penn
Penn/Waterloo Workshop 2010




Date:     Thursday, Nov 18 and Friday, Nov 19.
Venue:  Conference Room 315, Levine Hall, University of Pennsylvania.
This is a two-day workshop joined between the University of Pennsylvania and University of Waterloo. The aim of the workshop is to exchange and promote research collaborations between the two groups.

Below is the tentative schedule. To register, please contact Linh (linhphan AT cis.upenn.edu).

Day 1: Thursday, Nov 18.
09:30 - 10:45     Session 1: Sampling-based Monitoring
  • Observability and Controllability in RT Software
         Samaneh (Waterloo)
  • Sampling-based Execution Monitoring
         Johnson (Waterloo)
  • Sampling-based Runtime Verification
         Borzoo (Waterloo)
10:45 - 11:00     Break
11:00 - 12:15     Session 2: Scheduling
  • Multi-Mode Systems
         Linh Thi Xuan Phan (Upenn)
  • Optimal Hierarchical Scheduling
         Sanjian Chen (Upenn)
  • Improving Resource Utilization for Compositional Scheduling using DPRM Interfaces.
         Jaewoo Lee (Upenn)
12:15 - 13:15     Lunch
13:15 - 14:30     Session 3: Operating Systems
  • Tagging in Microkernel Operating Systems
         Augusto Oliveira (Waterloo)
  • Confidentiality through Tagging
         Ahmad (Waterloo)
  • Time-aware Instrumentation of Embedded Software.
         Sebastian (Waterloo)
14:30 - 14:45     Break
14:45 - 16:00     Session 4: Trust Management
  • Spatio-temporal for Email Spam and Wikipedia Vanderlism
         Andrew West (Upenn)
  • BGP
         Jian Chang and Krishna Venkatasubramanian (Upenn)
  • History-based Consistency Checking for State-based Scheduling
         Akramul (Waterloo)
16:00 - 18:30     Welcome Reception
 
Day 2: Friday, Nov 19.
09:30 - 10:45     Session 5: MDPNP 1
  • MD PnP Middware
         Andrew King (Upenn)
  • Smart Alarm
         Alexander Roederer (Upenn)
  • Real-Time Network Discovery and Integration for Medical Plug-and-Play Devices
         Wallace Wu (Waterloo)
10:45 - 11:00     Break
11:00 - 12:15     Session 6: MDPNP 2
  • Closed-the-loop Glucose Control
         Sanjian Chen (Upenn)
  • Closed-the-loop PCA
         Pajic Miroslav (Upenn)
  • Pacemaker
         Eunkyoung Jee and Vincent Wang (Upenn)
12:15 - 13:15     Lunch
13:15 - 16:00     Discussion Session

RTG Home  |   PRECISE  |   CIS Home  |   Penn Engineering  |   Penn