RacketCon 2023
Table of Contents
- Event Overview
- Schedule
- Saturday, October 28th
- DONE Keynote: From Here To Lambda And Back Again
- DONE Introducing Rackith
- DONE #lang Karp: Formulating and Random Testing NP Reductions
- DONE Mutate: Inject Bugs into Your Programs!
- DONE Incrementally Developing Support for Racket->Wasm Compilation
- Lunch
- DONE Teaching and Learning Compilers Incrementally
- DONE Malt: A Deep Learning Framework for Racket
- DONE Data Integrity via Smart Structs
- Coffee Break
- DONE keyring: Uniformly Access Secrets
- DONE Redeeming Open Source with Attribution Based Economics
- DONE Crafting Interpreters in Typed Racket
- Sunday, October 29th
- Saturday, October 28th
- Code of Conduct
- Organizers
Event Overview
EVENT_DATES: October 28-29, 2023 LOCATION: Northwestern University, Ryan Family Auditorium, Evanston, IL, USA
(thirteenth RacketCon) was the thirteenth annual conference dedicated to the Racket programming language, held at Northwestern University in Evanston, Illinois. The conference featured both in-person and remote participation options.
From Here To Lambda And Back Again - Douglas Crockford
- Conference Website: https://con.racket-lang.org/2023/
- Remote Tickets: $10
- YouTube Playlist: Available on the Racket Lang YouTube channel
Schedule
Saturday, October 28th
DONE Keynote: From Here To Lambda And Back Again
SPEAKER: Douglas Crockford LOCATION: Ryan Family Auditorium VIDEO: https://youtu.be/vMDHpPN_p08
Keynote presentation by JavaScript luminary Douglas Crockford exploring the lambda calculus and its journey through programming language history.
DONE Introducing Rackith
SPEAKER: Sage Gerard LOCATION: Ryan Family Auditorium VIDEO: https://youtu.be/mbF5AbFi4bM
Introduction to Rackith, a language-oriented programming language based on Racket that allows users to define many languages with one syntax object.
DONE #lang Karp: Formulating and Random Testing NP Reductions
SPEAKER: Chenhao Zhang AFFILIATION: Northwestern University LOCATION: Ryan Family Auditorium VIDEO: https://youtu.be/GUXcctw5Qks
Presentation on #lang Karp, a domain-specific language for formulating and testing NP reductions.
DONE Mutate: Inject Bugs into Your Programs!
SPEAKER: Lukas Lazarek AFFILIATION: Northwestern University LOCATION: Ryan Family Auditorium VIDEO: https://youtu.be/C1I4Glv7ixI
Introduction to the mutate library for mutation testing, which injects possible bugs into programs by making small syntactic changes.
DONE Incrementally Developing Support for Racket->Wasm Compilation
SPEAKER: Adam Perlin LOCATION: Ryan Family Auditorium VIDEO: https://youtu.be/6q_J4ZAKlAU
Discussion of the challenges in adding WebAssembly compilation support to Racket, including differences in execution models between Chez Scheme and Wasm.
Lunch
DONE Teaching and Learning Compilers Incrementally
SPEAKER: Jeremy Siek LOCATION: Ryan Family Auditorium VIDEO: https://youtu.be/43VA_QaTRT8
Presentation on incremental approaches to teaching compiler construction.
DONE Malt: A Deep Learning Framework for Racket
SPEAKERS: Anurag Mendhekar, Daniel P. Friedman LOCATION: Ryan Family Auditorium VIDEO: https://youtu.be/AW9isjesTkQ
Introduction to Malt, a deep learning framework implemented in Racket.
DONE Data Integrity via Smart Structs
SPEAKER: David Storrs LOCATION: Ryan Family Auditorium VIDEO: https://youtu.be/Ph3S8m7n17I
Exploration of smart structs for ensuring data integrity in Racket programs.
Coffee Break
DONE keyring: Uniformly Access Secrets
SPEAKER: Sam Phillips LOCATION: Ryan Family Auditorium VIDEO: https://youtu.be/ZGayAVXvrLk
Introduction to keyring, a library for uniform access to secrets and credentials.
DONE Redeeming Open Source with Attribution Based Economics
SPEAKERS: Sid Kasivajhula, Michael Ballantyne LOCATION: Ryan Family Auditorium VIDEO: https://youtu.be/-xnppM6GG9Q
Discussion of economic models for sustaining open source development through attribution-based systems.
DONE Crafting Interpreters in Typed Racket
SPEAKER: Micah Cantor LOCATION: Ryan Family Auditorium VIDEO: https://youtu.be/TLHYhiyuank
Walkthrough of implementing interpreters using Typed Racket.
Sunday, October 29th
DONE Esterel in Racket
SPEAKER: Robby Findler LOCATION: Ryan Family Auditorium VIDEO: https://youtu.be/qq1TDJky__s
Presentation on implementing the Esterel synchronous programming language in Racket.
DONE Rhombus: Status Update
SPEAKER: Matthew Flatt AFFILIATION: University of Utah LOCATION: Ryan Family Auditorium VIDEO: https://youtu.be/OLgEL4esYU0
Update on the development of Rhombus, the new surface syntax for Racket.
Coffee Break
DONE The State of Racket
SPEAKER: Sam Tobin-Hochstadt AFFILIATION: Indiana University LOCATION: Ryan Family Auditorium VIDEO: https://youtu.be/fN_7LFg_7r8
Annual update on the state of the Racket language and ecosystem.
DONE Racket Town Hall
SPEAKERS: Racket Management LOCATION: Ryan Family Auditorium VIDEO: https://youtu.be/bl8JjwdtWLs
Please come with your big questions and discussion topics.
Open discussion with the Racket team about the future direction of the language.
Code of Conduct
The proceedings of RacketCon take place under the Racket Friendly Environment Policy.
Organizers
RacketCon 2023 was held at Northwestern University with support from the local Racket community.