| Finding the needle: stack traces for GHC TOR Allwood, S Peyton Jones, S Eisenbach Proceedings of the 2nd ACM SIGPLAN symposium on Haskell, 129-140, 2009 | 19 | 2009 |
| Tickling Java with a feather TOR Allwood, S Eisenbach Electronic Notes in Theoretical Computer Science 238 (5), 3-16, 2009 | 8 | 2009 |
| High coverage testing of Haskell programs T Allwood, C Cadar, S Eisenbach Proceedings of the 2011 International Symposium on Software Testing and …, 2011 | 5 | 2011 |
| Pluggable, Iterative Type Checking for Dynamic Programming Languages T Allwood, S Eisenbach, S Drossopoulou | 3 | 2006 |
| Clase: cursor library for a structured editor TOR Allwood, S Eisenbach Proceedings of the first ACM SIGPLAN symposium on Haskell, 123-124, 2008 | 2 | 2008 |
| Deconstraining DSLs W Jones, T Field, T Allwood Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012 | 1 | 2012 |
| Automatic unit test generation for JavaScript J de Lafargue, S Eisenbach, T Allwood Imperial College London, 2012 | 1 | 2012 |
| Finding The Lazy Programmer's Bugs TOR Allwood Imperial College London, 2011 | 1 | 2011 |
| Strengthening the zipper TOR Allwood, S Eisenbach Electronic Notes in Theoretical Computer Science 253 (7), 3-18, 2010 | 1 | 2010 |
| A User Friendly, Type-Safe, Graphical Shell T Allwood, D Burke, M Hull, E Itskova, S Zymler Group Project Report, 2005 | 1 | 2005 |
| Deconstraining DSLs WJT Field, T Allwood | | 2012 |
| Pluggable, Hybrid Type-Inference for Dynamic, Imperative, Object-Oriented Programming Languages T Allwood, S Eisenbach | | 2006 |
