Citation Impact
Citing Papers
When and how to develop domain-specific languages
2005 Standout
Operating System Verification
2009
seL4
2009 Standout
Operating system verification—An overview
2009
Works of Byron Cook being referenced
Proving that programs eventually do something good
2007
Termination proofs for systems code
2006
On embedding a microarchitectural design language within Haskell
1999