WG211/M23Schedule
Contents
IFIP Working Group 2.11, Twenty-third Meeting
March 25th–28th 2024 in Philadelphia, Pennsylvania, USA
The meeting will be hosted by 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 Google map includes the venue, hotel, and locations of social events.
Venue
Drexel College of Computing and Informatics
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 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
- Taxi tariffs
- Regional rail from PHL
- Amtrak
- Indego city bikes
- 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 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 Barnes Foundation Monday afternoon.
- Group dinner at Veda on Tuesday.
You may complete this registration at this link.
Participant Registration (Monday and Wednesday Dinners)
The second registration (USD 140) covers
- Group dinner at Harp & Crown on Monday.
- Group dinner at Spice Finch on Wednesday.
You may complete this registration at this link.
Observer Registration
Observers may register for coffee and lunch. Two options are available:
- A four-day registration (USD 100)
- A 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 A Redesign for Staged Relational Programming
- Michael Ballantyne A language workbench as library
- Jacques Carette Partial Evaluation meets Denotational Semantics
- Colin Gordon Synthesizing Effect Systems from Automata
- Jeremy Johnson (TBD)
- Yukiyoshi Kameyama Program generation and (lightweight) analysis: case studies on cryptographic implementations
- Ohad Kammar Paella: handlers for parameterised algebraic effects
- Martin Kellogg Static Program Reduction via Specification Slicing
- Oleg Kiselyov The Mysteries of AXPY
- András Kovács Polarized lambda calculus at runtime, dependent type theory at compile time
- Julia Lawall Towards Verification of Linux Kernel Code
- Geoffrey Mainland (TBD)
- Igor Pikovets OCaml in the Big Data World
- Sven-Bodo Scholz Stream it if you can - not just when your GPU runs out of memory
- Ken Shan More Efficient Exact Recursive Probabilistic Programming
- Satnam Singh Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips
- Friedrich Steimann Relate! Concatenative Relational Programming
- Stephanie Weirich CBPV + effects + coeffects
- Eric Van Wyk Modular Metatheory for Extensible Languages
- Jeremy Yallop 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 CBPV + effects + coeffects
- 9:45 - 10:30 András Ková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 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 Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips
- 13:30 - 14:15 Jeremy Johnson Derivation and Verification of the Quantum FFT
- 15:00 - 17:00 Excursion to Barnes Foundation
- 18:00 Dinner at Harp & Crown
Tuesday, March 26
- 9:00 - 10:30 Two talks
- 9:00 - 9:45 Oleg Kiselyov The Mysteries of AXPY
- 9:45 - 10:30 Michael Ballantyne A language workbench as library
- 10:30 - 11:00 Break
- 11:00 - 11:45 One talk
- 11:00 -11:45 Colin Gordon Synthesizing Effect Systems from Automata
- 11:45 - 13:00 Lunch
- 13:00 - 14:30 Two talks
- 13:00 - 13:45 Julia Lawall Towards Verification of Linux Kernel Code
- 13:45 - 14:30 Yukiyoshi Kameyama 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 Static Program Reduction via Specification Slicing
- 15:45 - 1630 Friedrich Steimann Relate! Concatenative Relational Programming
- 18:30 Dinner at 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 A Redesign for Staged Relational Programming
- 9:45 - 10:30 Eric Van Wyk Modular Metatheory for Extensible Languages
- 10:30 - 11:00 Break
- 11:00 - 11:45 One talk
- 11:00 - 11:45 Ken Shan More Efficient Exact Recursive Probabilistic Programming
- 11:45 - 13:00 Lunch
- 13:00 - 14:30 Two talks
- 13:00 - 13:45 Jeremy Yallop Rough thoughts on refunctionalization
- 13:45 - 14:30 Ohad Kammar 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 Spice Finch
Thursday, March 28
- 9:00 - 10:30 2 talks
- 9:00 - 9:45 Igor Pikovets OCaml in the Big Data World
- 9:45 - 10:30 Geoffrey Mainland Metaprogramming with Combinators
- 10:30 - 11:00 Break
- 11:00 - 11:45 1 talk
- 11:45 Lunch
Social events
March 25: Visit to the Barnes Foundation
March 25: Dinner at Harp & Crown
March 26: Dinner at Veda
March 27: Dinner at Spice Finch
Lunch will be served at the meeting location all four days of the meeting.
March 24 (Sunday): Dinner at 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