The Racket School of Semantics and Languages
July 10-14, 2017      Salt Lake City, Utah, USA

Thanks to our generous supporters:

National Science Foundation

SIGPLAN

Jane Street

Microsoft

David Ventimiglia

Jim Sandridge

New: Local details for participants highlighted below.

Overview and Audience

The Racket team has spent over thirty years developing and refining a coherent intellectual tradition for studying and building programming languages. The Racket Summer School will introduce participants to this framework with lectures and hands-on exercises, focusing on the transition from working programming languages to semantics and back. Concretely, it will cover the following topics:
  • Reduction semantics with evaluation contexts.

  • The Redex languages for describing and exploring such a semantics.

  • The #lang mechanism for defining languages and environments.

  • Semantics (re)engineering.

  • Connections between all of the above.

Ideal attendees are
  • Current young PhD students who want training in a systematic approach to semantics and languages.

  • Senior PhD students or post-docs who are already versed in other approaches and want to expose themselves to the alternative Racket philosophy.

  • Senior undergraduates and master’s students who wish to prepare themselves for a PhD program.

  • Industrial developers looking to broaden and deepen their toolkit.

  • Computing professionals who want a preview of research results that will impact computing in coming years.

  • Faculty who wish to experience different and new approaches to teaching programming languages.

If you don’t fit one of these categories but are still interested, go ahead and tell us about yourself [Application]!

Dates and Location

The School will run July 10-14 (Monday-Friday) at the University of Utah.

The University is located in lovely Salt Lake City, Utah, USA.

Utah is home to several US National Parks, Monuments, and Sites, the Sundance Film Festival, the Bonneville Salt Flats, and much more. Learn more here, here, or here.

The summer school will be held in room 2230 of the Warnock Engineering Building (WEB).

To get to campus, one option is TRAX light rail to either the Fort Douglas or Stadium stop. Walk to WEB from there, or a free campus shuttle stops at TRAX stations and near WEB.

Faculty

The School will be taught by Matthias Felleisen, Robby Findler, Matthew Flatt, Shriram Krishnamurthi, Jay McCarthy, and Justin Pombrio.

Week Schedule

The workshop will run roughly 9am to 5pm Monday through Friday, with each day divided into four sections of about 1h15m each:

    

AM 1

    

AM 2

    

PM 1

    

PM 2

Monday 

    

Operational semantics

    

Redex

    

Operational semantics

    

Redex

Tuesday 

    

Mystery 1: discovering

    

Mystery 1: modeling

    

Mystery 2: discovering

    

Mystery 2: modeling

Wednesday 

    

Mystery 3: discovering

    

Mystery 3: modeling

    

Semantics reengineering

    

break

Thursday 

    

define-syntax

    

#lang, #%app

    

building your own language and IDE

Friday 

    

#lang from Redex

    

Generate tests

    

Test your language

Breakfast (bagels and fruit) will be available by 8:30 each day, and lunch will be delivered.

Accommodation

We have arranged for subsidized lodging in dorms at the University of Utah.

Parking

Participants can park in the Merrill Engineering Building (MEB) lot to the north of WEB and MEB. Contact the organizers for a virtual parking pass.

Costs and Financial Support

There is no cost for attending the workshop itself.

Funding is provided by US National Science Foundation to support participants from US institutions. This support will provide full accommodation in the dorm and reasonable food and travel allowances.

People who are not eligible for funding are also welcome.

Application

Please express interest through this form. We will contact people directly.