Jim Grundy

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Formal co-validation of low-level hardware/software interfaces.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

Firmware validation: challenges and opportunities.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012
Ground interpolation for the theory of equality
Log. Methods Comput. Sci., 2012

2011
Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions.
High. Order Symb. Comput., 2011

An Efficient 2-Phase Strategy to Achieve High Branch Coverage.
Proceedings of the 20th IEEE Asian Test Symposium, 2011

2010
Synthesizable High Level Hardware Descriptions.
New Gener. Comput., 2010

2008
Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability.
Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

2007
Combined Satisfiability Modulo Parametric Theories.
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.
J. Funct. Program., 2006

2005
Tool Building Requirements for an API to First-Order Solvers.
Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2005

2000
Verified Optimizations for the Intel IA-64 Architecture.
Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

1997
Structured Calculational Proof.
Formal Aspects Comput., 1997

Recording HOL Proofs in a Structured Browsable Format.
Proceedings of the Algebraic Methodology and Software Technology, 1997

1996
Transformational Hierarchical Reasoning.
Comput. J., 1996

1993
A method of program refinement.
PhD thesis, 1993

A Three-Valued Logic for Refinement.
Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

Predicative Programming - A Survey.
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.
Proceedings of the 5th Refinement Workshop, 1992

1991
Window Inference in the HOL System.
Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991


  Loading...