tag-sound

Exploring tag soundess

data/ performance data
gf-pldi-2018/ draft of a paper
legacy-model/ draft Redex models, see gf-pldi-2018/model for newer models
pi-2017/ NSF PI meeting presentation