WG211/M19Schedule
Contents
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
We will be in Ballroom A.
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
- Reports from people travelling to Salem are somewhat mixed - see excerpt at bottom of page.
Flight arrivals and departures:
Name Arr flight Arr time (at BOS) Dep flight Dep time (at BOS) Contact/notes 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 KL6031 Sun 16:53 KL6030 Thu 16:41 (changed flight) Eric Walkingshaw AS 30 Sun 18:00 UA 8852 Thu 17:00 walkiner@oregonstate.edu Julia Lawall AF 0334 Sat 15:55 AF333 Thu 18:05
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 with Why3 to undergraduate students (slides)
- Edwin Brady Resource Safety with Linear Dependent Types
- Jacques Carette Metaprogramming Agda (slides)
- Maryam Mehri Dehnavi Sparse Matrix Code Generation with Symbolic Decoupling (slides)
- Franz Franchetti Formal Software Synthesis of Computational Kernels (slides)
- Jeremy Gibbons Asymmetric Numeral Systems (slides)
- Kevin Hammond Energy Usage for Parallel Haskell Programs (slides)
- Christian Kaestner Higher-Order Mutation Testing with Variational Execution (abstract links to slides)
- James Koppel Language-Parametric Tools (powerpoint slides)
- Julia Lawall Julia's adventures with Why3 (slides)
- Geoffrey Mainland Compiling Low-level Radio Protocols (slides)
- Ulrik Pagh Schultz Teaching Program Generation to the Masses (all the Non-Computer-Scientists) (slides)
- Chung-chieh Shan From high-level inference algorithms to efficient code (slides)
- Yannis Smaragdakis Smart Contract Static Analysis: Decompilation and Gas Vulnerabilities (slides)
- Armando Solar-Lezama TBD
- Eric Van Wyk Monads in Attribute Grammars (slides)
- Eelco Visser Declarative Type System Specification with Statix (slides)
- Eric Walkingshaw Toward a Variational Programming Language (slides)
- Jeremy Yallop A typed, algebraic approach to parsing (slides)
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
Note that links to slides are provided for some talks in the alphabetical list of talks above.
Monday, April 29:
- 8:45 - 10:30: Welcome and 2 talks
- 9:00: Chung-chieh Shan From high-level inference algorithms to efficient code
- 9:45: Julia Lawall Julia's adventures with Why3
- 10:30 - 11:15: Break
- 11:15 - 12:00: 1 talk
- Eelco Visser Declarative Type System Specification with Statix
- 12:00 - 14:00: Lunch
- 14:00 - 15:30: 2 regular talks
- Maryam Mehri Dehnavi Sparse Matrix Code Generation with Symbolic Decoupling
- Jeremy Gibbons Asymmetric Numeral Systems
- 15:30 - 16:15: Break
- 16:15 - 17:30: 1 talk
- Geoffrey Mainland Compiling Low-level Radio Protocols
- 18:30 Dinner at Adriatic Restaurant (155 Washington Street)
Tuesday, April 30:
- 9:00 - 10:30: Welcome and 2 talks
- 9:00: Sandrine Blazy Teaching deductive verification to undergraduate students
- 9:45: Franz Franchetti Formal Software Synthesis of Computational Kernels
- 10:30 - 11:15: Break
- 11:15 - 12:00: 1 talk
- 11:15: Jacques Carette Metaprogramming Agda
- 12:00 - 14:00: Lunch
- 14:00 - 15:30: 2 regular talks
- 14:00: Eric Van Wyk Monads in Attribute Grammars
- 14:45: Eric Walkingshaw Toward a Variational Programming Language
- 15:30 - 16:00: Break
- 16:00 - 17:30: Business Meeting, members only
- 18:30 Dinner at Bambolina Restaurant (288 Derby Street)
Wednesday, May 1:
- 9:00 - 10:30: Welcome and 2 talks
- 9:00: Christian Kaestner Higher-Order Mutation Testing with Variational Execution
- 9:45: James Koppel Language-Parametric Tools
- 10:30 - 11:15: Break
- 11:15 - 12:00: 1 talk
- 11:15: Jeremy Yallop A typed, algebraic approach to parsing
- 12:00 - 14:00: Lunch
- 14:00 - 15:30: 2 regular talks
- 14:00: Ulrik Pagh Schultz Teaching Program Generation to the Masses (all the Non-Computer-Scientists)
- 14:45: Armando Solar-Lezama Generating Core Systems Infrastructure
- 17:00 - 19:00: Excursion, The Salem Historical Tours (starts at hotel, ends at restaurant)
- 19:00 Dinner at Opus (87 Washington Street)
Thursday, May 2:
- 9:00 - 10:30: 2 talks
- 9:00: Kevin Hammond Energy Usage for Parallel Haskell Programs
- 9:45: Yannis Smaragdakis Smart Contract Static Analysis: Decompilation and Gas Vulnerabilities
- 10:30 - 11:00: Break
- 11:00 - 12:00: 1 talk
- 11:00: Edwin Brady Resource Safety with Linear Dependent Types
- 12:00: Lunch and/or departure
Social events
The Salem Historical Tours, https://www.salemhistoricaltours.com/ They are going to give a mixed tour of general history and a witch tour (Salem is famous for the Salem Witch Trials). They will pick us up at the hotel at 17:15 (so we meet 17:00 in the lobby), and will drop us off directly at the restaurant.
Dinner Locations and Schedule
- Monday April 29, 6:30 pm. Adriatic Restaurant, 155 Washington Street, Salem, Ma 01970. T: 978-594-1832
- Tuesday, April 30, 6:30 pm. Bambolina Restaurant, 288 Derby Street, Salem, Ma 01970. T: 978-594-8709
- Wednesday May 1, 7:00 pm. Opus Restaurant, 87 Washington Street, Salem, MA 01970. T: 978-744-9600
Travel Recommendations
People travelling to Salem over the weekend have reported somewhat mixed experiences with the public transportation system, excerpt:
- JL: The commuter rail was substantially less easy than expected. I was expecting something that runs every 5-10 minutes, but actually it runs every 1-2 hours. Theer are trains from Chelsea at 2:40, 4:40 and 5:40 (verify on the the mbta website). From the airport, you take the 33 bus (free) to the blue line (airport T station) and then silver line 3 to the commuter rail at Chelsea. I don't know if one is supposed to pay for the silver line or not. The driver didn't seem very interested when I asked if it was necessary to pay, but other people were using tickets. At Chelsea, the train is just to the right of the bus stop. There is only one platform that says inbound. You wait there and cross the tracks to get to the outbound train. You need to wave at the train to get it to stop. I bought my ticket with the mticket app, so I don't know where or whether the tickets can be bought at the station. Taking a taxi or uber may be a simpler option.
- JG: I asked for directions at the airport information desk - they recommended instead going into the city and catching the commuter train from there. From the airport, take the Silver Line 1 bus to South Station, then the red then orange T lines to North Station, from where it is a short walk to the commuter rail station (underneath TD Garden, a sports stadium). At least there is a ticket office at North Station. Of course, the trains go no more frequently. I understand that the SL1 and T is free all the way to North Station (though in fact I walked from South Station to North Station, to get some daylight).