Program at galance

15-Oct 16-Oct 17-Oct 18-Oct
Monday Tuesday Wednesday Thursday
9:00 to 10:30 AM The Zone   9:00 to 9:15 AM The Zone/Methodist Presentation Theatre Introductions 9:00 to 10:30 AM The Zone Plenary – Keynote 9:00 to 10:30 AM The Zone Hackaton
Methodist Presentation Theatre STEP Workshop 9:15 to 10:30 AM Plenary – Keynote Methodist Presentation Theatre Methodist Presentation Theatre R5: Fault localization and debugging
Fishbowl (203/205) IDEAR Workshop Fishbowl (203/205)   Fishbowl (203/205)   Fishbowl (203/205) I5: Reliability Assessment
Classroom 227 Tutorial 1: (SRGM) - Mijumbi, Okumoto, Asthana, Meekel Classroom 227   Classroom 227   Classroom 227 WOSAR
Classroom 226 Doctoral Symposium Classroom 226   Classroom 226   Classroom 226  
Classroom 225 WoSoCer Workshop Classroom 225   Classroom 225   Classroom 225 Tutorial 3 (Secure Mobile Software) - Shahriar, Talukder
10:30 to 11 AM Coffee Break
11 AM to 12:30 PM The Zone   11 AM to 12:30 PM The Zone Plenary - Best research paper 11 AM to 12:30 PM The Zone I1: Best industry papers (plenary) 11 AM to 12:30 PM The Zone Hackaton
Methodist Presentation Theatre STEP Workshop Methodist Presentation Theatre Methodist Presentation Theatre Methodist Presentation Theatre R6: Mobile systems
Fishbowl (203/205) IDEAR Workshop Fishbowl (203/205)   Fishbowl (203/205)   Fishbowl (203/205) I6: Defects and threats prevention (4 papers)
Classroom 227 Tutorial 1: (SRGM) - Mijumbi, Okumoto, Asthana, Meekel Classroom 227   Classroom 227   Classroom 227 WOSAR
Classroom 226 Doctoral Symposium Classroom 226   Classroom 226   Classroom 226 T7: Anomaly Detection in Networks
Classroom 225 WoSoCer Workshop Classroom 225   Classroom 225   Classroom 225 T3: Frama-C, a Collaborative Framework for C Code Verification
12:30 PM to 2 PM Lunch
2:00 PM to 3.30 PM The Zone   2:00 PM to 3.30 PM The Zone   2:00 PM to 3.30 PM The Zone   2:00 PM to 3.30 PM The Zone Hackaton
Methodist Presentation Theatre STEP Workshop Methodist Presentation Theatre R1: Journal-first paper presentations Methodist Presentation Theatre R3: Test case generation Methodist Presentation Theatre R7: Systems Security and Privacy
Fishbowl (203/205) IDEAR Workshop Fishbowl (203/205) I1: Distributed system testing and profiling Fishbowl (203/205) I3: BoF/panel Fishbowl (203/205) I7: BoF (1h)
Classroom 227 Tutorial 2 (Anomaly detection for networks) - Mendiratta Classroom 227 FA1 Classroom 227 FA2 Classroom 227 WOSAR
Classroom 226 Doctoral Symposium Classroom 226   Classroom 226 Tutorial 5 (Dependability, Dev Op) - Arvitzer, van Horn Classroom 226  
Classroom 225 WoSoCer Workshop Classroom 225 Tutorial 4 (Fomal verification) - Blanchard et al. Classroom 225 Tutorial 6 (Security Banchmarks)  - Antunes, Vieira Classroom 225  
3:30 PM - 4 pm Coffee Break
4:00 PM to 5.30 PM The Zone   4:00 PM to 5.30 PM The Zone   4:00 PM to 5.30 PM The Zone   4:00 PM to 5.30 PM The Zone  
Methodist Presentation Theatre STEP Workshop Methodist Presentation Theatre R2: Reliability, security and safety analysis Methodist Presentation Theatre R4: Regression testing Methodist Presentation Theatre Community Meeting
Fishbowl (203/205) IDEAR Workshop Fishbowl (203/205) I2: Best disruptive idea Fishbowl (203/205) I4: System profiling and log analysis Fishbowl (203/205)  
Classroom 227 Tutorial 2 (Anomaly detection for networks) - Mendiratta Classroom 227   Classroom 227   Classroom 227  
Classroom 226 Doctoral Symposium Classroom 226   Classroom 226 Tutorial 5 (Dependability, Dev Op) - Arvitzer, van Horn Classroom 226  
Classroom 225 WoSoCer Workshop Classroom 225 Tutorial 4 (Fomal verification) - Blanchard et al. Classroom 225 Tutorial 6 (Security Banchmarks)  - Antunes, Vieira Classroom 225  
      Organized excursions - "Memphis Night Life" Banquet @ 7:00 pm