Strategic Directions in Software at Scale (SaS): August 18 & 19, 2010
|
The Strategic Directions in Software at Scale (SaS) meeting was
held August 18 & 19, 2010
on the University of California campus, Berkeley, California.
This workshop was sponsored by the Information Systems & Cyber
Security DDR&E/Research Directorate of the Department of Defense.
See the workshop goals
|
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.
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).
|