Tom Melham

45 papers A* 5A 5B 7C 1Journal 21Unranked 5
YearRankTypeTitle / Venue / Authors
2026 A* conf
Symbolic Task Inference in Deep Reinforcement Learning (Abstract Reprint).
AAAI
Hosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
2025 J jnl
Comprehensive Formal Verification of Observational Correctness for the CHERIoT-Ibex Processor.
CoRR
Louis-Emile Ploix, Alasdair Armstrong, Tom Melham, Ray Lin, Haolong Wang, Anastasia Courtney
2025 J jnl
Contextualizing Formal Verification for Systems Security Engineering.
IEEE Secur. Priv.
Avi Shaked, Tom Melham
2025 A* conf
Synthesis of Code-Reuse Attacks from p-code Programs.
USENIX Security Symposium
Mark DenHoed, Tom Melham
2024 — conf
Modelling Tool Extension for Vulnerability Management.
MoDELS (Companion)
Avi Shaked, Nan Messe, Tom Melham
2024 J jnl
Symbolic Task Inference in Deep Reinforcement Learning.
J. Artif. Intell. Res.
Hosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
2023 — conf
A Formal CHERI-C Semantics for Verification.
TACAS (1)
Seung Hoon Park, Rekha R. Pai, Tom Melham
2022 J jnl
A Formal CHERI-C Semantics for Verification.
CoRR
Seung Hoon Park, Rekha R. Pai, Tom Melham
2022 A conf
Active Learning of Abstract System Models from Traces using Model Checking.
DATE
Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening
2022 J jnl
Enhancing active model learning with equivalence checking using simulation relations.
Formal Methods Syst. Des.
Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening
2022 — conf
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities.
SecDev
Kaled M. Alshmrany, Ahmed Bhayat, Franz Brauße, Lucas C. Cordeiro, Konstantin Korovin, Tom Melham, Mustafa A. Mustafa, Pierre Olivier, Giles Reger, Fedor Shmarov
2021 J jnl
Active Learning of Abstract System Models from Traces using Model Checking [Extended].
CoRR
Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening
2021 A* conf
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.
AAAI
Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
2021 B conf
End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers.
FMCAD
Dapeng Gao, Tom Melham
2021 J jnl
Exposing Previously Undetectable Faults in Deep Neural Networks.
CoRR
Isaac Dunn, Hadrien Pouget, Daniel Kroening, Tom Melham
2021 A conf
Exposing previously undetectable faults in deep neural networks.
ISSTA
Isaac Dunn, Hadrien Pouget, Daniel Kroening, Tom Melham
2020 J jnl
Hardware/Software Co-verification Using Path-based Symbolic Execution.
CoRR
Rajdeep Mukherjee, Saurabh Joshi, John O'Leary, Daniel Kroening, Tom Melham
2020 J jnl
Learning Concise Models from Long Execution Traces.
CoRR
Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening, John O'Leary
2020 J jnl
Semantic Adversarial Perturbations using Learnt Representations.
CoRR
Isaac Dunn, Tom Melham, Daniel Kroening
2019 J jnl
CREST: Hardware Formal Verification with ANSI-C Reference Specifications.
CoRR
Andreas Tiemeyer, Tom Melham, Daniel Kroening, John O'Leary
2019 J jnl
DeepSynth: Program Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning.
CoRR
Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening
2019 J jnl
Generating Realistic Unrestricted Adversarial Inputs using Dual-Objective GAN Training.
CoRR
Isaac Dunn, Tom Melham, Daniel Kroening
2019 A* conf
Gollum: Modular and Greybox Exploit Generation for Heap Overflows in Interpreters.
CCS
Sean Heelan, Tom Melham, Daniel Kroening
2018 A* conf
Automatic Heap Layout Manipulation for Exploitation.
USENIX Security Symposium
Sean Heelan, Tom Melham, Daniel Kroening
2018 J jnl
Automatic Heap Layout Manipulation for Exploitation.
CoRR
Sean Heelan, Tom Melham, Daniel Kroening
2018 J jnl
Effective Verification for Low-Level Software with Competing Interrupts.
ACM Trans. Embed. Comput. Syst.
Lihao Liang, Tom Melham, Daniel Kroening, Peter Schrammel, Michael Tautschnig
2018 — ch.
Symbolic Trajectory Evaluation.
Handbook of Model Checking
Tom Melham
2018 A conf
Verification of tree-based hierarchical read-copy update in the Linux kernel.
DATE
Lihao Liang, Paul E. McKenney, Daniel Kroening, Tom Melham
2017 B conf
Lifting CDCL to Template-Based Abstract Domains for Program Verification.
ATVA
Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham
2017 J jnl
Lifting CDCL to Template-based Abstract Domains for Program Verification.
CoRR
Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham
2016 J jnl
Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version).
CoRR
Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham
2016 B conf
Equivalence Checking of a Floating-Point Unit Against a High-Level C Model.
FM
Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham
2016 J jnl
Generating test case chains for reactive systems.
Int. J. Softw. Tools Technol. Transf.
Peter Schrammel, Tom Melham, Daniel Kroening
2016 A conf
Unbounded safety verification for hardware using software analyzers.
DATE
Rajdeep Mukherjee, Peter Schrammel, Daniel Kroening, Tom Melham
2016 J jnl
Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel.
CoRR
Lihao Liang, Paul E. McKenney, Daniel Kroening, Tom Melham
2015 A conf
Effective verification of low-level software with nested interrupts.
DATE
Daniel Kroening, Lihao Liang, Tom Melham, Peter Schrammel, Michael Tautschnig
2015 — conf
Equivalence Checking Using Trace Partitioning.
ISVLSI
Rajdeep Mukherjee, Daniel Kroening, Tom Melham, Mandayam K. Srivas
2015 — conf
Hardware Verification Using Software Analyzers.
ISVLSI
Rajdeep Mukherjee, Daniel Kroening, Tom Melham
2013 J jnl
Chaining Test Cases for Reactive System Testing (extended version).
CoRR
Peter Schrammel, Tom Melham, Daniel Kroening
2013 C conf
Chaining Test Cases for Reactive System Testing.
ICTSS
Peter Schrammel, Tom Melham, Daniel Kroening
2013 B conf
Formal co-validation of low-level hardware/software interfaces.
FMCAD
Alex Horn, Michael Tautschnig, Celina G. Val, Lihao Liang, Tom Melham, Jim Grundy, Daniel Kroening
2013 J jnl
On the Semantics of ReFLect as a Basis for a Reflective Theorem Prover.
CoRR
Tom Melham, Raphael Cohn, Ian Childs
2013 B conf
Relational STE and theorem proving for formal verification of industrial circuit designs.
FMCAD
John W. O'Leary, Roope Kaivola, Tom Melham
2009 B conf
Assume-guarantee validation for STE properties within an SVA environment.
FMCAD
Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham
2008 B conf
A Refinement Approach to Design and Verification of On-Chip Communication Protocols.
FMCAD
Peter Böhm, Tom Melham