[PRL] Torture Chamber: Wednesday, 11:45, 366

[Vincent St-Amour]

I will be holding a torture chamber for my upcoming ICFP talk tomorrow
(Wednesday) at 11:45 in 366.

Please come torture me!

Vincent


Experience Report: Applying Random Testing to a Base Type Environment

As programmers, programming in typed languages increases our confidence
in the correctness of our programs.  As type system designers, soundness
proofs increase our confidence in the correctness of our type systems.
There is more to typed languages than their typing rules, however.  To
be usable, a typed language needs to provide a well-furnished standard
library and to specify types for its exports.

As software artifacts, these base type environments can rival
typecheckers in complexity.  Our experience with the Typed Racket base
environment---which accounts for 31% of the code in the Typed Racket
implementation---teaches us that writing type environments can be just
as error-prone as writing typecheckers.

We report on our experience over the past two years of using random
testing to increase our confidence in the correctness of the Typed
Racket base environment.