New Directions In
Software Technology (NDIST '16)

"Transformation-Based Generation of High-Assurance Software"

Caneel Bay Aerial View

December 5-8, 2016
St. John, U.S. Virgin Islands
Caneel Bay - Upper Turtle Bay Meeting Room

Draft Workshop Schedule

(subject to change)

 

Monday, December 5, 2016

(9:45am) (Planning Group: Breakfast, Set final schedule) (Beach Terrace Dining Room)
5:30pm - 7:00pm Registration, Greetings, and Refreshments Turtle Bay Verandah
7:00pm - 8:15pm Reception Dinner Upper Turtle Bay Meeting Room
8:15pm - 9:00pm After Dinner Talk: Pat Lincoln
9:15pm Late Night (optional, host: Bill Scherlis) Turtle Bay Verandah

 

Tuesday, December 6, 2016

8:15am - 9:00am Buffet Breakfast Upper Turtle Bay Meeting Room
Morning Workshop Session: Kickoff and Tech Approaches
Host: Mark Burstein
Upper Turtle Bay Meeting Room
9:00am - 9:05am Welcome: Cordell Green
9:05am - 9:35am 1 Minute of Fame for Each Attendee
9:35am - 9:40am Kickoff and Definitions: Adam Chlipala, Eric Smith
9:40am - 10:20am Adam Chlipala: Fiat
10:20am - 10:30am Break
10:30am - 11:10am Eric Smith: APT
11:10am - noon Small group discussion: First Impressions
noon - 1:00pm Lunch Turtle Bay Verandah
Afternoon Workshop Session: History and Tech Approaches
Hosts: Paul Robertson, Perry Alexander
Upper Turtle Bay Meeting Room
1pm - 1:20pm Natarajan Shankar: History (Dijkstra, Floyd, Hoare); and PVS
1:20pm - 1:30pm Bill Scherlis: Formal Differentiation
1:30pm - 1:50pm Annie Liu: Finite Differencing
1:50pm - 2pm Break
2pm - 2:20pm Richard Waldinger: Unification
2:20pm - 2:40pm Perry Alexander: Rosetta, Security
2:40pm - 3pm Armando Solar-Lezama: Synthesis and Sketching
3pm - 4pm Small group exercise
4:45pm Meet at Dock for Boarding (Don't be late) Caneel Bay Dock
5:00pm - 7:00pm Sunset Cruise (Onboard Boat)
7:15pm - 9:00pm Casual Beach BBQ Dinner Caneel Beach
9:15pm Late Night (optional, host: Dave Levitt) Balcony Above Caneel Registration Desk

 

Wednesday, December 7, 2016

8:15am - 9:00am Buffet Breakfast Upper Turtle Bay Meeting Room
Morning Workshop Session: Connections to Other Areas
Hosts: Howie Shrobe, Dave Musliner
Upper Turtle Bay Meeting Room
9am - 9:20am Ethan Jackson: P Language
9:20am - 9:40am Daniel Jackson: Path to Wider Adoption
9:40am - 10am John Mitchell: Secure by Construction
10am - 10:10am Break
10:10am - 10:25am Peter Loscocco: Improving System Security: Promoting Critical Thinking in Trusted System Design
10:25am - 10:40am Mark Boddy: Generating Semantically Diverse Software for Security
10:40am - 10:55am Stelios Sidiroglou: Plagiarizing for Security
10:55am - 11:10am Break
11:10am - 12:30pm Small group exercise
1:15pm Meet at Dock for Boarding (Don't be late) Caneel Bay Dock
1:30pm - 5:00pm Birds of a Feather sesssions (includes lunch) (Onboard Boat)
6:25pm - 9:00pm Optional Dinner at Ocean Grill restaurant in Cruz Bay Meet the bus in the parking lot behind the gift shop at 6:25pm (don't be late)
9:15pm Late Night (optional, host: Dave Hardin) Balcony Above Caneel Registration Desk

 

Thursday, December 8, 2016

8:15am - 9:00am Buffet Breakfast Upper Turtle Bay Meeting Room
Morning Workshop Session: Applications
Host: Jeff Perkins
Upper Turtle Bay Meeting Room
9am - 9:15am Janos Sztipanovits: Model-Based Tools + Resilient CPS
9:15am - 9:35am Brian Williams: Plan Synthesis
9:35am - 9:45am Break
9:45am - 10:45am Applications Panel and Large Group Discussion
Panelists: Hardin, Reubenstein, E. Jackson, S. Alexander
10:45am - 11:05am Rustan Leino: Dafny, SMT
11:05am - noon Small group discussion
noon - 1:00pm Lunch Turtle Bay Verandah
Afternoon Workshop Session: Wrap-up and Future Directions
Host: Gabor Karsai
Upper Turtle Bay Meeting Room
1pm - 2:30pm Small group Exercise
2:30pm - 3pm Report on Exercise
3pm - 3:10pm Break
3:10pm - 3:20pm Cordell Green: Flex Prover
3:20pm - 3:30pm Doug Smith: Software Synthesis
3:30pm - 4:30pm Future Directions Panel
Panelists: Neema, Keromytis, Scherlis, Lincoln
4:30pm - 5pm Ideas for Next Year's Topic
6:30pm - 7:00pm Gather for drinks at Turtle Bay Turtle Bay Verandah
7:00pm - 9:00pm Farewell Dinner Lower Turtle Bay Meeting Room
9:15pm Late Night (optional, host: Janos Sztipanovits) Turtle Bay Verandah

 

Friday, December 9, 2016

(9:30am) (Planning Group: Breakfast, Plan for Next Year) (Beach Terrace Dining Room)
 
The main NDIST '16 website is: http://www.kestrel.edu/NDIST16/.