Refereed papers
A static cost analysis for a higher-order language (with Jennifer Paykin and James S. Royer), Proceedings of the 7th Workshop on Programming Languages Meets Program Verification (2013)
We develop a static complexity analysis for a higher-order functional language with structural list recursion....
Effectiveness and detection of denial of service attacks in Tor (with Sam DeFabbia-Kane, Danny Krizanc, and Marc Liberatore), ACM Transactions on Information and System Security (2012)
Tor is currently one of the more popular systems for anonymizing near real-time communications on...
Preprints
Ramified structural recursion and corecursion (with James Royer) (2012)
We investigate feasible computation over a fairly general notion of data and codata. Specifically, we...