From WG 2.11
Jump to: navigation, search

IFIP Working Group 2.11, Sixteenth Meeting

August 22-25, 2016 in Bloomington, Indiana, USA.

The meeting will be held in Bloomington, Indiana, USA, hosted by Chung-chieh Shan (Indiana University). The meeting will last 3.5 days; the first three days (August 22-24) will be full-day, whereas the last day (August 25) will be a half-day session ending with lunch.


Map of relevant Bloomington locations in Google, also available as printable PDF

The venue will be the ground-level meeting room at the Center for Research in Extreme Scale Technologies at 420 N. Walnut St near downtown Bloomington.


Beware that the Bloomington in Indiana is different from the Bloomington in Illinois and Minnesota. Do not fly into Bloomington-Normal airport in Illinois!

The most convenient airport is Indianapolis (IND), about one hour of driving time from campus. To get from the airport to campus:

  • Every couple of hours there are two companies (Go Express and Star of America) that provide shuttle van service to Bloomington (from 6:20am to 10:40pm; ~$20), with a stop in front of the Indiana Memorial Union.
  • Or call e2Taxi at +1 812-961-8294.
  • Or rent a car at the airport.

You can also drive from another city, such as Chicago (4 hours), Cincinnati (3 hours), Louisville (2 hours).


As of July 20, the block of hotel rooms we reserved at the Indiana Memorial Union ($129-$164/night + tax, earliest check-in on August 20, latest check-out on August 26) has released, so any further booking is subject to current availability. Please use the hotel block "group code" "IFIP" by calling +1-800-209-8145 or +1-812-855-2536.

There are also several other hotels and bed-and-breakfasts convenient to downtown Bloomington.


The registration fee is US$375. Please register and pay using this link: https://indianauniv.ungerboeck.com/prod/emc00/register.aspx?OrgCode=10&EvtID=7572&AppCode=REG


Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.

Sandrine Blazy, Edwin Brady, Jacques Carette, Charles Consel (M-W), Ewen Denney, Jeremy Gibbons, Kevin Hammond (M-W), Christian Kaestner (M-W), Oleg Kiselyov, Ralf Laemmel, Julia Lawall (M-W), Praveen Narayanan, Ryan Newton, Tiark Rompf, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Amr Sabry (intermittent), Jeremy Siek, Satnam Singh, Eelco Visser, Eric Van Wyk, Sam Tobin-Hochstadt, Tim Zakian


See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts.

Sandrine Blazy CompCert guarantees for low-level programs (slides)

Edwin Brady Concurrent programming with dependent types

Jacques Carette Drasil: From generating code to generating software (slides)

Charles Consel Integrating Domain Experts in the Software Development Process via a DSL-Based Approach

Ewen Denney Synthesizing Domain-specific Annotations

Jeremy Gibbons APLicative Programming with Naperian Functors (slides) (paper)

Kevin Hammond Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms (slides)

Christian Kaester How to Break an API: Cost Negotiation and Community Values in Three Software Ecosystems (slides)

Oleg Kiselyov Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing

Ralf Lämmel Compilation of megamodels

Julia Lawall Prequel: A Patch-Like Query Language for Commit History Search (slides)

Praveen Narayanan Disintegrating probabilistic programs with arrays (slides)

Ryan Newton Why is auto-tuning not composable? and other open problems (slides)

Tiark Rompf LMS-Verify: Abstraction Without Regret for Verified Systems Programming

Sven-Bodo Scholz SpaceTime -- a fresh view on parallel programming

Ulrik Pagh Schultz Adventures in Object-Oriented Reversible Programming

Jeremy Siek Compiling gradually typed languages for efficiency

Satnam Singh Code Generation Challenges for Android Applications

Eric Van Wyk Language extensions for parallel programming: opportunities and challenges (slides)

Eelco Visser Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics


Breakfast, wireless Internet, and a bottomless cup of coffee are available every day from 7am at Scholars Inn Bakehouse downtown (125 N College, southwest of the intersection with 6th St). Please tell them to charge your meal to the "computer science workshop". It's less than 10 minutes walk from the meetings (on Walnut, southeast of the intersection with 9th St).

Monday August 22:

  • 9:15 arrive, welcome
  • 9:30-10:15 Sven-Bodo Scholz
  • 10:15-10:45 morning break with refreshments
  • 10:45-11:30 Edwin Brady
  • 11:30-12:15 Julia Lawall
  • 12:00-14:00 catered lunch from Feast
  • 14:00-14:45 Charles Consel
  • 14:45-15:30 Ewen Denney
  • 15:30-16:00 afternoon break with refreshments
  • 16:00-16:45 Eric Van Wyk
  • 16:45-17:30 Tiark Rompf
  • 19:00 dinner at Uptown Cafe

Tuesday August 23:

  • 8:30-9:15 Christian Kaestner
  • 9:15-10:00 Ryan Newton
  • 10:00-10:30 morning break with refreshments
  • 10:30-11:15 Kevin Hammond
  • 11:15-12:00 Sandrine Blazy
  • 12:00-14:00 catered lunch from Falafels
  • 14:00-14:45 Praveen Narayanan
  • 14:45-15:30 Jeremy Gibbons
  • 15:30-16:00 afternoon break with refreshments
  • 16:00-17:30 business meeting (members only)
  • 19:00 dinner at Topos 403

Wednesday August 24:

Thursday August 25:

  • 8:30-9:15 Eelco Visser
  • 9:15-10:00 Ulrik Pagh Schultz
  • 10:00-10:30 morning break with refreshments
  • 10:30-11:15 Jacques Carette
  • 11:15-12:00 Jeremy Siek
  • 12:00 Chung-chieh Shan (short talk, maybe, time allowing)
  • 12:00-14:00 catered lunch (or to go) from Laughing Planet


After lunch on Wednesday, August 24, we'll take in the highlights of the Indiana University Art Museum and Lilly Library, including its puzzle collection. Before lunch, we'll also learn a bit about the Kinsey Institute.

If you're looking to spend some free time in Bloomington (like meeting up for Sunday dinner), here are some of the options:

  • Food:
  • Alcohol: Atlas, Upland Brewery, The Tap, Function Brewery, Quaff On, ...
  • Coffee: Pourhouse, Soma, Runcible Spoon, Hopscotch, ...
  • Chocolate: BLU Boy
  • More museums: WonderLab, Mathers Museum of World Cultures
  • Film: More "Raiders of the Lost Ark" than you probably want at the Indiana University Cinema
  • Bicycling: Maybe rent a bike at Revolution Bike & Bean, enjoy an espresso, and head for one of the lakes (Griffy, Lemon, Monroe)?