Jim Grundy

According to our database, Jim Grundy authored at least 19 papers between 1991 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

Formal co-validation of low-level hardware/software interfaces.

Alex Horn, Michael Tautschnig, Celina G. Val, Lihao Liang, Tom Melham, Jim Grundy, Daniel Kroening

Proceedings of the Formal Methods in Computer-Aided Design, 2013

Firmware validation: challenges and opportunities.

Jim Grundy

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

Ground interpolation for the theory of equality

Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli

Log. Methods Comput. Sci., 2012

2011

Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions.

Cherif R. Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary

High. Order Symb. Comput., 2011

An Efficient 2-Phase Strategy to Achieve High Branch Coverage.

Sarvesh Prabhu, Michael S. Hsiao, Saparya Krishnamoorthy, Loganathan Lingappan, Vijay Gangaram, Jim Grundy

Proceedings of the 20th IEEE Asian Test Symposium, 2011

2010

Synthesizable High Level Hardware Descriptions.

Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary

New Gener. Comput., 2010

2008

Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability.

Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

2007

Combined Satisfiability Modulo Parametric Theories.

Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006

A reflective functional language for hardware design and theorem proving.

Jim Grundy, Thomas F. Melham, John W. O'Leary

J. Funct. Program., 2006

2005

Tool Building Requirements for an API to First-Order Solvers.

Jim Grundy, Thomas F. Melham, Sava Krstic, Sean McLaughlin

Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2005

2000

Verified Optimizations for the Intel IA-64 Architecture.

Jim Grundy

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

1997

Structured Calculational Proof.

Ralph-Johan Back, Jim Grundy, Joakim von Wright

Formal Aspects Comput., 1997

Recording HOL Proofs in a Structured Browsable Format.

Jim Grundy, Thomas Långbacka

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Transformational Hierarchical Reasoning.

Jim Grundy

Comput. J., 1996

1993

A method of program refinement.

Jim Grundy

PhD thesis, 1993

A Three-Valued Logic for Refinement.

Jim Grundy

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

Predicative Programming - A Survey.

Jim Grundy

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

1992

A Window Inference Tool for Refinement.

Jim Grundy

Proceedings of the 5th Refinement Workshop, 1992

1991

Window Inference in the HOL System.

Jim Grundy

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991