Tom Melham
University of Oxford
H-index: 29
Europe-United Kingdom
Top articles of Tom Melham
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Symbolic task inference in deep reinforcement learning | Journal of Artificial Intelligence Research (JAIR) | Hosein Hasanbeig Natasha Yogananda Jeppu Alessandro Abate Tom Melham Daniel Kroening | 2023 |
Enhancing active model learning with equivalence checking using simulation relations | Formal Methods in System Design | Natasha Yogananda Jeppu Tom Melham Daniel Kroening | 2023/8/6 |
Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities | Authorea Preprints | Ahmed Bhayat Lucas Cordeiro Giles Reger Fedor Shmarov Konstantin Korovin | 2023/11/8 |
A formal CHERI-C semantics for verification | Seung Hoon Park Rekha Pai Tom Melham | 2023/4/22 | |
Position paper: Towards a hybrid approach to protect against memory safety vulnerabilities | Kaled Alshmrany Ahmed Bhayat Franz Brauße Lucas Cordeiro Konstantin Korovin | 2022/10/18 | |
Active learning of abstract system models from traces using model checking | Natasha Yogananda Jeppu Tom Melham Daniel Kroening | 2022/3/14 | |
Exposing previously undetectable faults in deep neural networks | Isaac Dunn Hadrien Pouget Tom Melham Daniel Kroening | 2021 | |
Deepsynth: Automata synthesis for automatic task segmentation in deep reinforcement learning | Proceedings of the AAAI Conference on Artificial Intelligence | Mohammadhosein Hasanbeig Natasha Yogananda Jeppu Alessandro Abate Tom Melham Daniel Kroening | 2021/5/18 |
End-to-end formal verification of a risc-v processor extended with capability pointers | Dapeng Gao Tom Melham | 2021/10/19 | |
Hardware/software co-verification using path-based symbolic execution | arXiv preprint arXiv:2001.01324 | Rajdeep Mukherjee Saurabh Joshi John O'Leary Daniel Kroening Tom Melham | 2020/1/5 |
Learning concise models from long execution traces | Natasha Yogananda Jeppu Thomas Melham Daniel Kroening John O’Leary | 2020/7/20 | |
Evaluating robustness to context-sensitive feature perturbations of different granularities | arXiv preprint arXiv:2001.11055 | Isaac Dunn Laura Hanu Hadrien Pouget Daniel Kroening Tom Melham | 2020/1/29 |
Co-Authors
