Racketfest is a time to learn & share what’s great about the Racket programming language and its philosophy of language-oriented programming.
Saturday, August 17, 2019 from to
Spielfeld, ground floor (The Stadium
), Skalitzerstrasse 85, 10997 Berlin, Germany
Language-Oriented Programming the Racket Way
Privacy-Hardened Languages in Racket
Writing secure programs is hard. While using memory-safe languages (such as Racket) eliminates some sources of security vulnerabilities (e.g., buffer overflows), it is still possible to leak data either explicitly (writing to a log file) or implicitly (crashing if the secret is larger than some fixed value). Faceted execution is a runtime monitor that enforces a strong security policy named information flow. In this talk, we discuss how we can layer faceted execution on top of Racket via the macro system and (if time allows) demonstrate a prototype.
Small, Elegant, Practical: The Benefits of a Minimal Approach
This talk makes a case for a focus on a small functional set of core programming language features, with powerful abstractions and a clear semantic model. Racket provides a particularly good example, but the general principles are applicable in many other contexts. They provide a framework for the effective expression of computation.
Each of the speakers will be available to answer questions about his work. It’s your chance to see another person’s Racket workflow, find out what makes him tick (Racket-wise), and ask questions like How did you do that?
. Office Hours will be held in parallel; you can wander from speaker to speaker as you wish. Don’t be shy! This is your chance to get some expert-level Racket insight.
Offer a lightning talk (at most 10 minutes). Talk about what you wish Racket had or what you find difficult. Identify libraries that could be improved. Tell us how you could help the community. If it’s about Racket, tell us!
Chat with the speakers and tutors, mingle, take a moment to reflect on what you’ve picked up.
Use the following link to register:
Racketfest borrows from the spirit of Racket, whose community aims to improve the world through programming. Racket started with the goal of introducing everyone to the wonderful world of program design, with a spirit of full inclusion and no emphasis on any specific group. Over time it has grown into a full-fledged professional community with a well-known reputation for helpfulness and openness on its on-line communication channels. We want that openness and friendliness to extend to Racketfest.
For this to happen, Racketfest needs to be a space that where everyone can participate without fear of personal harassment. Harassment is understood here as unwelcome or hostile behavior, which, in turn, we understand as behavior that focuses on people instead of ideas. The ACM’s anti-harassment policy lists some unacceptable behaviors. Responses such as just joking
, only teasing
, or being playful
, are unacceptable.
In short, be professional and kind. We’re all here to learn and share.
Anyone witnessing or subject to unacceptable behavior should notify the Racketfest organizer (Jesse Alama).
If a Racketfest participant engages in harassing behavior, the Racketfest organizer may take any action they deem appropriate, ranging from a verbal warning to expulsion (without refund) from the conference.
(The wording of this policy is derived, with permission & thanks, from that of RacketCon, which in turn was derived from the SNAPL conference.)
Racketfest pairs well with BOB, taking place in Berlin a few days after Racketfest () at Scandic Hotel Potsdamer Platz (Gabriele-Tergit-Promenade 19, 10963 Berlin) BOB asks: What happens when we use what’s best for a change?
. Come find out!
Racketfest is also right before the International Conference on Functional Programming and its wealth of workshops.
Racketfest needs your help! If you can’t come to the event, you can still show your support by becoming a sponsor:
All sponsors will be credited here (unless you wish to remain anonymous).
If you wish to sponsor a diversity ticket or two, please write to the Racketfest organizer (Jesse Alama).