Difference between revisions of "WG211/M19Schedule"

From WG 2.11
Jump to: navigation, search
(→‎Talks)
(→‎Talks)
 
(75 intermediate revisions by 9 users not shown)
Line 1: Line 1:
 
=IFIP Working Group 2.11, Nineteenth Meeting=
 
=IFIP Working Group 2.11, Nineteenth Meeting=
 +
 +
[[File:WG211_M19_Group_Photo.jpg|600px|thumb|right|Group Picture]]
  
 
== April 29-May 2nd 2019 in Boston, USA ==
 
== April 29-May 2nd 2019 in Boston, USA ==
Line 10: Line 12:
  
 
The meeting will be held at Salem Waterfront Hotel & Suites in Salem MA, http://www.salemwaterfronthotel.com
 
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 ===
  
−
Travel recommendations to be announced.
+
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:
 +
<blockquote>
 +
{|
 +
!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
 +
|}
 +
</blockquote>
  
 
=== Accommodation ===
 
=== Accommodation ===
Line 45: Line 110:
 
Jeremy Gibbons,
 
Jeremy Gibbons,
 
Kevin Hammond,
 
Kevin Hammond,
−
Christian Kaestner,
+
Christian Kaestner (not Thursday),
 
James Koppel,
 
James Koppel,
 
Julia Lawall,
 
Julia Lawall,
 
Geoff Mainland,
 
Geoff Mainland,
 
Ulrik Pagh Schultz,
 
Ulrik Pagh Schultz,
−
Chung-chieh Shan,
+
Chung-chieh Shan (not Thursday),
 
Yannis Smaragdakis,
 
Yannis Smaragdakis,
 
Armando Solar-Lezama,
 
Armando Solar-Lezama,
−
Eelco Visser,
+
Eelco Visser (not Thursday),
 
Eric Walkingshaw,
 
Eric Walkingshaw,
 
Eric Van Wyk,
 
Eric Van Wyk,
Line 62: Line 127:
 
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.
 
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 [[WG211/M19Blazy | Teaching deductive verification to undergraduate students]]
+
* Sandrine Blazy [[WG211/M19Blazy | Teaching deductive verification with Why3 to undergraduate students]] ([[Media:WG211_M19_Blazy.pdf|slides]])
 
* Edwin Brady [[WG211/M19Brady | Resource Safety with Linear Dependent Types]]
 
