18 Sept 2016

St. Louis: Union Station hotel




(sixth RacketCon) is a public meeting for everyone interested in Racket: developers, contributors, programmers, educators, and bystanders. It’s an opportunity for all members of the community to come together to share plans, ideas, and enthusiasm. RacketCon will enable the entire Racket community to mingle: to update each other, to exchange ideas, to collaborate, and to help shape the future of Racket.

Emina TorlakSynthesis and Verification for All

Slides Video

Rosette is a programming language for creating new programming tools. It extends Racket with a few constructs that make it easy to build advanced tools for program verification and synthesis. Building these tools usually takes months or years of work, as well as expertise in many fields, from formal methods to programming languages to software engineering. With Rosette, creating such a tool is as easy as defining a new domain-specific language in Racket. Once you define your language, you get the tools for (almost) free. This talk will provide a brief introduction to Rosette, concluding with a whirlwind tour of recent applications to finding bugs in radiotherapy software, generating efficent code for ultra low-power hardware, and creating custom tutors for K-12 algebra.

Emina Torlak is an assistant professor at the University of Washington. She works on computer-aided design, verification, and synthesis of software. Emina is the creator of Rosette, a new Racket-based language that makes it easy to build efficient tools for verifying and synthesizing all kinds of programs, from radiotherapy controllers to automated algebra tutors.

Matthew ButterickThe Making of “Beautiful Racket”
Stephen Chang and Alex KnauthType Systems as Macros
Byron DaviesRacket Does Dijkstra
Jack FirthLanguage Integrated Nitpicking: Syntax Warnings in Racket
Alexis KingLanguages in an Afternoon
Geoffrey S. KnauthRacket is my Mjolnir
Jay McCarthyR-r-r-r-REMIX!
Scott MooreContracts for Security
Linh Chi NguyenPopulation game simulation in Racket
Rodrigo SettiGenerative Art with Racket
Bruce SteinbergFunctional Lighting
Andy WingoSpelunking through JPEG with Racket


Via Eventbrite.
Use the “RKC” group code when reserving rooms at the Union Station hotel.

Social Event

Morgan Street Brewery, 17 Sept, 6pm.


Live Stream (morning)
Live Stream (afternoon)
Talks will also be recorded, and uploaded as soon as we can.


9:00–9:30 Registration9:30 Welcome9:30–10:30 Keynote: Emina Torlak: Synthesis and Verification for All10:30–11:00 Break11:00–12:00 Alexis King: Languages in an Afternoon
Rodrigo Setti: Generative Art with Racket
Geoffrey Knauth: Racket is my Mjolnir
12:00–14:00 Lunch at Hard Rock Cafe14:00 Contributor Awards14:00–15:00 Bruce Steinberg: Functional Lighting
Scott Moore: Contracts for Security
Stephen Chang and Alex Knauth: Type Systems as Macros
15:00–15:15 Break15:15–16:15 Matthew Butterick: The Making of “Beautiful Racket”
Linh Chi Nguyen: Population game simulation in Racket
Andy Wingo: Spelunking through JPEG with Racket
16:15–16:30 Break16:30–17:30 Jay McCarthy: R-r-r-r-REMIX!
Byron Davies: Racket Does Dijkstra
Jack Firth: Language Integrated Nitpicking
17:30–17:45 Break17:45– Town Hall Meeting / General Q&A


AirStashMatthew ButterickDLRBrian MastenbrookMark Shead

Previous RacketCons