Tom Melham

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 29

Top Topics

Formal Verification

Reinforcement Learning

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

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