Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Fri 28 Aug 2020 11:30 - 12:00 at Scheme - Research Session 1

Programs such as simulators and fuzz testers often use randomness to walk through a large state space in search of interesting paths or outcomes. These explorations can be made more efficient by employing heuristics that “zero-in” on paths through the state space that are more likely to lead to interesting solutions. Given one path that exhibits a desired property, it may be beneficial to generate and explore similar paths to determine if they produce similarly interesting results. When the random decisions made during this path exploration can be manipulated in such a way that they correspond to discrete structural changes in the result, we call it parametric randomness.

Many programming languages, including Racket, provide only simple randomness primitives, making the implementation of parametric randomness somewhat difficult. To address this deficiency, we present Clotho: a Racket library for parametric randomness, designed to be both easy to use and flexible. Clotho supports multiple strategies for using parametric randomness in Racket applications without hassle.

Clotho: A Racket Library for Parametric Randomness (scheme20-final1.pdf)445KiB

Fri 28 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

scheme-2020-papers
11:30 - 13:00: Scheme 2020 - Research Session 1 at Scheme
scheme-2020-papers11:30 - 12:00
Talk
Pierce DarraghUniversity of Utah, William G HatchUniversity of Utah, Eric EideUniversity of Utah
File Attached
scheme-2020-papers12:00 - 12:30
Talk
Francesco MontanariUniversidad Autónoma de Madrid
File Attached
scheme-2020-papers12:30 - 12:40
Talk
Junya NoseTokyo Institute of Technology, Youyou CongTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
File Attached
scheme-2020-papers12:40 - 12:50
Talk
Youyou CongTokyo Institute of Technology, Naoya FurudonoTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
File Attached
scheme-2020-papers12:50 - 13:00
Talk
julien lepillerYale University
File Attached