New Directions In
Software Technology (NDIST '16)

"Transformation-Based Generation of High-Assurance Software"

Caneel Bay Aerial View

(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	Upper Turtle Bay Meeting Room
9:15pm	Late Night (optional, host: Bill Scherlis)	Turtle Bay Verandah

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

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

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

(9:30am)

(Planning Group: Breakfast, Plan for Next Year)

(Beach Terrace Dining Room)