1. 9

There' s also this GitHub repo: https://github.com/UCSD-PL/refscript

  1.  

  2. 2

    They presented this at PLDI 2016 as well.

    And there was a paper about it from one of the authors of this paper at ECOOP 2015: https://ranjitjhala.github.io/static/trust_but_verify.pdf