Tom Melham

Identifiers

• name variant Tom Melham 0.60 · backfill

Papers (6)

1. Automatic Heap Layout Manipulation for Exploitation cs.CR · 2018 · author #2
2. Lifting CDCL to Template-based Abstract Domains for Program Verification cs.LO · 2017 · author #5
3. Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel cs.LO · 2016 · author #4
4. Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version) cs.SE · 2016 · author #5
5. On the Semantics of ReFLect as a Basis for a Reflective Theorem Prover cs.LO · 2013 · author #1
6. Chaining Test Cases for Reactive System Testing (extended version) cs.SE · 2013 · author #2

Mentions

• 1309.5742 #1 · backfill · confidence 0.70 Tom Melham
• 1306.3882 #2 · backfill · confidence 0.70 Tom Melham

Frequent Coauthors

• Daniel Kroening 5 shared papers
• Peter Schrammel 2 shared papers
• Rajdeep Mukherjee 2 shared papers
• Andreas Griesmayer 1 shared papers
• Ian Childs 1 shared papers
• Leopold Haller 1 shared papers
• Lihao Liang 1 shared papers
• Paul E. McKenney 1 shared papers
• Raphael Cohn 1 shared papers
• Saurabh Joshi 1 shared papers
• Sean Heelan 1 shared papers