* Edwin Brady [[WG211/M19Brady | Resource Safety with Linear Dependent Types]]
−
* Jacques Carette [[WG211/M19Carette | Metaprogramming Agda]]
+
* Jacques Carette [[WG211/M19Carette | Metaprogramming Agda]] ([[Media:WG211_M19_Carette.pdf|slides]])
−
* Maryam Mehri Dehnavi [[WG211/M19Dehnavi | Sparse Matrix Code Generation with Symbolic Decoupling ]]
+
* Maryam Mehri Dehnavi [[WG211/M19Dehnavi | Sparse Matrix Code Generation with Symbolic Decoupling ]] ([[Media:WG211_M19_Dehnavi.pdf|slides]])
−
* Franz Franchetti [[WG211/M19Franchetti | Formal Software Synthesis of Computational Kernels]]
+
* Franz Franchetti [[WG211/M19Franchetti | Formal Software Synthesis of Computational Kernels]] ([[Media:WG211_M19_Franchetti.pdf|slides]])
−
* Jeremy Gibbons [[WG211/M19Gibbons | To Infinity and Beyond! Transfinite Arrays]]
+
* Jeremy Gibbons [[WG211/M19Gibbons | Asymmetric Numeral Systems]] ([[Media:Wg211m19-20190429-edited.pdf|slides]])
−
* Christian Kaestner  [[WG211/M19Kaestner | Higher-Order Mutation Testing with Variational Execution ]]  
+
* Kevin Hammond [[WG211/M19Hammond | Energy Usage for Parallel Haskell Programs]] ([[Media:WG211_M19_Hammond.pdf|slides]])
−
* Julia Lawall TBA
+
* Christian Kaestner  [[WG211/M19Kaestner | Higher-Order Mutation Testing with Variational Execution ]] (abstract links to slides)
−
* Ulrik Pagh Schultz [[WG211/M19Schultz | Teaching DSL Engineering to the Masses (all the Non-Computer-Scientists)]]
+
* James Koppel [[WG211/M19Koppel | Language-Parametric Tools]] ([[Media:WG211_M19_Koppel.pptx|powerpoint slides]])
−
* Yannis Smaragdakis TBD, probably Ethereum-something
+
* Julia Lawall [[WG211/M19Lawall | Julia's adventures with Why3]] ([[Media:WG211_M19_lawall.pdf|slides]])
−
* Eelco Visser [[WG211/M19Visser | Declarative Type System Specification with Statix]]
+
* Geoffrey Mainland [[WG211/M19Mainland | Compiling Low-level Radio Protocols]] ([[Media:WG211_M19_Mainland.pdf|slides]])
−
* Jeremy Yallop [[WG211/M19Yallop | A typed, algebraic approach to parsing]]
+
* Ulrik Pagh Schultz [[WG211/M19Schultz | Teaching Program Generation to the Masses (all the Non-Computer-Scientists)]] ([[Media:WG211_M19_Schultz.pdf|slides]])
−
* ... (add more, order alphabetically by last name, following same pattern)...
+
* Chung-chieh Shan [[WG211/M19Shan | From high-level inference algorithms to efficient code]] ([[Media:WG211_M19_ccshan.pdf|slides]])
 +
* Yannis Smaragdakis [[WG211/M19Smaragdakis | Smart Contract Static Analysis: Decompilation and Gas Vulnerabilities]] ([[Media:Ethereum19.pdf|slides]])
 +
* Armando Solar-Lezama [[WG211/M19Lezama | TBD]]
 +
* Eric Van Wyk [[WG211/M19VanWyk | Monads in Attribute Grammars ]] ([[Media:WG211_M19_VanWyk.pdf|slides]])
 +
* Eelco Visser [[WG211/M19Visser | Declarative Type System Specification with Statix]] ([[Media:WG211_M19_Visser.pdf|slides]])
 +
* Eric Walkingshaw [[WG211/M19Walkingshaw | Toward a Variational Programming Language]] ([[Media:WG211_M19_Walkingshaw.pdf|slides]])
 +
* Jeremy Yallop [[WG211/M19Yallop | A typed, algebraic approach to parsing]] ([[Media:WG211_M19_Yallop.pdf|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 ==
 
== Program / schedule ==
Line 80: Line 153:
 
=== Scientific program ===
 
=== Scientific program ===
  
−
The scheduling of the talks will be announced on the first day of the meeting.
+
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 [[WG211/M19Shan | From high-level inference algorithms to efficient code]]
 +
** 9:45: Julia Lawall [[WG211/M19Lawall | Julia's adventures with Why3]]
 +
* 10:30 - 11:15: Break
 +
* 11:15 - 12:00: 1 talk
 +
** Eelco Visser [[WG211/M19Visser | Declarative Type System Specification with Statix]]
 +
* 12:00 - 14:00: Lunch
 +
* 14:00 - 15:30: 2 regular talks
 +
** Maryam Mehri Dehnavi [[WG211/M19Dehnavi | Sparse Matrix Code Generation with Symbolic Decoupling ]]
 +
** Jeremy Gibbons [[WG211/M19Gibbons | Asymmetric Numeral Systems]]
 +
* 15:30 - 16:15: Break
 +
* 16:15 - 17:30: 1 talk
 +
** Geoffrey Mainland [[WG211/M19Mainland | 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 [[WG211/M19Blazy | Teaching deductive verification to undergraduate students]]
 +
** 9:45: Franz Franchetti [[WG211/M19Franchetti | Formal Software Synthesis of Computational Kernels]]
 +
* 10:30 - 11:15: Break
 +
* 11:15 - 12:00: 1 talk
 +
** 11:15: Jacques Carette [[WG211/M19Carette | Metaprogramming Agda]]
 +
* 12:00 - 14:00: Lunch
 +
* 14:00 - 15:30: 2 regular talks
 +
** 14:00: Eric Van Wyk [[WG211/M19VanWyk | Monads in Attribute Grammars ]]
 +
** 14:45: Eric Walkingshaw [[WG211/M19Walkingshaw | 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  [[WG211/M19Kaestner | Higher-Order Mutation Testing with Variational Execution ]]
 +
** 9:45: James Koppel [[WG211/M19Koppel | Language-Parametric Tools]]
 +
* 10:30 - 11:15: Break
 +
* 11:15 - 12:00: 1 talk
 +
** 11:15: Jeremy Yallop [[WG211/M19Yallop | A typed, algebraic approach to parsing]]
 +
* 12:00 - 14:00: Lunch
 +
* 14:00 - 15:30: 2 regular talks
 +
** 14:00: Ulrik Pagh Schultz [[WG211/M19Schultz | Teaching Program Generation to the Masses (all the Non-Computer-Scientists)]]
 +
** 14:45: Armando Solar-Lezama [[WG211/M19Lezama | 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 [[WG211/M19Hammond | Energy Usage for Parallel Haskell Programs]]
 +
** 9:45: Yannis Smaragdakis [[WG211/M19Smaragdakis | Smart Contract Static Analysis: Decompilation and Gas Vulnerabilities]]
 +
* 10:30 - 11:00: Break
 +
* 11:00 - 12:00: 1 talk
 +
** 11:00: Edwin Brady [[WG211/M19Brady | Resource Safety with Linear Dependent Types]]
 +
* 12:00: Lunch and/or departure
  
 
=== Social events ===
 
=== Social events ===
  
−
To be announced. Social events will in general be covered by the registration fee, details will be available later.
+
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:
  
−
== Excursion==
+
* 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.
  
−
To be announced.
+
* 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).

Latest revision as of 01:26, 22 May 2019

IFIP Working Group 2.11, Nineteenth Meeting

Group Picture

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):

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.

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:

Tuesday, April 30:

Wednesday, May 1:

Thursday, May 2:

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).
Retrieved from "https://wiki.hh.se/wg211/index.php?title=WG211/M19Schedule&oldid=2096"