The meeting will be held in Austin * Venue: University of Texas at Austin * Time: Tuesday December 4 to Saturday December 8 * Local organizer: William Cook ----++ Participants working group Top row: Adam Chlipala, Ron Garcia, Tom van Cutsem, Andrew Black, Tijs van der Storm, Gilad Bracha, Shriram Krishnamurthi Next: Jan-Willem Maeassen, Markus Völter, Stefan Hanenberg Next: Mads Torgersen, Yannis Smaragdakis, Klaus Osterman, Susan Eisenbach, Alex Loh Next: Jonathan Edwards, Matthew Flatt, Roberto Ierusalimschy Bottom: Sean McDermid, Daan Leijen, Manuel Serrano, Eelco Visser ----++ Meetings We'll be meeting at the new [[http://www.utexas.edu/universityunions/student-activity-center][Student Activities Center]] of the University of Texas at Austin ([[https://plus.google.com/103053179756267441324/about?gl=us&hl=en][Google info]], [[http://www.utexas.edu/maps/main/buildings/sac.html][campus map]]). Note that we are in a different room every day. ----++ Howdy Yall! Our official city slogan is "[[http://www.keepaustinweird.com/home.html][Keep Austin Weird]]". The [[http://www.highlandlakes.com/climate.htm][weather in Texas]] around december should be nice. Average high temperature of around 66 F (19 C). It might rain, but we should also get some sunshine. I sometimes say that Austin is not really part of Texas, because we have our own style and are (much) more liberal than the rest of the state. But people are friendly all around. Austin is very green. Both politically and visually. We have lots of trees and grass. There is no sagebrush or desert anywhere near us. ----++ Accommodation We have 25 rooms reserved at the [[http://staroftexasinn.com][Star of Texas Bed & Breakfast]] (at a projected rate of $95. Please wait for further instructions to book your room) The address is [[https://maps.google.com/maps?oi=map&q=611+W+22nd,+Austin,+TX+78705][611 W 22nd, Austin, TX 78705]] This is a 11 minute walk to the meeting site. The [[http://www.meetattexas.com/][AT&T Executive Education and Conference Center]] is slightly closer and much more expensive. The [[http://doubletree3.hilton.com/en/hotels/texas/doubletree-suites-by-hilton-hotel-austin-AUSFLDT/index.html][DoubleTree]] hotel is about the same distance as the Star of Texas, and in between price. There are some other options nearby as well. This is a 17 minute walk to the meeting site. ----++ Workshop fee The workshop fee covers food coffee, lunch, dinner, and an outing. The cost will be approximately $350. Credit card processing is still being arranged. ----++ Getting there Austin has good travel connections for a small city. You can fly nonstop to Austin from many cities in the US on JetBlue (Boston, New York, Miami (Ft. Lauderdale), San Francisco, Orlando, Los Angeles) and Southwest Airlines (similar to JetBlue but also Atlanta, Washington DC, and Denver). Most other airlines will require a stop in Houston or Dallas. NOTE that JetBlue and Southwest may not be included in some internet or travel agent searches, so you may need to do some additional research to make sure you have the best air connections. Once in Austin, a taxi to the venue is approximately $25. Depending on when you arrive, we might also be able to pick you up from the airport. Send me an email if that matters to you. The [[http://www.capmetro.org/schedulemap.aspx?f1=100&s=1&d=0][100-AIRPORT FLYER]] bus is another option. For $1 it takes you directly from the airport to the meeting site (not the hotel). Get off at 23d and San Jacinto. There are not many stops, so you can't get lost. Just ask the driver to tell you where to get off. Catch the bus on the lower level of the airport, near the taxi area. Just ask somewhere where to find it. It leaves every 30 minutes during most of the day. ----++ Members %EDITTABLE{ header="on" format="|text, 15|select, 1, , ✓, ?|text, 25|text, 20|"}% |*Name*|*Will Attend*|*Talk*|*Notes*| | Andrew Black | ✓ | | | | Gilad Bracha | ✓ | | | | Kim Bruce | ✓ | | | | William Cook | ✓ | | | | Tom Van Cutsem | ✓ | | | | Dan Ingalls | | | | | Jonathan Edwards | ✓ | | | | Susan Eisenbach | ✓ | | | | Erik Ernst | | | | | Robby Findler | | | | | Mathew Flatt | ✓ | | | | Crista Lopes | ✓ | | | | Erik Meijer | | | | | Jan-Willem Maessen | ✓ | | | | Mark S. Miller | | | | | James Noble | | | | | Mads Torgersen | ✓ | | | | David Ungar | | | | | Eelco Visser | ✓ | | | | Alessandro Warth | | | | -----++ Visitors %EDITTABLE{ header="on" format="|text, 15|text, 25|text, 20|"}% |*Name*|*Talk*|*Notes*| | Adam Chlipala | | | | Ronald Garcia | | | | Stefan Hanenberg | | | | Robert Hirschfeld | | | | Roberto Ierusalimschy | | | | Shriram Krishanurthi | | | | Daan Leijen | | | | Sean McDirmid | | | | Leo Meyerovich | | | | Klaus Osterman | | | | Manuel Serrano | | | | Yannis Smaragdakis | | | | Tijs van der Storm | | | | Markus Voelter | | | -----++ Schedule |* Tuesday *| Room 2.120| | 9:00-12:00 | introductions | | 12:00-14:00 | lunch | | 14:00-17:00 | talks | | 19:00 | dinner| |* Wednesday *|Room 1.106| | 9:00-12:00 | talks | | 12:00-14:00 | lunch | | 14:00-17:00 | talks | | 19:00 | dinner| |* Thursday *| Room 2.120| | 9:00-12:00 | talks | | 12:00-22:00 | excursion + dinner | |* Friday *| Room 1.118| | 9:00-12:00 | talks | | 12:00-14:00 | lunch | | 14:00-17:00 | talks | | 19:00 | dinner + music| |* Saturday *| Room 2.120| | 9:00-12:00 | talks | | 12:00-14:00 | lunch | -----++ Talks |*Name*|*Talk*| | Andrew Black | [[%ATTACHURL%/Andrew.pdf][Traits as Objects in Grace]]| | Gilad Bracha | [[%ATTACHURL%/gilad.pdf][Debug Mode is the Only Mode]]| | Kim Bruce | [[%ATTACHURL%/KimBruce.pdf][Semantics of Inheritance, revisited -- Gracefully]]| | Adam Chlipala | [[%ATTACHURL%/bedrock.pdf][An Extensible Programming Language for Verified Systems Software]]| | William R. Cook | [[%ATTACHURL%/Science.pdf][A Science of Programming Language Design?]]| | Tom Van Cutsem | [[%ATTACHURL%/tvcutsem.pdf][Tradeoffs in language design: The case of Javascript proxies]]| | Susan Eisenbach | | | Mathew Flatt | | | Ronald Garcia | [[%ATTACHURL%/garciaWGslides.pdf][Combining Static and Dynamic Types]]| | Stefan Hanenberg | [[%ATTACHURL%/Hanenberg.pdf][Empirical evaluation of static type systems: A running experiment series]]| | Roberto Ierusalimschy | [[%ATTACHURL%/Roberto.pdf][LPeg: an Alternative to regexs based on PEGs]]| | Shriram Krishnamurthi | [[%ATTACHURL%/shriram.pptx][Measuring the Effectiveness of Error Messages Designed for Novice Programmers ]]| | Daan Leijen | | | Sean McDirmid | | | Leo Meyerovich | [[%ATTACHURL%/Leo.pdf][Superconductor]]| | Klaus Osterman | [[%ATTACHURL%/klaus.pdf][Modules with First-Class Transformations]]| | Manuel Serrano | [[http://queue.acm.org/detail.cfm?id=2330089][Multitier Programming in Hop]]| | Yannis Smaragdakis | [[%ATTACHURL%/yannis.pdf][PQL: A Purely-Declarative Java Extension for Parallel Programming]]| | Tijs van der Storm | [[%ATTACHURL%/Orthogonality.pdf][Orthogonality]]| | Eelco Visser | [[%ATTACHURL%/Visser.pdf][Declarative Name Binding and Scope Rules]]| | Markus Voelter | [[%ATTACHURL%/markusvoelter.pdf][An extensible version of the C programming language for Embedded Programming]]|