Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| DICE* - A Formally Verified Implementation of DICE Measured Boot. | 0 | 0.34 | 2021 |
| Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier. | 0 | 0.34 | 2018 |
| Safe & Efficient Gradual Typing for TypeScript | 11 | 0.58 | 2015 |