RacketCon 2022
Table of Contents
- Event Overview
- Schedule
- Friday, October 28th
- Saturday, October 29th
- DONE Doors Open
- DONE The final tier is Shed: Inside the Wizard Engine's fast in-place interpreter
- Coffee Break
- DONE Metaprograms and Proofs: Macros in Lean 4
- DONE Shallow and Optional Types
- DONE Resyntax: A Macro-Powered Refactoring Tool
- Lunch
- DONE What Can Beginners Learn from Video Games?
- DONE Design Recipe Guided Synthesis with Bingus
- Coffee Break
- DONE VISr: Visual and Interactive Syntax
- DONE Forge: Building a Pedagogic Solver Tool
- DONE Stacker: A runnable notional machine
- DONE Examplar: Making Hay from Wheat
- Sunday, October 30th
- Accommodation
- COVID-19 Policy
- Code of Conduct
- Organizers
Event Overview
EVENT_DATES: October 28-30, 2022 LOCATION: Brown University, Department of Computer Science, Providence, RI, USA
(twelfth RacketCon) was the twelfth annual conference dedicated to the Racket programming language, held at Brown University in Providence, Rhode Island. The conference returned to in-person format with a hackathon on Friday, followed by two days of presentations.
- Conference Website: https://con.racket-lang.org/2022/
- Registration: $25 general admission
- Conference Dinner: Kebob and Curry, 261 Thayer Street ($35 additional)
Acknowledgments
Special thanks to Shriram Krishnamurthi for hosting RacketCon 2022 at Brown University.
Schedule
Friday, October 28th
DONE Racket Hackathon/Open Space
LOCATION: Brown University CS Department
Community-driven hackathon with open discussion on topics including:
- RacketScript
- Graphics
- Scribble
- Web programming
- Typed Racket
Saturday, October 29th
DONE Doors Open
LOCATION: Brown University CS Department
DONE The final tier is Shed: Inside the Wizard Engine's fast in-place interpreter
SPEAKER: Ben L. Titzer AFFILIATION: Carnegie Mellon University LOCATION: Brown University CS Department
Deep dive into the Wizard Engine's interpreter design and optimization strategies.
Coffee Break
DONE Metaprograms and Proofs: Macros in Lean 4
SPEAKER: Sebastian Ullrich AFFILIATION: Karlsruhe Institute of Technology LOCATION: Brown University CS Department
Exploration of the macro system in Lean 4 and its relationship to proof assistants.
DONE Shallow and Optional Types
SPEAKER: Ben Greenman AFFILIATION: Brown University LOCATION: Brown University CS Department
Discussion of shallow typing strategies and optional type annotations in Racket.
DONE Resyntax: A Macro-Powered Refactoring Tool
SPEAKER: Jack Firth LOCATION: Brown University CS Department
Introduction to Resyntax, a refactoring tool that leverages Racket's macro system.
Lunch
DONE What Can Beginners Learn from Video Games?
SPEAKER: Marco Morazan AFFILIATION: Seton Hall University LOCATION: Brown University CS Department
Exploration of video games as a pedagogical tool for teaching programming concepts.
DONE Design Recipe Guided Synthesis with Bingus
SPEAKER: Hazel Levine AFFILIATION: Indiana University LOCATION: Brown University CS Department
Presentation on Bingus, a program synthesis tool integrated into DrRacket for pedagogic purposes, including better feedback for auto-grading.
Coffee Break
DONE VISr: Visual and Interactive Syntax
SPEAKER: Leif Andersen AFFILIATION: Northeastern University LOCATION: Brown University CS Department
Introduction to VISr (Visual and Interactive Syntax realized), enabling hybrid textual and visual programming with Language Oriented Programming. Includes discussion of Frankenstein, an early prototype of VISr for Racket.
DONE Forge: Building a Pedagogic Solver Tool
SPEAKER: Tim Nelson AFFILIATION: Brown University LOCATION: Brown University CS Department
Overview of Forge, a pedagogic solver tool for teaching formal methods.
DONE Stacker: A runnable notional machine
SPEAKER: Kuang-Chen Lu AFFILIATION: Brown University LOCATION: Brown University CS Department
Presentation on the Stacker, a notional machine used in Brown's programming languages course. Implemented as a Racket #lang, it depicts program traces with environments, heaps, and call stacks.
DONE Examplar: Making Hay from Wheat
SPEAKER: Siddhartha Prasad AFFILIATION: Brown University LOCATION: Brown University CS Department
Discussion of Examplar, a tool for working with examples in programming education.
Sunday, October 30th
DONE Doors Open
LOCATION: Brown University CS Department
DONE Contracts for protocols
SPEAKER: Cameron Moy AFFILIATION: Northeastern University LOCATION: Brown University CS Department
Exploration of using Racket's contract system for protocol specification and verification.
DONE fmt: A Racket code formatter
SPEAKER: Sorawee Porncharoenwase AFFILIATION: University of Washington LOCATION: Brown University CS Department
Introduction to fmt, an automatic code formatter for Racket programs.
DONE Summary of the Summer of #lang
SPEAKER: Ben Greenman LOCATION: Brown University CS Department
Recap of the Summer of #lang program and community language development efforts.
Coffee Break
DONE The State of Racket
SPEAKER: Sam Tobin-Hochstadt AFFILIATION: Indiana University LOCATION: Brown University CS Department
Annual update on the state of the Racket language and ecosystem.
DONE Racket Town Hall
SPEAKERS: Racket Management LOCATION: Brown University CS Department
Open discussion with the Racket team about the future direction of the language.
Accommodation
Blocks of rooms were reserved at two local hotels near Brown University for conference attendees. The Brown CS Department provided travel instructions for reaching the conference by plane, train, or car.
COVID-19 Policy
RacketCon 2022 was governed by the COVID-19 policy in place at Brown University.
Code of Conduct
The proceedings of RacketCon take place under the Racket Friendly Environment Policy.
Organizers
RacketCon 2022 was organized with local arrangements by Shriram Krishnamurthi at Brown University.