Tristan Allwood
Tristan Allwood
Teaching Fellow, Imperial College London
Verified email at doc.ic.ac.uk - Homepage
Title
Cited by
Cited by
Year
Multi-solver support in symbolic execution
H Palikareva, C Cadar
International Conference on Computer Aided Verification, 53-68, 2013
712013
Chopped symbolic execution
D Trabish, A Mattavelli, N Rinetzky, C Cadar
Proceedings of the 40th International Conference on Software Engineering …, 2018
392018
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
192009
A {DSL} Approach to Reconcile Equivalent Divergent Program Executions
L Pina, D Grumberg, A Andronidis, C Cadar
2017 {USENIX} Annual Technical Conference ({USENIX}{ATC} 17), 417-429, 2017
82017
Tickling Java with a feather
TOR Allwood, S Eisenbach
Electronic Notes in Theoretical Computer Science 238 (5), 3-16, 2009
62009
High coverage testing of Haskell programs
T Allwood, C Cadar, S Eisenbach
Proceedings of the 2011 International Symposium on Software Testing and …, 2011
52011
Pluggable, Iterative Type Checking for Dynamic Programming Languages
T Allwood, S Eisenbach, S Drossopoulou
32006
Clase: cursor library for a structured editor
TOR Allwood, S Eisenbach
Proceedings of the first ACM SIGPLAN symposium on Haskell, 123-124, 2008
22008
Deconstraining DSLs
W Jones, T Field, T Allwood
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
12012
Automatic unit test generation for JavaScript
J de Lafargue, S Eisenbach, T Allwood
Imperial College London, 2012
12012
Finding The Lazy Programmer's Bugs
TOR Allwood
Imperial College London, 2011
12011
Strengthening the zipper
TOR Allwood, S Eisenbach
Electronic Notes in Theoretical Computer Science 253 (7), 3-18, 2010
12010
A User Friendly, Type-Safe, Graphical Shell
T Allwood, D Burke, M Hull, E Itskova, S Zymler
Group Project Report, 2005
12005
Deconstraining DSLs
WJT Field, T Allwood
2012
Pluggable, Hybrid Type-Inference for Dynamic, Imperative, Object-Oriented Programming Languages
T Allwood, S Eisenbach
2006
reviewer thanks
A Abdurazik, P Abrahamsson, A Abran, S Adolph, W Ahmed, B Al-Ani, ...
The system can't perform the operation now. Try again later.
Articles 1–16