WG 2.11 - User contributions [en]

WG211/M19Kaestner

2019-05-01T01:29:37Z

Christian: Created page with "slides: https://docs.google.com/presentation/d/168EVqWRQaXDwSlhLcQ3SPuf0kwbAe2CDRnfQAj1qSfE/edit?usp=sharing"

slides: https://docs.google.com/presentation/d/168EVqWRQaXDwSlhLcQ3SPuf0kwbAe2CDRnfQAj1qSfE/edit?usp=sharing

WG211/M19Schedule

2019-04-24T17:44:50Z

Christian: /* Attendance */

=IFIP Working Group 2.11, Nineteenth Meeting=

== April 29-May 2nd 2019 in Boston, USA ==

The meeting will be held in Boston, USA, hosted by Armando Solar-Lezama.

The meeting will last 3.5 days; the first three days will be full-day, whereas the last day will be a half-day session.

=== Venue ===

The meeting will be held at Salem Waterfront Hotel & Suites in Salem MA, http://www.salemwaterfronthotel.com

=== Travel ===

Travel recommendations (based on mailing list discussion):
* Generic Boston to Salem taxi fare estimated at $60 including tips, add your name below to find people who arrive/leave at similar times and might want to share a ride.
* The commuter rail seems to be running from Chelsea to Salem over the weekend https://www.mbta.com/schedules/CR-Newburyport/timetable?date=2019-04-28&direction_id=0
* The MBTA #459 bus does not run over the weekend, but can be used for transport to the airport https://www.tripadvisor.co.uk/ShowTopic-g60954-i1100-k11774787-Transportation_From_Boston_airport_to_Salem-Salem_Massachusetts.html

Flight arrivals and departures:
<blockquote>
{|
!Name
!Arr flight
!Arr time (at BOS)
!Dep flight
!Dep time (at BOS)
!Contact
|-
|Jeremy Gibbons
|BA213
|Sat 13:35
|BA238
|Fri 07:30
|-
|Sandrine Blazy
|AF334
|Sun 15:55
|AF333
|Thu 18:05
|-
|Jacques Carette
|AC7606
|Sun 16:30
|AC527
|Thu 12:20
|-
|Maryam Mehri Dehnavi
|Porter Airlines 941
|Sun 13:30
|(...)
|(...)
|mmehride@cs.toronto.edu, 416-948-2008
|-
|Ulrik Pagh Schultz
|SK927
|Sun 14:55
|SK928
|Thu 17:30
|}
</blockquote>

=== Accommodation ===

As noted above, the meeting will take place at the Salem Waterfront Hotel & Suites in Salem MA. We have a block of rooms reserved at the following rates:
* Superior Full: $149.00
* Superior Queen: $159.00
* Superior King: $159.000
* Deluxe King: $169.00
* Junior Suite: $189.00
* King Suite: $209.00
All the costs are per night before taxes for up to 2 guests per room ($10 plus tax is added for extra guests in a room). In order to get this rate people need to call the hotel directly at 1-888-337-253 (US) or +1-978-740-8788 (internationally) and refer to MIT.
The block is held until April 2nd 2019, but please reserve as soon as possible so we have a good headcount.

=== Registration ===

Registration is done using eventbrite: https://www.eventbrite.com/e/wg-211-meeting-tickets-57113878147

The password is circulated by email. The registration is $520.42. (People from the US can save the eventbrite fee of 5% by paying with a check when they arrive, in this case they only need to pay $497.00.)

== Attendance ==

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

Sandrine Blazy,
Edwin Brady,
Jacques Carette (not Thursday),
Maryam Mehri Dehnavi,
Jack Feser,
Franz Franchetti (Monday and Tuesday),
Jeremy Gibbons,
Kevin Hammond,
Christian Kaestner (not Thursday),
James Koppel,
Julia Lawall,
Geoff Mainland,
Ulrik Pagh Schultz,
Chung-chieh Shan (not Thursday),
Yannis Smaragdakis,
Armando Solar-Lezama,
Eelco Visser (not Thursday),
Eric Walkingshaw,
Eric Van Wyk,
Jeremy Yallop.

== Talks ==

See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts. Members: please add yourself and your topic, alphabetical order by last name, following the template below.

* Sandrine Blazy [[WG211/M19Blazy | Teaching deductive verification to undergraduate students]]
* Edwin Brady [[WG211/M19Brady | Resource Safety with Linear Dependent Types]]
* Jacques Carette [[WG211/M19Carette | Metaprogramming Agda]]
* Kevin Hammond [[WG211/M19Hammond | Energy Usage for Parallel Haskell Programs]]
* Maryam Mehri Dehnavi [[WG211/M19Dehnavi | Sparse Matrix Code Generation with Symbolic Decoupling ]]
* Franz Franchetti [[WG211/M19Franchetti | Formal Software Synthesis of Computational Kernels]]
* Christian Kaestner [[WG211/M19Kaestner | Higher-Order Mutation Testing with Variational Execution ]]
* Julia Lawall TBA
* Geoffrey Mainland [[WG211/M19Mainland | Compiling Low-level Radio Protocols]]
* Ulrik Pagh Schultz [[WG211/M19Schultz | Teaching Program Generation to the Masses (all the Non-Computer-Scientists)]]
* Chung-chieh Shan [[WG211/M19Shan | From high-level inference algorithms to efficient code]]
* Yannis Smaragdakis TBD, probably Ethereum-something
* Eric Van Wyk [[WG211/M19VanWyk | Reflection in Attribute Grammars ]]
* Eelco Visser [[WG211/M19Visser | Declarative Type System Specification with Statix]]
* Eric Walkingshaw [[WG211/M19Walkingshaw | Toward a Variational Programming Language]]
* Jeremy Yallop [[WG211/M19Yallop | A typed, algebraic approach to parsing]]
* ... (add more, order alphabetically by last name, following same pattern)...

