research
∙
09/15/2021
Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom
Dynamic languages like Erlang, Clojure, JavaScript, and E adopted data-r...
share
research
∙
07/26/2021
A Partial Reproduction of A Guided Genetic Algorithm for Automated Crash Reproduction
This paper is a partial reproduction of work by Soltani et al. which pre...
research
∙
09/12/2019
Which of My Transient Type Checks Are Not (Almost) Free?
One form of type checking used in gradually typed language is transient ...
research
∙
07/02/2018