Tom Melham - Past Graduate Students
- Natasha Yogananda Jeppu: Learning Symbolic Abstractions from System Execution Traces (DPhil Oxford, 2022)
- Nikita Aggarwal: When all Data is Credit Data: Consumer credit markets, technological development, and distributive justice (DPhil Oxford 2023)
- Isaac Dunn:Testing Deep Image Classifiers using Generative Machine Learning (DPhil Oxford, 2022)
- Tala Ross:Analysis and Explanation of Binarized Neural Networks using Symbolic Trajectory Evaluation (MSc Oxford, 2021)
- Sean Heelan: Greybox Automatic Exploit Generation for Heap Overflows in Language
Interpreters (DPhil Oxford, 2020)
- Lihao Liang: Effective Verification of Interrupt-Driven Software (DPhil Oxford, 2018)
- Rajdeep Mukherjee: Precise Abstract Interpretation of Hardware Designs (DPhil Oxford, 2018)
- Alex Horn: Automated Concurrency Bug Finding using Partial Orders (DPhil Oxford, 2016)
- Sara Adams: Abstraction Discovery and Refinement for Model Checking by Symbolic Trajectory Evaluation (DPhil Oxford, 2014)
- Peter Boehm: Incremental Modelling for Verified Communication Architectures (DPhil Oxford, 2011)
- Ziyad Hanna: A Symbolic Execution Framework
for Algorithm-Level Modelling and Verification of Computer Microarchitecture (DPhil Oxford, 2011)
- Ian Childs:
Implementing a Deductive Theorem Prover using GADTs
(MSc Oxford, 2011)
- Raphael Cohn:
A Crack in the Mirror: Semantics and Inconsistency in the ReFLect Programming Language
(MSc Oxford, 2009)
- Ed Smith:
Specifying Properties for Generalized Symbolic Trajectory Evaluation
(DPhil Oxford, 2008)
- Ricklef Wohlers:
Quantified Boolean Formulas and Bounded Model Checking
(MSc Oxford, 2007)
- Ashish Darbari:
Symmetry Reduction for STE
Model Checking using Structured Models
(DPhil Oxford, 2006)
- Benjamin Damet:
Creating Hardware Description Languages using Reflection: Poof of Concept in F#
(MSc Oxford, 2006)
- Philippe Jupin:
Lava In reFLect
(MSc Oxford, 2005)
- Claire Quigley:
A Programming Logic
for Java Bytecode Programs
(PhD Glasgow, 2004)
- Alison Hill:
Automatic Abstraction in Symbolic Trajectory Evaluation
(MSc Oxford, 2004)
- Kong Woei Susanto:
A Verification Platform for
System on Chip
(PhD Glasgow, 2003)
- Michael Dales:
Managing a Reconfigurable Processor in a General
Purpose Workstation Environment
(PhD Glasgow, 2003)
- Graham Collins:
Supporting Formal Reasoning about Functional Programming
(PhD Glasgow, 2001)
Tom Melham,
last updated Mon 16 Jan 2017 11:53:58 GMT