WG211/M19Schedule

IFIP Working Group 2.11, Nineteenth Meeting

April 29-May 2nd 2019 in Boston, USA

The meeting will be held in Boston, USA, hosted by Armando Solar-Lezama.

The meeting will last 3.5 days; the first three days will be full-day, whereas the last day will be a half-day session.

Venue

The meeting will be held at Salem Waterfront Hotel & Suites in Salem MA, http://www.salemwaterfronthotel.com

Travel

Travel recommendations (based on mailing list discussion):

• Generic Boston to Salem taxi fare estimated at $60 including tips, add your name below to find people who arrive/leave at similar times and might want to share a ride.
• The commuter rail seems to be running from Chelsea to Salem over the weekend https://www.mbta.com/schedules/CR-Newburyport/timetable?date=2019-04-28&direction_id=0
• The MBTA #459 bus does not run over the weekend, but can be used for transport to the airport https://www.tripadvisor.co.uk/ShowTopic-g60954-i1100-k11774787-Transportation_From_Boston_airport_to_Salem-Salem_Massachusetts.html

Flight arrivals and departures:

Name	Arr flight	Arr time (at BOS)	Dep flight	Dep time (at BOS)	Contact
Jeremy Gibbons	BA213	Sat 13:35	BA238	Fri 07:30
Sandrine Blazy	AF334	Sun 15:55	AF333	Thu 18:05
Jacques Carette	AC7606	Sun 16:30	AC527	Thu 12:20
Maryam Mehri Dehnavi	Porter Airlines 941	Sun 13:30	(...)	(...)	mmehride@cs.toronto.edu, 416-948-2008
Ulrik Pagh Schultz	SK927	Sun 14:55	SK928	Thu 17:30

Accommodation

As noted above, the meeting will take place at the Salem Waterfront Hotel & Suites in Salem MA. We have a block of rooms reserved at the following rates:

• Superior Full: $149.00
• Superior Queen: $159.00
• Superior King: $159.000
• Deluxe King: $169.00
• Junior Suite: $189.00
• King Suite: $209.00

All the costs are per night before taxes for up to 2 guests per room ($10 plus tax is added for extra guests in a room). In order to get this rate people need to call the hotel directly at 1-888-337-253 (US) or +1-978-740-8788 (internationally) and refer to MIT. The block is held until April 2nd 2019, but please reserve as soon as possible so we have a good headcount.

Registration

Registration is done using eventbrite: https://www.eventbrite.com/e/wg-211-meeting-tickets-57113878147

The password is circulated by email. The registration is $520.42. (People from the US can save the eventbrite fee of 5% by paying with a check when they arrive, in this case they only need to pay $497.00.)

Attendance

Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.

Sandrine Blazy, Edwin Brady, Jacques Carette (not Thursday), Maryam Mehri Dehnavi, Jack Feser, Franz Franchetti (Monday and Tuesday), Jeremy Gibbons, Kevin Hammond, Christian Kaestner (not Thursday), James Koppel, Julia Lawall, Geoff Mainland, Ulrik Pagh Schultz, Chung-chieh Shan (not Thursday), Yannis Smaragdakis, Armando Solar-Lezama, Eelco Visser (not Thursday), Eric Walkingshaw, Eric Van Wyk, Jeremy Yallop.

Talks

See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts. Members: please add yourself and your topic, alphabetical order by last name, following the template below.

• Sandrine Blazy Teaching deductive verification to undergraduate students
• Edwin Brady Resource Safety with Linear Dependent Types
• Jacques Carette Metaprogramming Agda
• Kevin Hammond Energy Usage for Parallel Haskell Programs
• Maryam Mehri Dehnavi Sparse Matrix Code Generation with Symbolic Decoupling
• Franz Franchetti Formal Software Synthesis of Computational Kernels
• Christian Kaestner Higher-Order Mutation Testing with Variational Execution
• Julia Lawall TBA
• Geoffrey Mainland Compiling Low-level Radio Protocols
• Ulrik Pagh Schultz Teaching Program Generation to the Masses (all the Non-Computer-Scientists)
• Chung-chieh Shan From high-level inference algorithms to efficient code
• Yannis Smaragdakis TBD, probably Ethereum-something
• Eric Van Wyk Reflection in Attribute Grammars
• Eelco Visser Declarative Type System Specification with Statix
• Eric Walkingshaw Toward a Variational Programming Language
• Jeremy Yallop A typed, algebraic approach to parsing
• ... (add more, order alphabetically by last name, following same pattern)...

We will follow our usual format of interactive talks with an active audience, but this time making use of a chess clock for timing, as follows. For each talk the speaker and the audience each get at most 25 minutes. The audience does not have to wait until the end of a talk to ask questions; interaction and discussion is encouraged. (But experience from previous meeting shows that it is useful to let the speaker at least finish their introduction before interrupting.) To ensure fairness, administration of the time used by each party is done using a chess clock. Operation of the clock rotates among participants. Both speakers and audience are expected to contribute to make talks and discussions engaging, interesting, and useful. Therefore, we observe a policy of no use of electronic devices during talks (other than the device the speaker uses to present slides). Bring paper and pen for making notes.

Program / schedule

Scientific program

PRELIMINARY program. The scheduling of the talks will be announced on the first day of the meeting (the speakers of the first session will be informed by email in advance).

Monday, April 29:

• 9:00 - 10:30: Welcome and 2 talks
• 10:30 - 11:15: Break
• 11:15 - 12:00: 1 talk
• 12:00 - 14:00: Lunch
• 14:00 - 15:30: 2 regular talks
• 15:30 - 16:15: Break
• 16:15 - 17:30: 1 talk

Tuesday, April 30:

• 9:00 - 10:30: Welcome and 2 talks
• 10:30 - 11:15: Break
• 11:15 - 12:00: 1 talk
• 12:00 - 14:00: Lunch
• 14:00 - 15:30: 2 regular talks
• 15:30 - 16:00: Break
• 16:00 - 17:30: Business Meeting, members only

Wednesday, May 1:

• 9:00 - 10:30: Welcome and 2 talks
• 10:30 - 11:15: Break
• 11:15 - 12:00: 1 talk
• 12:00 - 14:00: Lunch
• 14:00 - 15:30: 2 regular talks
• 15:30 - 17:30: Excursion

Thursday, May 2:

• 9:00 - 10:30: 2 talks
• 10:30 - 11:00: Break
• 11:00 - 12:00: 1 talk
• 12:00: Lunch and/or departure

Social events

To be announced. Social events will in general be covered by the registration fee, details will be available later.

Excursion

To be announced.