Revision as of 15:05, 16 April 2019

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 to be announced.

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, James Koppel, Julia Lawall, Geoff Mainland, Ulrik Pagh Schultz, Chung-chieh Shan (not Thursday), Yannis Smaragdakis, Armando Solar-Lezama, Eelco Visser, 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
• Maryam Mehri Dehnavi Sparse Matrix Code Generation with Symbolic Decoupling
• Franz Franchetti Formal Software Synthesis of Computational Kernels
• Jeremy Gibbons To Infinity and Beyond! Transfinite Arrays
• Christian Kaestner Higher-Order Mutation Testing with Variational Execution
• Julia Lawall TBA
• Ulrik Pagh Schultz Teaching DSL Engineering 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)...

Program / schedule

Scientific program

The scheduling of the talks will be announced on the first day of the meeting.

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.