Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| End-to-End Verification of Processors with ISA-Formal. | 6 | 0.43 | 2016 |
| Knit: Component Composition for Systems Software. | 0 | 0.34 | 2000 |
| Putting the Spine Back in the Spineless Tagless G-Machine: An Implementation of Resumable Black-Holes | 6 | 0.63 | 1998 |
| Designing Data Structures | 1 | 0.38 | 1989 |