Revision as of 19:19, 18 August 2016

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.

Venue

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.

Travel

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

Accommodation

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.

Registration

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

Attendance

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

Sandrine Blazy, Edwin Brady, Jacques Carette, 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

Talks

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

Sandrine Blazy A Verified Compiler for a Memory Model supporting Pointer Arithmetic and Uninitialised Data

Edwin Brady Concurrent programming with dependent types

Jacques Carette Drasil: From generating code to generating software

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

Ewen Denney Synthesizing Domain-specific Annotations

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

Jeremy Gibbons APLicative Programming with Naperian Functors

Christian Kaester Cross-Language Analysis of Dynamic Web Applications

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

Praveen Narayanan Disintegrating probabilistic programs with arrays

Ryan Newton TBA

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 TBA

Satnam Singh Code Generation Challenges for Android Applications

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

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

Schedule

Note that the actual scheduling of talks will not be available until the meeting starts (although you will know in advance if you are giving a talk in the first session).

Preliminary schedule

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:15-10:00 work (1 talk)
• 10:00-10:30 morning break with refreshments
• 10:30-12:00 work (2 talks)
• 12:00-14:00 catered lunch from Feast
• 14:00-15:30 work (2 talks)
• 15:30-16:00 afternoon break with refreshments
• 16:00-17:30 work (2 talks)
• 19:00 dinner at Uptown Cafe

Tuesday August 23:

• 8:30-10:00 work (2 talks)
• 10:00-10:30 morning break with refreshments
• 10:30-12:00 work (2 talks)
• 12:00-14:00 catered lunch from Falafels
• 14:00-15:30 work (2 talks)
• 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:

• 9:00-10:30 work (2 talks)
• 10:30-11:00 morning break with refreshments
• 11:00-12:30 work (2 talks)
• 12:30-14:30 buffet lunch at Anatolia
• 14:30-17:30 excursion (see below)
• 19:00 dinner at Esan Thai

Thursday August 25:

• 8:30-10:00 work (2 talks)
• 10:00-10:30 morning break with refreshments
• 10:30-12:00 work (2 talks)
• 12:00-14:00 catered lunch (or to go) from Laughing Planet

Excursion

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. If we're lucky, 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:
  • "restaurant row" on 4th St around Dunn St and Grant St: Tibetan, Burmese, Korean, Indian, Turkish, ...
  • downtown: Samira (Afghan), Owlery (vegan diner), King Dough (wood-oven pizza, including vegetarian, vegan, and gluten-free options), ...
• Alcohol: 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)?