WG 2.11 - User contributions [en]

WG211/M23Schedule

2024-03-27T11:12:20Z

Geoff: /* Scientific program */

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

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.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

==== Workspace ====

There are work pods (with doors) throughout the 10th and 11th floor of the building.

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Ohad Kammar [[WG211/M23Kammar | Paella: handlers for parameterised algebraic effects ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* Ken Shan [[WG211/M23Shan | More Efficient Exact Recursive Probabilistic Programming ]]
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop [[WG211/M23Yallop | Rough thoughts on refunctionalization ]]

We will follow our usual format of interactive talks with an active audience, using 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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

Monday, March 25

* 8:45 - 9:00 Welcome and 2 talks
** 9:00 - 9:45 Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
** 9:45 - 10:30 András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
** 11:00 - 11:45 Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 2 talks
** 12:45 - 13:30 Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
** 13:30 - 14:15 Jeremy Johnson [[WG11/M23Johnson | Derivation and Verification of the Quantum FFT ]]
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
** 9:00 - 9:45 Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
** 9:45 - 10:30 Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
** 11:00 -11:45 Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
** 13:00 - 13:45 Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
** 13:45 - 14:30 Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
** 15:00 - 15:45 Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
** 15:45 - 1630 Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* 18:30 Dinner at [https://vedaphilly.com/ Veda]. We will meet in the hotel lobby at 17:50 to take the trolley.

Wednesday, March 27

* 9:00 - 10:30 Two talks
** 9:00 - 9:45 Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
** 9:45 - 10:30 Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
** 11:00 - 11:45 Ken Shan [[WG211/M23Shan | More Efficient Exact Recursive Probabilistic Programming ]]
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
** 13:00 - 13:45 Jeremy Yallop [[WG211/M23Yallop | Rough thoughts on refunctionalization ]]
** 13:45 - 14:30 Ohad Kammar [[WG211/M23Kammar | Paella: handlers for parameterised algebraic effects ]]
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
** 9:00 - 9:45 Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
** 9:45 - 10:30 Geoffrey Mainland [[WG211/M23Mainland | Metaprogramming with Combinators ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

March 24 (Sunday): Dinner at [https://www.handynasty.net/location/han-dynasty-university-city/ Han Dynasty]

Dinner is at 7:45. We will meet at 7:30 in the lobby of the Sheraton.

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Oleg Kiselyov
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz
* Friedrich Steimann

WG211/M23Schedule

2024-03-27T11:12:05Z

Geoff: /* Scientific program */

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

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.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

==== Workspace ====

There are work pods (with doors) throughout the 10th and 11th floor of the building.

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Ohad Kammar [[WG211/M23Kammar | Paella: handlers for parameterised algebraic effects ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* Ken Shan [[WG211/M23Shan | More Efficient Exact Recursive Probabilistic Programming ]]
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop [[WG211/M23Yallop | Rough thoughts on refunctionalization ]]

We will follow our usual format of interactive talks with an active audience, using 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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

Monday, March 25

* 8:45 - 9:00 Welcome and 2 talks
** 9:00 - 9:45 Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
** 9:45 - 10:30 András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
** 11:00 - 11:45 Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 2 talks
** 12:45 - 13:30 Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
** 13:30 - 14:15 Jeremy Johnson [[WG11/M23Johnson | Derivation and Verification of the Quantum FFT ]]
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
** 9:00 - 9:45 Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
** 9:45 - 10:30 Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
** 11:00 -11:45 Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
** 13:00 - 13:45 Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
** 13:45 - 14:30 Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
** 15:00 - 15:45 Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
** 15:45 - 1630 Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* 18:30 Dinner at [https://vedaphilly.com/ Veda]. We will meet in the hotel lobby at 17:50 to take the trolley.

Wednesday, March 27

* 9:00 - 10:30 Two talks
** 9:00 - 9:45 Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
** 9:45 - 10:30 Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
** 11:00 - 11:45 Ken Shan [[WG211/M23Shan | More Efficient Exact Recursive Probabilistic Programming ]]
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
** 13:00 - 13:45 Jeremy Yallop [[WG211/M23Yallop | Rough thoughts on refunctionalization ]]
** 13:45 - 14:30 Ohad Kammar [[WG211/M23Kammar | Paella: handlers for parameterised algebraic effects ]]
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
** 9:00 - 9:45 Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
** 9:45 - 10:30 Geoffrey Mainland [ [WG211/M23Mainland | Metaprogramming with Combinators ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

March 24 (Sunday): Dinner at [https://www.handynasty.net/location/han-dynasty-university-city/ Han Dynasty]

Dinner is at 7:45. We will meet at 7:30 in the lobby of the Sheraton.

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Oleg Kiselyov
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz
* Friedrich Steimann

WG211/M23Schedule

2024-03-27T11:11:53Z

Geoff: /* Scientific program */

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

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.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

==== Workspace ====

There are work pods (with doors) throughout the 10th and 11th floor of the building.

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Ohad Kammar [[WG211/M23Kammar | Paella: handlers for parameterised algebraic effects ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* Ken Shan [[WG211/M23Shan | More Efficient Exact Recursive Probabilistic Programming ]]
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop [[WG211/M23Yallop | Rough thoughts on refunctionalization ]]

We will follow our usual format of interactive talks with an active audience, using 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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

Monday, March 25

* 8:45 - 9:00 Welcome and 2 talks
** 9:00 - 9:45 Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
** 9:45 - 10:30 András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
** 11:00 - 11:45 Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 2 talks
** 12:45 - 13:30 Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
** 13:30 - 14:15 Jeremy Johnson [[WG11/M23Johnson | Derivation and Verification of the Quantum FFT ]]
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
** 9:00 - 9:45 Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
** 9:45 - 10:30 Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
** 11:00 -11:45 Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
** 13:00 - 13:45 Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
** 13:45 - 14:30 Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
** 15:00 - 15:45 Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
** 15:45 - 1630 Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* 18:30 Dinner at [https://vedaphilly.com/ Veda]. We will meet in the hotel lobby at 17:50 to take the trolley.

Wednesday, March 27

* 9:00 - 10:30 Two talks
** 9:00 - 9:45 Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
** 9:45 - 10:30 Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
** 11:00 - 11:45 Ken Shan [[WG211/M23Shan | More Efficient Exact Recursive Probabilistic Programming ]]
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
** 13:00 - 13:45 Jeremy Yallop [[WG211/M23Yallop | Rough thoughts on refunctionalization ]]
** 13:45 - 14:30 Ohad Kammar [[WG211/M23Kammar | Paella: handlers for parameterised algebraic effects ]]
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
** 9:00 - 9:45 Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
** 9:45 - 10:30 Geoffrey Mainland [WG211/M23Mainland | Metaprogramming with Combinators ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

March 24 (Sunday): Dinner at [https://www.handynasty.net/location/han-dynasty-university-city/ Han Dynasty]

Dinner is at 7:45. We will meet at 7:30 in the lobby of the Sheraton.

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Oleg Kiselyov
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz
* Friedrich Steimann

WG211/M23Schedule

2024-03-26T20:51:28Z

Geoff: /* Scientific program */

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

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.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

==== Workspace ====

There are work pods (with doors) throughout the 10th and 11th floor of the building.

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* Ken Shan [[WG211/M23Shan | More Efficient Exact Recursive Probabilistic Programming ]]
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (TBD)

We will follow our usual format of interactive talks with an active audience, using 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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

Monday, March 25

* 8:45 - 9:00 Welcome and 2 talks
** 9:00 - 9:45 Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
** 9:45 - 10:30 András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
** 11:00 - 11:45 Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 2 talks
** 12:45 - 13:30 Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
** 13:30 - 14:15 Jeremy Johnson [[WG11/M23Johnson | Derivation and Verification of the Quantum FFT ]]
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
** 9:00 - 9:45 Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
** 9:45 - 10:30 Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
** 11:00 -11:45 Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
** 13:00 - 13:45 Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
** 13:45 - 14:30 Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
** 15:00 - 15:45 Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
** 15:45 - 1630 Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* 18:30 Dinner at [https://vedaphilly.com/ Veda]. We will meet in the hotel lobby at 17:50 to take the trolley.

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

March 24 (Sunday): Dinner at [https://www.handynasty.net/location/han-dynasty-university-city/ Han Dynasty]

Dinner is at 7:45. We will meet at 7:30 in the lobby of the Sheraton.

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Oleg Kiselyov
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz
* Friedrich Steimann

WG211/M23Schedule

2024-03-26T20:44:38Z

Geoff: /* Scientific program */

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

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.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

==== Workspace ====

There are work pods (with doors) throughout the 10th and 11th floor of the building.

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* Ken Shan [[WG211/M23Shan | More Efficient Exact Recursive Probabilistic Programming ]]
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (TBD)

We will follow our usual format of interactive talks with an active audience, using 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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

Monday, March 25

* 8:45 - 9:00 Welcome and 2 talks
** 9:00 - 9:45 Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
** 9:45 - 10:30 András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
** 11:00 - 11:45 Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 2 talks
** 12:45 - 13:30 Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
** 13:30 - 14:15 Jeremy Johnson [[WG11/M23Johnson | Derivation and Verification of the Quantum FFT ]]
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
** 9:00 - 9:45 Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
** 9:45 - 10:30 Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
** 11:00 -11:45 Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
** 13:00 - 13:45 Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
** 13:45 - 14:30 Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
** 15:00 - 15:45 Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
** 15:45 - 1630 Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* 18:30 Dinner at [https://vedaphilly.com/ Veda]

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

March 24 (Sunday): Dinner at [https://www.handynasty.net/location/han-dynasty-university-city/ Han Dynasty]

Dinner is at 7:45. We will meet at 7:30 in the lobby of the Sheraton.

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Oleg Kiselyov
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz
* Friedrich Steimann

WG11/M23Johnson

2024-03-24T16:43:42Z

Geoff: Created page with "A quantum computer is a collection of n qubits, which form a basis for a complex vector space of dimension 2^n. A quantum computation can be viewed as a Unitary matrix acting..."

A quantum computer is a collection of n qubits, which form a basis for a complex vector space of dimension 2^n. A quantum computation can be viewed as a Unitary matrix acting on the qubits. Quantum algorithms correspond to factorizations of unitary matrices into a sequence of gates (often 2x2 or 4x4 unitary matrices). Algorithms can be derived by factoring a given unitary matrix, or a family of matrices, into a product of gates. Alternative factorizations provide algorithmically equivalent choices which can have different costs. In this talk, we derive factorizations of the Discrete Fourier Transform (DFT) matrix into a product of gates and formally verify that the mapping to gates is correct using the Coq proof assistant.

WG211/M23Schedule

2024-03-24T16:42:41Z

Geoff: /* Scientific program */

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

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.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

==== Workspace ====

There are work pods (with doors) throughout the 10th and 11th floor of the building.

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* Ken Shan (TBD)
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (TBD)

We will follow our usual format of interactive talks with an active audience, using 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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

Monday, March 25

* 8:45 - 9:00 Welcome and 2 talks
** 9:00 - 9:45 Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
** 9:45 - 10:30 András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
** 11:00 - 11:45 Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 2 talks
** 12:45 - 13:30 Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
** 13:30 - 14:15 Jeremy Johnson [[WG11/M23Johnson | Derivation and Verification of the Quantum FFT ]]
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
* 18:00 Dinner at [https://vedaphilly.com/ Veda]

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

March 24 (Sunday): Dinner at [https://www.handynasty.net/location/han-dynasty-university-city/ Han Dynasty]

Dinner is at 7:45. We will meet at 7:30 in the lobby of the Sheraton.

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Oleg Kiselyov
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz
* Friedrich Steimann

WG211/M23Schedule

2024-03-24T16:35:37Z

Geoff: /* Scientific program */

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

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.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

==== Workspace ====

There are work pods (with doors) throughout the 10th and 11th floor of the building.

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* Ken Shan (TBD)
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (TBD)

We will follow our usual format of interactive talks with an active audience, using 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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

Monday, March 25

* 8:45 - 9:00 Welcome and 2 talkss
** 9:00 - 9:45 Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
** 9:45 - 10:30 András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
** 11:00 - 11:45 Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 Two talks
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
* 18:00 Dinner at [https://vedaphilly.com/ Veda]

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

March 24 (Sunday): Dinner at [https://www.handynasty.net/location/han-dynasty-university-city/ Han Dynasty]

Dinner is at 7:45. We will meet at 7:30 in the lobby of the Sheraton.

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Oleg Kiselyov
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz
* Friedrich Steimann

WG211/M23Schedule

2024-03-24T16:35:13Z

Geoff: /* IFIP Working Group 2.11, Twenty-third Meeting */

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

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.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

==== Workspace ====

There are work pods (with doors) throughout the 10th and 11th floor of the building.

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* Ken Shan (TBD)
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (TBD)

We will follow our usual format of interactive talks with an active audience, using 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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

Monday, March 25

* 8:45 - 9:00 Welcome and 2 talkss
** 9:00 - 9:45 Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
** 9:45 - 10:30 András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
** 11:00 - 11:45 Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 Two talks
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
* 18:00 Dinner at [https://vedaphilly.com/ Veda]

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

March 24 (Sunday): Dinner at [https://www.handynasty.net/location/han-dynasty-university-city/ Han Dynasty]

Dinner is at 7:45. We will meet at 7:30 in the lobby of the Sheraton.

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Oleg Kiselyov
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz
* Friedrich Steimann

WG211/M23Schedule

2024-03-22T18:54:03Z

Geoff: /* Social events */

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

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.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

==== Workspace ====

There are work pods (with doors) throughout the 10th and 11th floor of the building.

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz (TBD)
* Ken Shan (TBD)
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (TBD)

We will follow our usual format of interactive talks with an active audience, using 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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

Monday, March 25

* 8:45 - 9:00 Welcome
* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 Two talks
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
* 18:00 Dinner at [https://vedaphilly.com/ Veda]

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

March 24 (Sunday): Dinner at [https://www.handynasty.net/location/han-dynasty-university-city/ Han Dynasty]

Dinner is at 7:45. We will meet at 7:30 in the lobby of the Sheraton.

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Oleg Kiselyov
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz
* Friedrich Steimann

WG211/M23Schedule

2024-03-22T18:50:37Z

Geoff: /* Social events */

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

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.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

==== Workspace ====

There are work pods (with doors) throughout the 10th and 11th floor of the building.

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz (TBD)
* Ken Shan (TBD)
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (TBD)

We will follow our usual format of interactive talks with an active audience, using 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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

Monday, March 25

* 8:45 - 9:00 Welcome
* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 Two talks
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
* 18:00 Dinner at [https://vedaphilly.com/ Veda]

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

March 24 (Sunday): Dinner at [https://www.handynasty.net/location/han-dynasty-university-city/ Han Dynasty]

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Oleg Kiselyov
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz
* Friedrich Steimann

WG211/M23Schedule

2024-03-22T18:50:19Z

Geoff: /* Social events */

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

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.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

==== Workspace ====

There are work pods (with doors) throughout the 10th and 11th floor of the building.

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz (TBD)
* Ken Shan (TBD)
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (TBD)

We will follow our usual format of interactive talks with an active audience, using 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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

Monday, March 25

* 8:45 - 9:00 Welcome
* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 Two talks
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
* 18:00 Dinner at [https://vedaphilly.com/ Veda]

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

March 24 (Sunday): Dinner at [https://www.handynasty.net/location/han-dynasty-university-city/ Han Dynasty]

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Oleg Kiselyov (Maybe)
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz
* Friedrich Steimann

WG211/M23Schedule

2024-03-22T18:44:22Z

Geoff: /* Social events */

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

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.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

==== Workspace ====

There are work pods (with doors) throughout the 10th and 11th floor of the building.

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz (TBD)
* Ken Shan (TBD)
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (TBD)

We will follow our usual format of interactive talks with an active audience, using 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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

Monday, March 25

* 8:45 - 9:00 Welcome
* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 Two talks
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
* 18:00 Dinner at [https://vedaphilly.com/ Veda]

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Oleg Kiselyov (Maybe)
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz
* Friedrich Steimann

WG211/M23Schedule

2024-03-22T14:27:19Z

Geoff: /* Venue */

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

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.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

==== Workspace ====

There are work pods (with doors) throughout the 10th and 11th floor of the building.

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz (TBD)
* Ken Shan (TBD)
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (TBD)

We will follow our usual format of interactive talks with an active audience, using 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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

Monday, March 25

* 8:45 - 9:00 Welcome
* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 Two talks
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
* 18:00 Dinner at [https://vedaphilly.com/ Veda]

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz

WG211/M23Weirich

2024-03-20T16:43:18Z

Geoff: Created page with "Effect and coeffect tracking are a useful way to integrate many forms of compile-time analysis, such as cost, liveness or dataflow, into a language's type system. However, the..."

Effect and coeffect tracking are a useful way to integrate many forms of compile-time analysis, such as cost, liveness or dataflow, into a language's type system. However, their interactions with call-by-push-value (CBPV), a computational model useful in compilation for its isolation of effects and its ability to encompass both call-by-name and call-by-value computations, are still poorly understood. We present fundamental results about those interactions, in particular effect and coeffect soundness. The former asserts that our CBPV-with-effects system accurately predicts the effects that the program may trigger during execution, and the latter asserts that our CBPV-with-coeffects system accurately tracks the demands a program makes on its environment. We also show that the standard translations from call-by-value and call-by-name languages are type and effect/coeffect preserving.

WG211/M23Schedule

2024-03-20T16:42:41Z

Geoff: /* Talks */

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

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.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz (TBD)
* Ken Shan (TBD)
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (TBD)

We will follow our usual format of interactive talks with an active audience, using 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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

Monday, March 25

* 8:45 - 9:00 Welcome
* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 Two talks
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
* 18:00 Dinner at [https://vedaphilly.com/ Veda]

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz

WG211/M23Gordon

2024-03-20T16:27:45Z

Geoff: Created page with "Many libraries and abstractions have constraints on the order in which programs perform certain operations. Sequential (flow-sensitive) effect systems are one powerful approac..."

Many libraries and abstractions have constraints on the order in which programs perform certain operations. Sequential (flow-sensitive) effect systems are one powerful approach to checking that these constraints are followed, but currently the limits on what sorts of protocols can be checked this way are unknown. We resolve this by exploring the synthesis of sequential effect systems from a broad class of automata known as valence automata, which abstract an automataton's storage mechanism by a monoid of storage updates. This unified model of storage mechanisms offers a way to generate an algebraic characterization of an effect system from automata up to and including Turing Machines. The unified storage abstraction then reduces questions of decidability for individual effect systems to problems involving rational subsets of the storage monoids. Come for the effect systems, stay for the theory of computation and computer algebra!

WG211/M23Schedule

2024-03-20T16:27:19Z

Geoff: /* Talks */

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

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.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz (TBD)
* Ken Shan (TBD)
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich (TBD)
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (TBD)

We will follow our usual format of interactive talks with an active audience, using 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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

Monday, March 25

* 8:45 - 9:00 Welcome
* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 Two talks
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
* 18:00 Dinner at [https://vedaphilly.com/ Veda]

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz

WG211/M23Schedule

2024-03-20T14:41:04Z

Geoff: /* Social events */

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

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.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon (TBD)
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz (TBD)
* Ken Shan (TBD)
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich (TBD)
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (TBD)

We will follow our usual format of interactive talks with an active audience, using 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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

Monday, March 25

* 8:45 - 9:00 Welcome
* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 Two talks
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
* 18:00 Dinner at [https://vedaphilly.com/ Veda]

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz

WG211/M23Schedule

2024-03-20T14:16:00Z

Geoff: /* Talks */

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

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.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon (TBD)
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz (TBD)
* Ken Shan (TBD)
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich (TBD)
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (TBD)

We will follow our usual format of interactive talks with an active audience, using 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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

Monday, March 25

* 8:45 - 9:00 Welcome
* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 Two talks
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
* 18:00 Dinner at [https://vedaphilly.com/ Veda]

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

The following attendees have indicated interest in meeting Sunday evening for dinner:
* Michael Ballantyne
* Jacques Carette
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz

WG211/M23Schedule

2024-03-20T14:15:27Z

Geoff: /* Talks */

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

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.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon (TBD)
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz (TBD)
* Ken Shan (TBD)
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (TBD)

We will follow our usual format of interactive talks with an active audience, using 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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

Monday, March 25

* 8:45 - 9:00 Welcome
* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 Two talks
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
* 18:00 Dinner at [https://vedaphilly.com/ Veda]

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

The following attendees have indicated interest in meeting Sunday evening for dinner:
* Michael Ballantyne
* Jacques Carette
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz

WG211/M23Schedule

2024-03-19T16:19:16Z

Geoff:

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

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.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics] 
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]

We will follow our usual format of interactive talks with an active audience, using 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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

Monday, March 25

* 8:45 - 9:00 Welcome
* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 Two talks
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
* 18:00 Dinner at [https://vedaphilly.com/ Veda]

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

The following attendees have indicated interest in meeting Sunday evening for dinner:
* Michael Ballantyne
* Jacques Carette
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz

WG211/M23Schedule

2024-03-18T22:52:58Z

Geoff: /* Social events */

WG211/M23Schedule

2024-03-18T22:52:45Z

Geoff: /* Program / schedule */

WG211/M23Schedule

2024-03-08T17:12:30Z

Geoff: /* March 25th–28th 2024 in Philadelphia, Pennsylvania, USA */

WG211/M23Schedule

2024-03-07T17:34:30Z

Geoff: /* Program / schedule */

WG211/M23Schedule

2024-02-27T17:06:20Z

Geoff: /* Accommodation */

WG211/M23Schedule

2024-02-27T17:05:39Z

Geoff: /* Attendance */

WG211/M23Schedule

2024-02-12T15:06:02Z

Geoff:

WG211/M23Schedule

2024-01-22T20:12:59Z

Geoff: /* IFIP Working Group 2.11, Twenty-third Meeting */

WG211/M23Schedule

2024-01-22T20:04:44Z

Geoff: /* IFIP Working Group 2.11, Twenty-third Meeting */

WG211/M23Schedule

2024-01-19T22:42:21Z

Geoff:

Main Page

2023-08-22T14:28:28Z

Geoff:

Welcome to the homepage of [http://www.ifip.org/ifiptc2/ IFIP TC-2] working group on Program Generation (WG 2.11)

=Program Generation (WG 2.11)=

Program generation has the potential to revolutionize software development in the same way that automation and components revolutionized manufacturing. Current research in this area targets a host of technical problems both at the foundational and engineering levels. The aim of this IFIP Working Group of researchers and practitioners is to promote progress in this area.

==Current Activity==

'''Next meeting''': [[WG211/M23Schedule | Twenty-third meeting in Philadelphia, Pennsylvania, USA ]]

==Current Members==
{|
|[https://namin.seas.harvard.edu/ Nada Amin] (US)
|[http://www.irisa.fr/celtique/blazy/ Sandrine Blazy] (FR)
|[http://eb.host.cs.st-andrews.ac.uk/ Edwin Brady] (UK), Vice Chair
|-
|[http://www.cas.mcmaster.ca/~carette/ Jacques Carette] (CA), Chair
|[http://ti.arc.nasa.gov/profile/edenney/ Ewen Denney] (US)
|[https://www.pl.informatik.uni-mainz.de/erdweg/ Sebastian Erdweg] (DE)
|-
|[http://www.cs.sun.ac.za/~bfischer/ Bernd Fischer] (ZA)
|[http://www.cs.ox.ac.uk/jeremy.gibbons/ Jeremy Gibbons] (UK)
|[http://www.diku.dk/~glueck Robert Glück] (DK)
|-
|[http://www.cs.st-andrews.ac.uk/~kh/Home/Home.html Kevin Hammond] (UK)
|[http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/index.html.en Atsushi Igarashi] (JP)
|[http://denotational.co.uk/ Ohad Kammar] (UK)
|-
|[http://www.cs.cmu.edu/~ckaestne/ Christian Kästner] (US)
|[http://www.cs.tsukuba.ac.jp/~kam/ Yukiyoshi Kameyama] (JP)
|[http://www.doc.ic.ac.uk/~phjk/ Paul Kelly] (UK)
|-
|[http://okmij.org/ftp/ Oleg Kiselyov] (JP)
|[http://www.uni-koblenz.de/~laemmel Ralf Lämmel] (DE)
|[http://pagesperso-systeme.lip6.fr/Julia.Lawall/ Julia Lawall] (FR)
|-
|[http://www.infosun.fmi.uni-passau.de/cl/staff/lengauer/ Christian Lengauer] (DE) (*)
|[https://www.cs.drexel.edu/~mainland/ Geoffrey Mainland] (US)
|[https://pdmosses.github.io Peter Mosses] (UK, NL)
|-
|[http://ps.informatik.uni-tuebingen.de/team/ostermann/ Klaus Ostermann] (DE)
|[http://www.inf.ethz.ch/personal/markusp Markus Püschel] (CH)
|[http://creichen.net/ Christoph Reichenbach] (SE)
|-
|[http://tiarkrompf.github.io/ Tiark Rompf] (US)
|[http://www.macs.hw.ac.uk/~sbs/homepage/main/Welcome.html Sven-Bodo Scholz] (UK)
|[http://www.mmmi.sdu.dk/~ups Ulrik Pagh Schultz] (DK)
|-
|[http://homes.soic.indiana.edu/ccshan/ Chung-chieh Shan] (US)
|[http://raintown.org/ Satnam Singh] (US)
|[https://inkytonik.github.io/ Anthony M. Sloane] (AU)
|-
|[http://www.cs.umass.edu/~yannis/ Yannis Smaragdakis] (GR)
|[https://people.csail.mit.edu/asolar/ Armando Solar-Lezama] (US)
|[http://www.cs.rice.edu/~taha/ Walid Taha] (SE)
|-
|[http://www-users.cs.umn.edu/~evw/ Eric Van Wyk] (US)
|[https://www.cl.cam.ac.uk/~jdy22/ Jeremy Yallop] (UK)
|[https://grammarware.net/ Vadim Zaytsev] (NL)
|-
|}
(*) emeritus

==Past Activity==

* [[WG211/M22Schedule | Twenty-second meeting in Delft, The Netherlands ]]
* [[WG211/M21Schedule | Twenty-first meeting in Odense, Denmark ]]
* [[WG211/M20Schedule | Twentieth meeting in Paris, France ]]
* [[WG211/M19Schedule | Nineteenth meeting in Salem, USA ]]
* [[WG211/M18Schedule | Eighteenth meeting in Kyoto, Japan ]]
* [[WG211/M17Schedule | Seventeenth meeting in Koblenz, Germany ]]
* [[WG211/M16Schedule | Sixteenth meeting in Bloomington, Indiana, USA]]
* [[WG211/M15Schedule | Fifteenth meeting in London, England]]
* [[WG211/M14Schedule | Fourteenth meeting in Stellenbosch, South Africa]]
* [[WG211/M13Schedule | Thirteenth meeting in Pittsburgh, USA]]
* [[WG211/M12Schedule | Twelfth meeting in Minneapolis, USA]]
* [[WG211/M11Schedule | Eleventh meeting in Halmstad, Sweden]]
* [[WG211/M10Schedule | Tenth meeting in Bordeaux, France]]
* [[WG211/M9Schedule | Ninth meeting in Waterloo, Canada]]
* [[WG211/M8Schedule | Eighth meeting in St. Andrews Scotland]]
* [[WG211/M7Schedule | Seventh meeting in Mountain View, California]]
* [[WG211/M6Schedule | Sixth meeting in Passau]]
* [[WG211/M5Schedule | Fifth meeting in Copenhagen]]
* [[WG211/M4Schedule | Fourth meeting in Portland]]
* [[WG211/M3Schedule | Third meeting at Dagstuhl]]
* [[WG211/MeetingTwo | Second meeting at Rice, Houston, TX.]]
* [[WG211/MeetingOne | Kickoff meeting in St. Emilion]]


==Background==

* [[WG211/WG211-Aims-2011-02-25 | Current aims ]] of the working group, revised February 2011

* [[Media:aims-2003-09-01.txt | Initial aims ]] of the working group, as submitted to IFIP, September 2003).

* [http://www.infosun.fim.uni-passau.de/cl/papers/DSPG2004.html Compendium of papers] resulting from [http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=2003131 Dagstuhl seminar] that lead directly to the WG 2.11.

==Related events==
* [https://conf.researchr.org/home/gpce-2019 GPCE 2019] and [https://conf.researchr.org/home/sle-2019 SLE 2019] will be held in Athens as part of [https://2019.splashcon.org/home SPLASH]






==Past members==
A few past members include
{|
|[https://www.se.cs.uni-saarland.de/apel/ Sven Apel] (DE)
|[https://www.yale-nus.edu.sg/faculty/olivier-danvy/ Olivier Danvy] (<del>DK</del> SG)
|[https://www.infosun.fim.uni-passau.de/cl/staff/herrmann/ Christoph Herrmann] (DE)
|-
|[https://cs.illinois.edu/about/people/emeritus-faculty/kamin Sam Kamin] (US)
|[https://eelcovisser.org/ Eelco Visser] (NL)
|}

----

With the sudden and unexpected death of Prof. Eelco Visser, the IFIP WG
2.11 lost one of its founding members and a regular participant and central player in the group for close to two decades.

Eelco stood out by his calm demeanor and pleasant, sonoric voice. It gave him a special presence. Some time ago, he told us that he considered his first invitation to the WG as a pivotal event in his career and that he was very grateful for this. This was Dagstuhl Seminar 03131, which can be viewed as the conception event of WG 2.11.

Eelco implemented the group's goals more effectively and tangibly than many of us and he never made a big deal about it. The software systems he developed, be it Stratego, Spoofax or Researchr, have a far reach into the community and beyond. Eelco was always courteous, attentive and friendly but, being also passionate, he would not shy away from lively arguments. He was a pillar of strength and steadiness in the group. We will miss him dearly.

==Mailing list==
* The working group maintains a mailing list for discussions related to program generation. You can subscribe to this list [https://mailman.rice.edu/mailman/listinfo/wg2.11-discussion-l here].

WG211/M23Schedule

2023-08-22T14:27:05Z

Geoff: Created page with "=IFIP Working Group 2.11, Twenty-third Meeting= == March 25th–28th 2024 in Philadelphia, Pennsylvania, USA == The meeting will be hosted by [https://www.cs.drexel.edu/~mai..."

=IFIP Working Group 2.11, Twenty-third Meeting=

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~mainland/ Geoffrey Mainland].

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 ===

Drexel College of Computing and Informatics 
3675 Market Street