Existing profilers for scripting languages (aka" glue" languages) like Python suffer from
numerous problems that drastically limit their usefulness. They impose order-of-magnitude …

Behavioral software contracts allow programmers to strengthen the obligations and
promises that they express with conventional types. They lack expressive power, though …

Gradually typed programming languages permit the incremental addition of static types to
untyped programs. To remain sound, languages insert run-time checks at the boundaries …

Software contracts empower programmers to describe functional properties of components.
When it comes to constraining effects, though, the literature offers only one-off solutions for …

Sound migratory typing envisions a safe and smooth refactoring of untyped code bases to
typed ones. However, the cost of enforcing safety with run-time checks is often prohibitively …

Continuation marks enable dynamic binding and context inspection in a language with
proper handling of tail calls and first-class, multi-prompt, delimited continuations. The …

We rebuilt Racket on Chez Scheme, and it works well—as long as we're allowed a few
patches to Chez Scheme. DrRacket runs, the Racket distribution can build itself, and nearly …

Reproducible, rigorous experiments are key to effective computing research because they
provide grounding and a way to measure progress. Gradual typing is an emerging area that …

Sports analytics have become an important part in the improvement of athlete performances
in the last decade. Badminton is one such sport where sports analytics can prove beneficial …

CAMERON MOY, PLT@ Northeastern University, USA CHRISTOS DIMOULAS, PLT@
Northwestern University, USA MATTHIAS FELLEISEN, PLT@ Northeastern University, USA …