Strategic Directions in Software at Scale (SaS): August 18 & 19, 2010

Presentations

Wednesday, August 18

8:30 am to 9:45 am	Workshop Organization	Edward Lee, Berkeley
8:45 am to 9:00 am	Workshop Goals	Michael May, DDR&E/IS, OSD
9:00 am to 9:40 am	Critical Defense Issues	Rich Turner, Stevens
9:40 am to 10:20 am	From Formal Verification to Synthesis	Rajeev Alur, Penn
10:20 am to 10:40 am	Break
10:40 am to 11:20 pm	Catch up
11:20 am to 12:00 pm	Is Distributed Consistency Scalable?	Ken Birman, Cornell
12:00 pm to 1:00 pm	Working Lunch
1:00 pm to 1:40 pm	Temporal Semantics	Vijay Saraswat, IBM
1:40 pm to 2:20 pm	Synthesis of Provably-correct Software using Discrete Control Theory	Yin Wang, HP Labs
2:20 pm to 3:00 pm	Quantitative verification and synthesis of systems	Sanjit Seshia, Berkeley
3:00 pm to 3:30 pm	Break
3:30 pm to 4:10 pm	Control software for Systems with Changing Structure	Raja Sengupta, Berkeley
4:10 pm to 5:00 pm	Software Synthesis	Jeffrey Foster, Maryland
5:00 pm to 5:30 pm	Wrap up discussion and consensus building	Edward Lee, Berkeley

Thursday, August 19

8:30 am to 9:10 am	Composition at Scale	Janos Sztipanovits, Vanderbilt
9:10 am to 9:50 am	Scalable Methods for Managing Uncertainty in Design of Networked Embedded Systems	Andrzej Banaszuk, UTRC
9:50 am to 10:30 am	Engineering Processes that Engineer Scalable Systems	Lee Osterweil, Amherst
10:30 am to 10:50 am	Break
10:50 am to 11:30 pm	Opportunity-Centered Software Development Environments	Kevin Sullivan, Virginia and SEI
11:30 am to 12:10 pm	Reliability and Robustness of Large-Scale Systems	John Goodenough, SEI, CMU
12:10 pm to 1:00 pm	Working Lunch
1:00 pm to 1:40 pm	Tweets (Five Minute Madness):
	How do we handle "real" complexity (and how much does it matter)?	Brian Murray, UTRC
	Leadership challenges for SaS development	Edgar Dalrymple, US Army
	Virtualization and Isolation for CPS	Christoph Kirsch, University of Salzburg
1:40 pm to 2:20 pm	Computer Aided Programming	Armando Solar-Lezama, MIT
2:20 pm to 3:00 pm	The Effect of Software (and Communication) Reliability and Security on Control Systems	Bruno Sinopoli, CMU
3:00 pm to 3:30 pm	Break
3:30 pm to 4:10 pm	Temporal Semantics in Concurrent and Distributed Software	Edward A. Lee, Berkeley

Resources for attendees

Below is a list of resources for the workshop.
• Travel Reimburement:
  • UC Berkeley Travel Policy.
  • ERSO Travel Quick Guide
  • Travel Reimbursement Form

Overview

The goal of this workshop was to bring together a forum of the best thinkers across academia, industry, and government to develop and promote ideas that can dramatically improve our collective ability to build, evolve, and use large software systems.

See the goals for a complete description.

Travel Expenses Reimbursement

Travel expenses can be reimbursed for invited attendees, upon request. Reimbursed travel expenses must follow the UC Berkeley Travel Policy.
• Prior to purchasing airfare tickets, determine the most economical choice that is feasible for the travel situation, and purchase it. Transportation expenses are reimbursed based on the most economical mode of transportation, in economy/coach class. Any upgrades will be paid by the traveler their own expense.
• As the contract paying for the meeting is a federal contract, international travelers should fly on US Carriers.
• Receipts and proof of payment are required for all air, car, and hotel expenses.
• Receipts and proof of payment are required for any expense category over $75.
• Lodging receipts must be itemized and must show a zero balance.
• The Travel reimbursement form should be completed, signed and sent to Gladys Khoury (gkhoury at erso.berkeley.edu).

Honoraria

A $500 honoraria will be paid to academic presenters. When you arrive, please tell us your Social Security Number so that we start the reimbursement process. (Details about Honoraria.)

If you have questions, please contact Christopher Brooks (cxh at eecs.berkeley.edu), 707.332.0670 (cell).