Jim Grundy

Publication Activity (10 Years)

Years Active: 1991-2013
Publications (10 Years): 0

Top Venues

FMCAD

Log. Methods Comput. Sci.

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

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)
Jim Grundy
Firmware validation: challenges and opportunities. FMCAD (2013)
Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli
Ground interpolation for the theory of equality Log. Methods Comput. Sci. 8 (1) (2012)
Sarvesh Prabhu, Michael S. Hsiao, Saparya Krishnamoorthy, Loganathan Lingappan, Vijay Gangaram, Jim Grundy
An Efficient 2-Phase Strategy to Achieve High Branch Coverage. Asian Test Symposium (2011)
Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary
Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions. High. Order Symb. Comput. 24 (1-2) (2011)
Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary
Synthesizable High Level Hardware Descriptions. New Gener. Comput. 28 (4) (2010)
Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli
Ground Interpolation for the Theory of Equality. TACAS (2009)
Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. PEPM (2009)
Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary
Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. PEPM (2008)
Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli
Combined Satisfiability Modulo Parametric Theories. TACAS (2007)
Jim Grundy, Thomas F. Melham, John W. O'Leary
A reflective functional language for hardware design and theorem proving. J. Funct. Program. 16 (2) (2006)
Jim Grundy, Thomas F. Melham, Sava Krstic, Sean McLaughlin
Tool Building Requirements for an API to First-Order Solvers. Electron. Notes Theor. Comput. Sci. 144 (2) (2006)
Jim Grundy
Verified Optimizations for the Intel IA-64 Architecture. TPHOLs (2000)
Ralph-Johan Back, Jim Grundy, Joakim von Wright
Structured Calculational Proof. Formal Aspects Comput. 9 (5-6) (1997)
Jim Grundy, Thomas Långbacka
Recording HOL Proofs in a Structured Browsable Format. AMAST (1997)
Jim Grundy
Transformational Hierarchical Reasoning. Comput. J. 39 (4) (1996)
Jim Grundy
A Three-Valued Logic for Refinement. Formal Methods in Programming and Their Applications (1993)
Jim Grundy
Predicative Programming - A Survey. Formal Methods in Programming and Their Applications (1993)
Jim Grundy
A Window Inference Tool for Refinement. Refine (1992)
Jim Grundy
Window Inference in the HOL System. TPHOLs (1991)

Jim Grundy.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jim Grundy