ICFP 2021
Sun 22 - Sat 28 August 2021
Mon 23 Aug 2021 19:23 - 19:30 at Student Research Competition - SRC Poster Session

Techniques like property-based testing rely on programs called generators that produce random test inputs. When manipulating the distribution of tests that a generator outputs, it is often helpful to know which random choices result in a particular test. We present ungenerators for this purpose: they run a generator “backward,” extracting a sequence of choices from a given test. Generators and ungenerators can be defined together, with very little extra code, as part of our framework of bidirectional generators based on monadic profunctors. The resulting bidirectional programs can be used in a number of real-world scenarios to improve testing methodologies.

Mon 23 Aug

Displayed time zone: Seoul change

18:30 - 19:30
18:30
6m
Poster
A Linear Temporal Logic with Heartbeat
Student Research Competition
18:36
6m
Poster
An Interactive Stepper for Expression with Holes
Student Research Competition
Yanjun Chen University of Michigan
18:43
6m
Poster
Automatic concurrency with free applicatives/monads, side effects supported
Student Research Competition
18:50
6m
Poster
Compilation of a functional shading language to a SPIR-V intermediate representation
Student Research Competition
Andrzej Swatowski University of Warsaw
18:56
6m
Poster
Composable, Modular Probabilistic Models
Student Research Competition
Minh Nguyen University of Bristol
19:03
6m
Poster
Distilling Sparse Linear Algebra
Student Research Competition
19:10
6m
Poster
Formally verified derivation of an executable and terminating CEK machine from call-by-value λp̂-calculus
Student Research Competition
Wojciech Różowski University of Southampton
19:16
6m
Poster
Mechanizing an elaboration algorithm for the Hindley-Damas-Milner system
Student Research Competition
19:23
6m
Poster
Ungenerators
Student Research Competition
Harrison Goldstein University of Pennsylvania