International Summer School on Metaprogramming

From the OCaml Labs wiki
Jump to: navigation, search
The Orchard
Hard at work

This summer we hosted the first International Summer School for Metaprogramming at Robinson College, Cambridge. The event was a huge success and it would not have been possible without the generous financial support from our industrial parters: Facebook, Microsoft, Oracle and OCaml Labs. We were fortunate to have an overwhelming number of people register interest, and we welcomed students and speakers from 12 different countries, all with varying expertise and experience in the metaprogramming field. The goal of the school was to present recent research and development in the relatively modest field and we hoped to encourage discussion and collaboration amongst a diverse group of users and researchers.

Crausaz Wordsworth
Swans on the Cam
Darwin banquet
Grantchester meadows
Darwin gardens
Robinson College gardens
Dead Man's Corner on the River Cam
Caricatures
Spot the drawings!

Robinson College provided the venue and accommodation, and the purpose-built, well-provisioned Crausaz Wordsworth conference building ensured that the group was well catered for. Students and speakers had access to the beautiful college gardens to explore during their residential stay, and the days were packed with presentations, demos and talks, with excited conversation continuing into the evenings.

In order to balance the high-focus schedule with some downtime, we punted along the meadows towards Grantchester, in hunt of the obligatory cream tea. Almost everyone had a "punt" and a jolly mix of crashing, 3-point turns, laughter, debates about the most efficient method of propulsion method and successful bridge jumping made for a fun afternoon in the sun. Darwin College hosted us for our evening banquet, where we were lucky to have the entire dining room to ourselves, a chance for lovely walks across the islands, and a local caricaturist on hand to draw the guests.

The school was a fantastic opportunity to gather specialists and newcomers within this research field, and initial feedback has been very positive, especially with regards to the relaxed and collaborative atmosphere. We hope this will help to grow the metaprogramming community, and we encourage others to host and organise similar events in the future.

Topics[edit]

  1. A generic deriving mechanism of Haskell
  2. A formal comparison of approaches to datatype-generic programming
  1. Mietek Bak: Towards intentional analysis of syntax
  2. Kwanghoon Choi: SMLOG: an embedding of logic language in Standard ML
  3. Artúr Poór: Parallelization of Scala programs by refactoring
  4. Aggelos Biboudis: Stream Fusion to perfection
  5. Martin Lester: Static analysis for JavaScript-Style eval
  6. L. Thomas van Binsbergen: Reusable components for formal and executable language specification (from the PLanCompS project)
  7. Michael Ballantyne: Modelling macro hygiene with scope graphs
  8. Paul Laforgue: Codata types and copattern matching

You can see the entire schedule, lecture materials and other information on the Summer School site.

[ List view ]Comments

(no items)
Post a new comment

You are currently not logged in; your comment will be posted anonymously, identified by your Internet connection address. You should either provide a pseudonym above to identify your comment or log in for it to be properly attributed.