Browsing by Author Li, John M
Showing results 1 to 2 of 2
| Publication Date | Article Title | Author(s) |
|---|---|---|
| Aug-2021 | Compositional optimizations for CertiCoq | Paraskevopoulou, Zoe; Li, John M; Appel, Andrew W |
| Aug-2021 | Deriving efficient program transformations from rewrite rules | Li, John M; Appel, Andrew W |