| A modular foreign function interface | 0 | 0.34 | 2018 |
| Declarative Foreign Function Binding Through Generic Programming. | 0 | 0.34 | 2016 |
| Jitsu: Just-In-Time Summoning of Unikernels. | 30 | 1.66 | 2015 |
| SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems | 16 | 0.62 | 2015 |
| Lost in the Edge: Finding Your Way with DNSSEC Signposts. | 1 | 0.36 | 2013 |
| Efficient computational noise in GLSL | 2 | 0.38 | 2012 |
