18 Sept 2016

St. Louis: Union Station hotel

Speakers

Register

(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

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
Jay McCarthyR-r-r-r-REMIX!
Rodrigo SettiGenerative Art with Racket
Bruce SteinbergFunctional Lighting

Plus

Linh Chi Nguyen
(more speakers to come)

Register

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

Sponsors

AirStashMatthew ButterickDLRBrian MastenbrookMark Shead

Previous RacketCons

20152014201320122011