Jim Grundy

26 papers A 2B 2C 2Journal 8Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
CSLib: The Lean Computer Science Library.
CoRR
Clark W. Barrett, Swarat Chaudhuri, Fabrizio Montesi, Jim Grundy, Pushmeet Kohli, Leonardo de Moura, Alexandre Rademaker, Sorrachai Yingchareonthawornchai
2025 — conf
Relational Hoare Logic for Realistically Modelled Machine Code.
CAV (1)
Denis Mazzucato, Abdalrhman Mohamed, Juneyoung Lee, Clark W. Barrett, Jim Grundy, John Harrison, Corina S. Pasareanu
2025 J jnl
Relational Hoare Logic for Realistically Modelled Machine Code.
CoRR
Denis Mazzucato, Abdalrhman Mohamed, Juneyoung Lee, Clark W. Barrett, Jim Grundy, John Harrison, Corina S. Pasareanu
2013 B conf
Firmware validation: challenges and opportunities.
FMCAD
Jim Grundy
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
2012 J jnl
Ground interpolation for the theory of equality
Log. Methods Comput. Sci.
Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli
2011 — conf
An Efficient 2-Phase Strategy to Achieve High Branch Coverage.
Asian Test Symposium
Sarvesh Prabhu, Michael S. Hsiao, Saparya Krishnamoorthy, Loganathan Lingappan, Vijay Gangaram, Jim Grundy
2011 J jnl
Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions.
High. Order Symb. Comput.
Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary
2010 J jnl
Synthesizable High Level Hardware Descriptions.
New Gener. Comput.
Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary
2009 A conf
Ground Interpolation for the Theory of Equality.
TACAS
Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli
2009 C conf
Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions.
PEPM
Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary
2008 C conf
Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability.
PEPM
Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary
2007 A conf
Combined Satisfiability Modulo Parametric Theories.
TACAS
Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli
2006 J jnl
A reflective functional language for hardware design and theorem proving.
J. Funct. Program.
Jim Grundy, Thomas F. Melham, John W. O'Leary
2005 — conf
Tool Building Requirements for an API to First-Order Solvers.
PDPAR@CAV
Jim Grundy, Thomas F. Melham, Sava Krstic, Sean McLaughlin
2000 — conf
Verified Optimizations for the Intel IA-64 Architecture.
TPHOLs
Jim Grundy
1998 — ed.
Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
TPHOLs
Jim Grundy, Malcolm C. Newey
1997 — conf
Recording HOL Proofs in a Structured Browsable Format.
AMAST
Jim Grundy, Thomas Långbacka
1997 J jnl
Structured Calculational Proof.
Formal Aspects Comput.
Ralph-Johan Back, Jim Grundy, Joakim von Wright
1996 — ed.
Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings
TPHOLs
Joakim von Wright, Jim Grundy, John Harrison
1996 J jnl
Transformational Hierarchical Reasoning.
Comput. J.
Jim Grundy
1993 — conf
A Three-Valued Logic for Refinement.
Formal Methods in Programming and Their Applications
Jim Grundy
1993 — —
A method of program refinement.
Jim Grundy
1993 — conf
Predicative Programming - A Survey.
Formal Methods in Programming and Their Applications
Jim Grundy
1992 — conf
A Window Inference Tool for Refinement.
Refine
Jim Grundy
1991 — conf
Window Inference in the HOL System.
TPHOLs
Jim Grundy