We will follow our usual format of interactive talks with an active audience, but this time making use of a chess clock for timing, as follows. For each talk the speaker and the audience each get at most 25 minutes. The audience does not have to wait until the end of a talk to ask questions; interaction and discussion is encouraged. (But experience from previous meeting shows that it is useful to let the speaker at least finish their introduction before interrupting.) To ensure fairness, administration of the time used by each party is done using a chess clock. Operation of the clock rotates among participants. Both speakers and audience are expected to contribute to make talks and discussions engaging, interesting, and useful. Therefore, we observe a policy of no use of electronic devices during talks (other than the device the speaker uses to present slides). Bring paper and pen for making notes.

== Program / schedule ==

=== Scientific program ===

'''PRELIMINARY''' program. The scheduling of the talks will be announced on the first day of the meeting (the speakers of the first session will be informed by email in advance).

Monday, April 29:
* 9:00 - 10:30: Welcome and 2 talks
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
* 12:00 - 14:00: Lunch
* 14:00 - 15:30: 2 regular talks
* 15:30 - 16:15: Break
* 16:15 - 17:30: 1 talk

Tuesday, April 30:
* 9:00 - 10:30: Welcome and 2 talks
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
* 12:00 - 14:00: Lunch
* 14:00 - 15:30: 2 regular talks
* 15:30 - 16:00: Break
* 16:00 - 17:30: Business Meeting, members only

Wednesday, May 1:
* 9:00 - 10:30: Welcome and 2 talks
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
* 12:00 - 14:00: Lunch
* 14:00 - 15:30: 2 regular talks
* 15:30 - 17:30: Excursion

Thursday, May 2:
* 9:00 - 10:30: 2 talks
* 10:30 - 11:00: Break
* 11:00 - 12:00: 1 talk
* 12:00: Lunch and/or departure

=== Social events ===

To be announced. Social events will in general be covered by the registration fee, details will be available later.

== Excursion==

To be announced.

2016-08-12T12:34:34Z

Christian: /* Talks */

