research
∙
02/10/2022
Forward Build Systems, Formally
Build systems are a fundamental part of software construction, but their...
share
research
∙
10/07/2020
Type checking extracted methods
Many object-oriented dynamic languages allow programmers to extract meth...
research
∙
07/24/2020
Build Scripts with Perfect Dependencies
Build scripts for most build systems describe the actions to run, and th...
research
∙
07/24/2020
Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification
Gradually-typed programming languages permit the incremental addition of...
research
∙
05/18/2020
Sham: A DSL for Fast DSLs
Domain-specific languages (DSLs) are touted as both easy to embed in pro...
research
∙
12/09/2018
Practical Optional Types for Clojure
Typed Clojure is an optional type system for Clojure, a dynamic language...
research
∙
08/06/2018
Size-Change Termination as a Contract
Program termination is an undecidable, yet important, property relevant ...
research
∙
05/17/2018
Efficient compilation of array probabilistic programs
Probabilistic programming languages are valuable because they allow us t...
research
∙
11/09/2017