=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 [http://homes.soic.indiana.edu/ccshan/ 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 [http://crest.iu.edu/ 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 ([http://goexpresstravel.com/airport_shuttle_schedule Go Express] and [http://www.soashuttle.com/locations/bloomington-to-indianapolis/ 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 [[WG211/M16Blazy | A Verified Compiler for a Memory Model supporting Pointer Arithmetic and Uninitialised Data ]]

Edwin Brady TBA

Jacques Carette TBA

Charles Consel TBA

Ewen Denney TBA

Kevin Hammond [[WG211/M16Hammond | Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]]

Jeremy Gibbons [[WG211/M16Gibbons | APLicative Programming with Naperian Functors ]]

Christian Kaester [[WG211/M16Kaestner | Cross-Language Analysis of Dynamic Web Applications ]]

Oleg Kiselyov [[WG211/M16Kiselyov | Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing]]

Ralf Lämmel [[WG211/M16Laemmel | Compilation of megamodels]]

Julia Lawall [[WG211/M16Lawall | Prequel: A Patch-Like Query Language for Commit History Search]]

Praveen Narayanan [[WG211/M16PraveenNarayanan | Disintegrating probabilistic programs with arrays ]]

Ryan Newton TBA

Tiark Rompf TBA

Sven-Bodo Scholz [[WG211/M16Scholz | SpaceTime -- a fresh view on parallel programming ]]

Ulrik Pagh Schultz [[WG211/M16Schultz | Adventures in Object-Oriented Reversible Programming]]

Jeremy Siek TBA

Eric Van Wyk [[WG211/M16VanWyk | TBD ]]

Eelco Visser [[WG211/M16Visser | 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''

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 [http://www.feastcateringonline.com/ 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 [https://the-uptown.com/ 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 [http://www.falafelsonline.com/ 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 [http://www.finchsbrasserie.com/ Finch's Brasserie]

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 [http://www.restaurantanatolia.com/ Anatolia]
* 14:30-17:30 excursion (see below)
* 19:00 dinner at [http://www.esanthairest.com/ 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 [http://thelaughingplanetcafe.com/ Laughing Planet]

== Excursion==

After lunch on Wednesday, August 24, we'll take in the highlights of the [https://artmuseum.indiana.edu/ Indiana University Art Museum] and [http://www.indiana.edu/~liblilly/ Lilly Library], including its [http://www.indiana.edu/~liblilly/collections/puzzles.shtml puzzle collection]. If we're lucky, we'll also learn a bit about the [https://www.kinseyinstitute.org/ Kinsey Institute].

If you're looking to spend some free time in Bloomington (like meeting up for Sunday dinner), here are '''some''' of [http://www.visitbloomington.com/ 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: [http://wonderlab.org/ WonderLab], [http://www.mathers.indiana.edu/ Mathers Museum of World Cultures]
* Film: More "Raiders of the Lost Ark" than you probably want at the [http://www.cinema.indiana.edu/calendar/ 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)?

WG211/M16Schedule

2016-05-10T12:28:53Z

Christian: /* Attendance */

WG211/M13Schedule

2014-03-21T13:39:23Z

Christian: /* IFIP Working Group 2.11, Thirteenth Meeting */

[[Category:WG211]]

=IFIP Working Group 2.11, Thirteenth Meeting=

[[File:Pittsburghgroup.jpg|600px|thumb|right|Group Picture on Mt. Washington]]

==March 17-20, 2014, Pittsburgh, USA==

The meeting will be held at Carnegie Mellon University (CMU) in USA, March 17-20, hosted by Christian Kästner. The meeting starts March 17 in the morning, and ends with lunch on March 20.

We will meet on the CMU campus, for directions see schedule below.

=== Travel ===

The Pittsburgh International Airport is quite well connected in the US. The only direct flight to Europe is to Paris a few days a week.

The airport is somewhat outside of the town. You can either take a taxi (30-40 min, about 50-60 USD incl. tip) or the 28X bus (60-80 min, every 30 min until Midnight, 3.75 USD cash only, no change given).
The bus takes a pretty direct route and stops directly in front of the hotels (the Hilton is at the bus stop "Forbes Av at McKee Place"). Its final stop is right in front of the CMU campus. Here is a [http://www.portauthority.org/maps/28x.pdf map] and [http://www.portauthority.org/PAAC/Apps/pdfs/28X.PDF schedule].

The hotels are within walking distance from campus (15 to 30 minutes), but there are many buses running along Forbes Avenue and 5th Avenue as well, especially all 61 buses which should go every 10 minutes or so. When going toward campus, you pay when exiting the bus, when going toward downtown you pay when entering. It's a bit confusing but the bus driver will tell you. Again, cash only, no change. All hotels have shuttles that you can arrange to drive you anywhere within a 3 mile radius, including campus.

=== Accommodations ===

We recommend to stay at the Hilton Garden Inn, Pittsburgh University Place where we have reserved a block of rooms for attendees. Follow this link to make reservations: http://ow.ly/qho6O. You can also make reservations over the phone at +1 412-683-2040.

When booking your room, please make sure to use our special rate quote "'''CIS'''" at $119/night. The rooms will be held through February 16, 2014 so be sure to book before then.
For more information on the Hilton Garden Inn, see link http://pittsburghuniversityplace.hgi.com

If you prefer a different hotel, other hotels within walking distance include Hampton Inn ($119) and Wyndham ($144) and many more are a short bus trip away. If you choose to stay at another location, aside from the Hilton Garden Inn, please contact Jamie Lou Hagerty at jpresken@cs.cmu.edu to arrange reservations at the university rate.

===Registration===

Registration is now open

* You can register at http://isri.cmu.edu/events/ifip-wg211-13.html.

* The cost of registration is $375.00 and covers meeting rooms, excursion, lunch, dinner, and coffee breaks.

* Payment is to be made by credit card. Please contact Christian if you need to pay by some other means.

* When registering, remember to either add yourself to the list of attendees or send an email to Eric Van Wyk [[mailto:evw@cs.umn.edu]]. If you are giving a talk, please either edit the wiki and add your topic to the list below (members only) or email Eric.

'''Deadline to register is February 16, 2014'''

===Attendees===

Sandrine Blazy, Jacques Carette, Charles Consel, Franz Franchetti, Kevin Hammond, Atsushi Igarashi, Christian Kaestner, Samuel Kamin, Ralf Lämmel, Julia Lawall, Christian Lengauer, Mohammadreza Mousavi, Klaus Ostermann, Markus Püschel, Derek Rayside, Christoph Reichenbach, Tiark Rompf, Sven-Bodo Scholz, Chung-chieh Shan, Armando Solar-Lezama, Ulrik Pagh Schultz, Walid Taha, Eric Van Wyk.

===Talks===

If you are giving a talk, edit the wiki (members only), or email Christian the title and the abstract:

Talks:

* [[WG211/M13Aldrich | Safely Composable Type-Specific Languages in Wyvern]] Jonathan Aldrich
* [[WG211/M13Blazy | Compiling avionics software with a formally verified compiler]] Sandrine Blazy
* [[WG211/M13Carette | What have I been up to?]] Jacques Carette (short)
* [[WG211/M13Consel | Orchestrating Masses of Sensors: A Design-Driven Development Approach ]] Charles Consel
* [[WG211/M13Franchetti | High Assurance Spiral: Co-Synthesizing Proof and Implementation From High-Level Specification]] Franz Franchetti (not Tuesday)
* [[WG211/M13LeGoues | Automatic program repair using genetic programming]] Claire Le Goues
* [[WG211/M13Hammond | Using Dependent Types for Parallel Programming]] Kevin Hammond
* [[WG211/M13Igarashi | An E-learning System for the Formal Semantics of Computer Programs and Its Implementation by Program Generation]] Atsushi Igarashi
* [[WG211/M13Kaestner | An Update on Variability-Aware Execution]] Christian Kaestner
* [[WG211/M13Kamin | TBD]] Samuel Kamin (short talk, Thursday)
* [[WG211/M13Lawall | Understanding the Genetic Makeup of Linux Device Drivers]] Julia Lawall (short talk)
* [[WG211/M13Laemmel | Experiences with Software Language Engineering Classes]] Ralf Lämmel
* [[WG211/M13Lengauer | News from Project ExaStencils]] Christian Lengauer [[Media:M13Lengauer.pdf | (slides)]]
* [[WG211/M13Mousavi | Semantics, Validation and Verification of DSLs: An Experience Report]] Mohammadreza Mousavi
* [[WG211/M13Ostermann | From Object Algebras to Attribute Grammars]] Klaus Ostermann
* [[WG211/M13Puschel | Spiral for Basic Linear Algebra ]] Markus Püschel (Monday or Tuesday)
* [[WG211/M13Rayside | Synthesis of Microfluidics Chips using SMT Solvers]] Derek Rayside [[Media:M13Rayside.pdf | (slides)]]
* [[WG211/M13Reichenbach | PQL: A Purely-Declarative Java Extension for Parallel Programming]] Christoph Reichenbach
* [[WG211/M13Romph | Staging for Database Systems: From Query Interpreters to Query Compilers ]] Tiark Romph
* [[WG211/M13Scholz | Tinkering is Dead --- Long Live Tinkering]] Sven-Bodo Scholz
* [[WG211/M13Schultz | Object-oriented multi-stage programming]] Ulrik Schultz (short talk)
* [[WG211/M13Shan | From lazy evaluation to Gibbs sampling]] Chung-chieh Shan
* [[WG211/M13Solar | Generative Programming Meets Constraint Based Synthesis]] Armando Solar-Lezama
* [[WG211/M13Taha | Binding Time Analysis in Acumen]] Walid Taha
* [[WG211/M13VanWyk | AbleC: Modular and Composable Language Extensions for C]] Eric Van Wyk [[Media:M13VanWyk.pdf | (slides)]]

===Overall schedule===

The meeting is in GHC 4405 (Gates-Hillman Center, [http://www.flickr.com/photos/p0nk/9106077282/ picture of the building]; building 9B on the [http://www.cmu.edu/homeimages/campus-map/CMU_MapColor_11x17.pdf#11 campus map]). The room is near the entrance from Forbes Ave on the 4th floor. There are signs guiding you through the building to this room number. To get there from the hotel, simply follow Forbes Avenue until you see the CMU campus and the Gates-Hillman Building (there are several breakfast/coffee places along this road).

There will be a floating schedule where talks are scheduled dynamically as the meeting proceeds.
Overall schedule including lunch and dinner arrangements (first draft):

Monday (7 talks)
* 8.30-9.15: Welcome
* 9.15-10.00: Talks (1) by Markus Püschel (unless otherwise noted, all other talks are scheduled dynamically)
* 10.30-12.00: Talks (2)
** Lunch (Sandwiches from [http://www.eatuniquecafe.com/ Eat Unique])
* 13.30-15.00: Talks (2)
* 15.30-17.00: Talks (2), one of which is by Franz Franchetti
** 18:15: meet in hotel lobby
** 18:20: take shuttle/taxis to dinner
** 18:30: Dinner at [http://www.upkitchen.com/ Up]

Tuesday (6 talks, business meeting)
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
** Lunch at [http://www.theporchatschenley.com/ The Porch]
* 13.45-15.15: Talks (2)
* 15-45-17.00: Business meeting
** 18:25: meet in hotel lobby
** 18:30: take shuttle/taxis to dinner
** 18:45: Dinner at [http://churchbrew.com/ Church Brew Works]

Wednesday (6 talks, excursion)
* 8.30-10.00: Talks (2), one of which is a local guest talk by Jonathan Aldrich
* 10.30-12.00: Talks (2)
* Lunch (Pasta Bar)
* 13.30-14.30: Short Talks (2)
* Afternoon excursion:
** 14:30: Shuttle to Warhol Museum
** 15:00 Tour the [http://www.warhol.org Warhol Museum]
** 17:00: Shuttle to Mt Washington, ride the Incline
** 18:00: Dinner at [http://www.thegrandviewsaloon.com/ Grand View Saloon]
** 21:00: Shuttle back to hotel

Thursday (4 talks)
* 8.30-10.00: Talks (2), one of which is a local guest talk by Claire Le Goues
* 10.30-12.00: Talks (2)
* Lunch at [http://alibabapittsburgh.com/ Ali Baba]

Optional extra excursion:
* Visit the [http://www.nationalityrooms.pitt.edu/ Nationality Rooms] and go up to the 36th floor ([http://www.tour.pitt.edu/webcams/cl_cam view]) in the Cathedral of Learning (near campus, entrance free, guided tours available)
* Visit the [http://www.cmoa.org/ Carnegie Museums of Art and Natural History] (next to campus, 18 USD)
* Visit the [http://phipps.conservatory.org/ Phipps Conservatory] (next to campus, 15 USD)

=== Sharing a taxi from the airport to the hotel ===

Add your name and time of arrival here if you are interested in sharing a taxi to the hotel.

Listed in order of arrival:

* Sven-Bodo Scholz - arriving Saturday 16:39 AA 3231 from JFK
* Ulrik Pagh Schultz - arriving Saturday at 21:40 US1838 from Philadelphia
* Kevin Hammond - arriving Sunday at 18:06 on flight US0787 from Charlotte, NC (CLT)
* Chris Lengauer - arriving Sunday at 21:40 on US 1838 from Philadelphia
* Eric Van Wyk - arriving Sunday at 23:00 on flight AA 4499 from DC

=== Sharing a taxi from the hotel or university to the airport ===
* Add your name and time of departure here if you are interested in sharing a taxi back to the airport.

Kevin Hammond: I'm flying back on Sunday (1535 flight). I was thinking of hiring a car after the meeting and heading out to
the Gettysburg civil war battlefield on Saturday, staying over for a couple of nights (Fri/Sat) and driving back to the airport
on Sunday. I might stop at FallingWater on the way there (Friday). If anyone wants to join me, please contact me!

=== Sunday trip to Fallingwater ===

Fallingwater is a house designed by architect Frank Lloyd Wright in 1935. It's a place worth visiting and roughly a 75-minute drive away from Pittsburgh. There are guided tours through the house. See http://www.fallingwater.org/ and https://en.wikipedia.org/wiki/Fallingwater for details.

For those arriving already on Saturday, we could rent a car/bus and arrange a trip to Fallingwater on Sunday March 16. The tour costs $23 and shared costs for the trip are probably $10-$25 per person. In a previous poll we had a number of people interested. If your interested, leave your name below and Christian will contact you for a more detailed organization two weeks before the meeting.

Sabrine Blazy, Ulrik Schultz, Sven-Bodo Scholz

WG211/M13Schedule

2014-03-21T13:39:09Z

Christian:

[[Category:WG211]]

=IFIP Working Group 2.11, Thirteenth Meeting=

[[File:Pittsburghgroup.jpg|600px|thumb|left|Group Picture on Mt. Washington]]

==March 17-20, 2014, Pittsburgh, USA==

The meeting will be held at Carnegie Mellon University (CMU) in USA, March 17-20, hosted by Christian Kästner. The meeting starts March 17 in the morning, and ends with lunch on March 20.

We will meet on the CMU campus, for directions see schedule below.

=== Travel ===

The Pittsburgh International Airport is quite well connected in the US. The only direct flight to Europe is to Paris a few days a week.

The airport is somewhat outside of the town. You can either take a taxi (30-40 min, about 50-60 USD incl. tip) or the 28X bus (60-80 min, every 30 min until Midnight, 3.75 USD cash only, no change given).
The bus takes a pretty direct route and stops directly in front of the hotels (the Hilton is at the bus stop "Forbes Av at McKee Place"). Its final stop is right in front of the CMU campus. Here is a [http://www.portauthority.org/maps/28x.pdf map] and [http://www.portauthority.org/PAAC/Apps/pdfs/28X.PDF schedule].

The hotels are within walking distance from campus (15 to 30 minutes), but there are many buses running along Forbes Avenue and 5th Avenue as well, especially all 61 buses which should go every 10 minutes or so. When going toward campus, you pay when exiting the bus, when going toward downtown you pay when entering. It's a bit confusing but the bus driver will tell you. Again, cash only, no change. All hotels have shuttles that you can arrange to drive you anywhere within a 3 mile radius, including campus.

=== Accommodations ===

We recommend to stay at the Hilton Garden Inn, Pittsburgh University Place where we have reserved a block of rooms for attendees. Follow this link to make reservations: http://ow.ly/qho6O. You can also make reservations over the phone at +1 412-683-2040.

When booking your room, please make sure to use our special rate quote "'''CIS'''" at $119/night. The rooms will be held through February 16, 2014 so be sure to book before then.
For more information on the Hilton Garden Inn, see link http://pittsburghuniversityplace.hgi.com

If you prefer a different hotel, other hotels within walking distance include Hampton Inn ($119) and Wyndham ($144) and many more are a short bus trip away. If you choose to stay at another location, aside from the Hilton Garden Inn, please contact Jamie Lou Hagerty at jpresken@cs.cmu.edu to arrange reservations at the university rate.

===Registration===

Registration is now open

* You can register at http://isri.cmu.edu/events/ifip-wg211-13.html.

* The cost of registration is $375.00 and covers meeting rooms, excursion, lunch, dinner, and coffee breaks.

* Payment is to be made by credit card. Please contact Christian if you need to pay by some other means.

* When registering, remember to either add yourself to the list of attendees or send an email to Eric Van Wyk [[mailto:evw@cs.umn.edu]]. If you are giving a talk, please either edit the wiki and add your topic to the list below (members only) or email Eric.

'''Deadline to register is February 16, 2014'''

===Attendees===

Sandrine Blazy, Jacques Carette, Charles Consel, Franz Franchetti, Kevin Hammond, Atsushi Igarashi, Christian Kaestner, Samuel Kamin, Ralf Lämmel, Julia Lawall, Christian Lengauer, Mohammadreza Mousavi, Klaus Ostermann, Markus Püschel, Derek Rayside, Christoph Reichenbach, Tiark Rompf, Sven-Bodo Scholz, Chung-chieh Shan, Armando Solar-Lezama, Ulrik Pagh Schultz, Walid Taha, Eric Van Wyk.

===Talks===

If you are giving a talk, edit the wiki (members only), or email Christian the title and the abstract:

Talks:

* [[WG211/M13Aldrich | Safely Composable Type-Specific Languages in Wyvern]] Jonathan Aldrich
* [[WG211/M13Blazy | Compiling avionics software with a formally verified compiler]] Sandrine Blazy
* [[WG211/M13Carette | What have I been up to?]] Jacques Carette (short)
* [[WG211/M13Consel | Orchestrating Masses of Sensors: A Design-Driven Development Approach ]] Charles Consel
* [[WG211/M13Franchetti | High Assurance Spiral: Co-Synthesizing Proof and Implementation From High-Level Specification]] Franz Franchetti (not Tuesday)
* [[WG211/M13LeGoues | Automatic program repair using genetic programming]] Claire Le Goues
* [[WG211/M13Hammond | Using Dependent Types for Parallel Programming]] Kevin Hammond
* [[WG211/M13Igarashi | An E-learning System for the Formal Semantics of Computer Programs and Its Implementation by Program Generation]] Atsushi Igarashi
* [[WG211/M13Kaestner | An Update on Variability-Aware Execution]] Christian Kaestner
* [[WG211/M13Kamin | TBD]] Samuel Kamin (short talk, Thursday)
* [[WG211/M13Lawall | Understanding the Genetic Makeup of Linux Device Drivers]] Julia Lawall (short talk)
* [[WG211/M13Laemmel | Experiences with Software Language Engineering Classes]] Ralf Lämmel
* [[WG211/M13Lengauer | News from Project ExaStencils]] Christian Lengauer [[Media:M13Lengauer.pdf | (slides)]]
* [[WG211/M13Mousavi | Semantics, Validation and Verification of DSLs: An Experience Report]] Mohammadreza Mousavi
* [[WG211/M13Ostermann | From Object Algebras to Attribute Grammars]] Klaus Ostermann
* [[WG211/M13Puschel | Spiral for Basic Linear Algebra ]] Markus Püschel (Monday or Tuesday)
* [[WG211/M13Rayside | Synthesis of Microfluidics Chips using SMT Solvers]] Derek Rayside [[Media:M13Rayside.pdf | (slides)]]
* [[WG211/M13Reichenbach | PQL: A Purely-Declarative Java Extension for Parallel Programming]] Christoph Reichenbach
* [[WG211/M13Romph | Staging for Database Systems: From Query Interpreters to Query Compilers ]] Tiark Romph
* [[WG211/M13Scholz | Tinkering is Dead --- Long Live Tinkering]] Sven-Bodo Scholz
* [[WG211/M13Schultz | Object-oriented multi-stage programming]] Ulrik Schultz (short talk)
* [[WG211/M13Shan | From lazy evaluation to Gibbs sampling]] Chung-chieh Shan
* [[WG211/M13Solar | Generative Programming Meets Constraint Based Synthesis]] Armando Solar-Lezama
* [[WG211/M13Taha | Binding Time Analysis in Acumen]] Walid Taha
* [[WG211/M13VanWyk | AbleC: Modular and Composable Language Extensions for C]] Eric Van Wyk [[Media:M13VanWyk.pdf | (slides)]]

===Overall schedule===

The meeting is in GHC 4405 (Gates-Hillman Center, [http://www.flickr.com/photos/p0nk/9106077282/ picture of the building]; building 9B on the [http://www.cmu.edu/homeimages/campus-map/CMU_MapColor_11x17.pdf#11 campus map]). The room is near the entrance from Forbes Ave on the 4th floor. There are signs guiding you through the building to this room number. To get there from the hotel, simply follow Forbes Avenue until you see the CMU campus and the Gates-Hillman Building (there are several breakfast/coffee places along this road).

There will be a floating schedule where talks are scheduled dynamically as the meeting proceeds.
Overall schedule including lunch and dinner arrangements (first draft):

Monday (7 talks)
* 8.30-9.15: Welcome
* 9.15-10.00: Talks (1) by Markus Püschel (unless otherwise noted, all other talks are scheduled dynamically)
* 10.30-12.00: Talks (2)
** Lunch (Sandwiches from [http://www.eatuniquecafe.com/ Eat Unique])
* 13.30-15.00: Talks (2)
* 15.30-17.00: Talks (2), one of which is by Franz Franchetti
** 18:15: meet in hotel lobby
** 18:20: take shuttle/taxis to dinner
** 18:30: Dinner at [http://www.upkitchen.com/ Up]

Tuesday (6 talks, business meeting)
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
** Lunch at [http://www.theporchatschenley.com/ The Porch]
* 13.45-15.15: Talks (2)
* 15-45-17.00: Business meeting
** 18:25: meet in hotel lobby
** 18:30: take shuttle/taxis to dinner
** 18:45: Dinner at [http://churchbrew.com/ Church Brew Works]

Wednesday (6 talks, excursion)
* 8.30-10.00: Talks (2), one of which is a local guest talk by Jonathan Aldrich
* 10.30-12.00: Talks (2)
* Lunch (Pasta Bar)
* 13.30-14.30: Short Talks (2)
* Afternoon excursion:
** 14:30: Shuttle to Warhol Museum
** 15:00 Tour the [http://www.warhol.org Warhol Museum]
** 17:00: Shuttle to Mt Washington, ride the Incline
** 18:00: Dinner at [http://www.thegrandviewsaloon.com/ Grand View Saloon]
** 21:00: Shuttle back to hotel

Thursday (4 talks)
* 8.30-10.00: Talks (2), one of which is a local guest talk by Claire Le Goues
* 10.30-12.00: Talks (2)
* Lunch at [http://alibabapittsburgh.com/ Ali Baba]

Optional extra excursion:
* Visit the [http://www.nationalityrooms.pitt.edu/ Nationality Rooms] and go up to the 36th floor ([http://www.tour.pitt.edu/webcams/cl_cam view]) in the Cathedral of Learning (near campus, entrance free, guided tours available)
* Visit the [http://www.cmoa.org/ Carnegie Museums of Art and Natural History] (next to campus, 18 USD)
* Visit the [http://phipps.conservatory.org/ Phipps Conservatory] (next to campus, 15 USD)

=== Sharing a taxi from the airport to the hotel ===

Add your name and time of arrival here if you are interested in sharing a taxi to the hotel.

Listed in order of arrival:

* Sven-Bodo Scholz - arriving Saturday 16:39 AA 3231 from JFK
* Ulrik Pagh Schultz - arriving Saturday at 21:40 US1838 from Philadelphia
* Kevin Hammond - arriving Sunday at 18:06 on flight US0787 from Charlotte, NC (CLT)
* Chris Lengauer - arriving Sunday at 21:40 on US 1838 from Philadelphia
* Eric Van Wyk - arriving Sunday at 23:00 on flight AA 4499 from DC

=== Sharing a taxi from the hotel or university to the airport ===
* Add your name and time of departure here if you are interested in sharing a taxi back to the airport.

Kevin Hammond: I'm flying back on Sunday (1535 flight). I was thinking of hiring a car after the meeting and heading out to
the Gettysburg civil war battlefield on Saturday, staying over for a couple of nights (Fri/Sat) and driving back to the airport
on Sunday. I might stop at FallingWater on the way there (Friday). If anyone wants to join me, please contact me!

=== Sunday trip to Fallingwater ===

Fallingwater is a house designed by architect Frank Lloyd Wright in 1935. It's a place worth visiting and roughly a 75-minute drive away from Pittsburgh. There are guided tours through the house. See http://www.fallingwater.org/ and https://en.wikipedia.org/wiki/Fallingwater for details.

For those arriving already on Saturday, we could rent a car/bus and arrange a trip to Fallingwater on Sunday March 16. The tour costs $23 and shared costs for the trip are probably $10-$25 per person. In a previous poll we had a number of people interested. If your interested, leave your name below and Christian will contact you for a more detailed organization two weeks before the meeting.

Sabrine Blazy, Ulrik Schultz, Sven-Bodo Scholz

2014-02-17T18:18:12Z

Christian:

WG211/M13Reichenbach

2014-02-17T16:42:15Z

WG211/M13Schedule

2013-12-13T17:54:58Z

Christian:

[[Category:WG211]]

=IFIP Working Group 2.11, Thirteenth Meeting=

==March 17-20, 2014, Pittsburgh, USA==

The meeting takes place at CMU.

=== Travel ===

The meeting will be held on the CMU campus in the Gates-Hillman Center. Attached is a campus map for your reference http://www.cmu.edu/homeimages/campus-map/CMU_MapColor_11x17.pdf#11

The Pittsburgh International Airport is quite well connected. To Europe, there are only direct flights to Paris a few days a week.

The airport is somewhat outside of the town. You can either take a taxi (30-40 min, about 50 USD plus tip) or the 28X bus (60-80 min, every 30 min, 3.75 USD cash only, no change given).
The bus takes a pretty direct route and stops directly in front of the hotels (the Hilton is at the bus stop "Forbes Av at McKee Place"). Its final stop is right in front of the CMU campus. Here is a map: http://www.portauthority.org/maps/28x.pdf

The hotels are within walking distance from campus (15 to 30 minutes), but there are many buses running along Forbes Avenue and 5th Avenue as well, especially all 61 buses which should go every 10 minutes or so. When going toward campus, you pay when exiting the bus, when going toward downtown you pay when entering. It's a bit confusing but the bus driver will tell you. Again, cash only, no change. All hotels have shuttles that you can arrange to drive you anywhere within a 3 mile radius, including campus.

=== Accommodations ===

We recommend to stay at the Hilton Garden Inn, Pittsburgh University Place where we have reserved a block of rooms for attendees. Follow this link to make reservations: http://ow.ly/qho6O. You can also make reservations over the phone at +1 412-683-2040.

When booking your room, please make sure to use our special rate quote "'''CIS'''" at $119/night. The rooms will be held through February 16, 2014 so be sure to book before then.
For more information on the Hilton Garden Inn, see link http://pittsburghuniversityplace.hgi.com

If you prefer a different hotel, other hotels within walking distance include Hampton Inn ($119) and Wyndham ($144). If you choose to stay at another location, aside from the Hilton Garden Inn, please contact Jamie Lou Hagerty at jpresken@cs.cmu.edu to arrange reservations at the university rate.

===Venue ===

The meeting will be held at Carnegie Mellon University (CMU) in USA, March 17-20, hosted by Christian Kästner. The meeting starts March 17 in the morning, and ends with lunch on March 20.

===Registration===

Registration is now open

* You can register at http://isri.cmu.edu/events/ifip-wg211-13.html.

* The cost of registration is $375.00 and covers meeting rooms, excursion, lunch, dinner, and coffee breaks.

* Payment is to be made by credit card. Please contact Christian if you need to pay by some other means.

* When registering, remember to either add yourself to the list of attendees or send an email to Eric Van Wyk [[mailto:evw@cs.umn.edu]]. If you are giving a talk, please either edit the wiki and add your topic to the list below (members only) or email Eric.

'''Deadline to register is February 16, 2014'''

===Attendees===

Sandrine Blazy, Eric Bodden, Christian Kaestner, Ralf Lämmel, Julia Lawall, Mohammadreza Mousavi, Christoph Reichenbach, Chung-chieh Shan, Armando Solar-Lezama, Ulrik Pagh Schultz, Eric Van Wyk, Markus Püschel

===Talks===

If you are giving a talk, edit the wiki (members only), or email Christian the title and the abstract:

Talks:

* [[WG211/M13Schultz | Optimal Specialization of Object-Oriented Interpreters by Partial Evaluation]] Ulrik Schultz

===Overall schedule===

To be announced. There will be a floating schedule where talks are scheduled dynamically as the meeting proceeds.

=== Sharing a taxi from the airport to the hotel ===
* Add your name and time of arrival here if you are interested in sharing a taxi to the hotel.

=== Sharing a taxi from the hotel or university to the airport ===
* Add your name and time of departure here if you are interested in sharing a taxi back to the airport.

=== Sunday trip to Fallingwater ===

Fallingwater is a house designed by architect Frank Lloyd Wright in 1935. It's a place worth visiting and roughly a 75-minute drive away from Pittsburgh. There are guided tours through the house. See http://www.fallingwater.org/ and https://en.wikipedia.org/wiki/Fallingwater for details.

For those arriving already on Saturday, we could rent a car/bus and arrange a trip to Fallingwater on Sunday. The tour costs $23 and shared costs for the trip are probably $10-$25 per person. In a previous poll we had a number of people interested. If your interested, leave your name below and Christian will contact you for a more detailed organization two weeks before the meeting.

Christian Kaestner,

WG211/M13Schedule

2013-12-13T17:54:40Z

Christian:

[[Category:WG211]]

=IFIP Working Group 2.11, Thirteenth Meeting=

==March 17-20, 2014, Pittsburgh, USA==

The meeting takes place at CMU.

=== Travel ===

The meeting will be held on the CMU campus in the Gates-Hillman Center. Attached is a campus map for your reference http://www.cmu.edu/homeimages/campus-map/CMU_MapColor_11x17.pdf#11

The Pittsburgh International Airport is quite well connected. To Europe, there are only direct flights to Paris a few days a week.

The airport is somewhat outside of the town. You can either take a taxi (30-40 min, about 50 USD plus tip) or the 28X bus (60-80 min, every 30 min, 3.75 USD cash only, no change given).
The bus takes a pretty direct route and stops directly in front of the hotels (the Hilton is at the bus stop "Forbes Av at McKee Place"). Its final stop is right in front of the CMU campus. Here is a map: http://www.portauthority.org/maps/28x.pdf

The hotels are within walking distance from campus (15 to 30 minutes), but there are many buses running along Forbes Avenue and 5th Avenue as well, especially all 61 buses which should go every 10 minutes or so. When going toward campus, you pay when exiting the bus, when going toward downtown you pay when entering. It's a bit confusing but the bus driver will tell you. Again, cash only, no change. All hotels have shuttles that you can arrange to drive you anywhere within a 3 mile radius, including campus.

=== Accommodations ===

We recommend to stay at the Hilton Garden Inn, Pittsburgh University Place where we have reserved a block of rooms for attendees. Follow this link to make reservations: http://ow.ly/qho6O. You can also make reservations over the phone at +1 412-683-2040.

When booking your room, please make sure to use our special rate quote "'''CIS'''" at $119/night. The rooms will be held through February 16, 2014 so be sure to book before then.
For more information on the Hilton Garden Inn, see link http://pittsburghuniversityplace.hgi.com

If you prefer a different hotel, other hotels within walking distance include Hampton Inn ($119) and Wyndham ($144). If you choose to stay at another location, aside from the Hilton Garden Inn, please contact Jamie Lou Hagerty at jpresken@cs.cmu.edu to arrange reservations at the university rate.

===Venue ===

The meeting will be held at Carnegie Mellon University (CMU) in USA, March 17-20, hosted by Christian Kästner. The meeting starts March 17 in the morning, and ends with lunch on March 20.

===Registration===

Registration is now open

* You can register at http://isri.cmu.edu/events/ifip-wg211-13.html.

* The cost of registration is $375.00 and covers meeting rooms, excursion, lunch, dinner, and coffee breaks.

* Payment is to be made by credit card. Please contact Christian if you need to pay by some other means.

* When registering, remember to either add yourself to the list of attendees or send an email to Eric Van Wyk [[mailto:evw@cs.umn.edu]]. If you are giving a talk, please either edit the wiki and add your topic to the list below (members only) or email Eric.

'''Deadline to register is February 16, 2014'''

===Attendees===

Sandrine Blazy, Eric Bodden, Christian Kaestner, Ralf Lämmel, Julia Lawall, Mohammadreza Mousavi, Christoph Reichenbach, Chung-chieh Shan, Armando Solar-Lezama, Ulrik Pagh Schultz, Eric Van Wyk, Markus Püschel

===Talks===

If you are giving a talk, edit the wiki (members only), or email Christian the title and the abstract:

Talks:

* [[WG211/M13Schultz | Optimal Specialization of Object-Oriented Interpreters by Partial Evaluation]] Ulrik Schultz

===Overall schedule===

To be announced. There will be a floating schedule where talks are scheduled dynamically as the meeting proceeds.

=== Sharing a taxi from the airport to the hotel ===
* Add your name and time of arrival here if you are interested in sharing a taxi to the hotel.

=== Sharing a taxi from the hotel or university to the airport ===
* Add your name and time of departure here if you are interested in sharing a taxi back to the airport.

=== Sunday trip to Fallingwater ===

Fallingwater is a house designed by architect Frank Lloyd Wright in 1935. It's a place worth visiting and roughly a 75-minute drive away from Pittsburgh. There are guided tours through the house. See http://www.fallingwater.org/ and https://en.wikipedia.org/wiki/Fallingwater for details.

For those arriving already on Saturday, we could rent a car/bus and arrange a trip to Fallingwater on Sunday. The tour costs $23 and shared costs for the trip are probably $10-$25 per person. In a previous poll we had a number of people interested. If your interested, leave your name below and Christian will contact you for a more detailed organization two weeks before the meeting.

WG211/M13Schedule

2013-12-13T17:43:55Z

Christian: