Jim Grundy - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2013

Firmware validation: challenges and opportunitiesJim Grundy. FMCAD 2013: 11 [doi]

Formal co-validation of low-level hardware/software interfacesAlex Horn, Michael Tautschnig, Celina G. Val, Lihao Liang, Tom Melham, Jim Grundy, Daniel Kroening. FMCAD 2013: 121-128 [doi]

2011

An Efficient 2-Phase Strategy to Achieve High Branch CoverageSarvesh Prabhu, Michael S. Hsiao, Saparya Krishnamoorthy, Loganathan Lingappan, Vijay Gangaram, Jim Grundy. ats 2011: 167-174 [doi]

Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptionsCherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary. lisp, 24(1-2):81-114, 2011. [doi]

2010

Synthesizable High Level Hardware DescriptionsJennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O Leary. ngc, 28(4):339-369, 2010. [doi]

2009

Ground Interpolation for the Theory of EqualityAlexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli. TACAS 2009: 413-427 [doi]

Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptionsCherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O Leary. PEPM 2009: 121-130 [doi]

2008

Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizabilityJennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O Leary. PEPM 2008: 41-50 [doi]

2007

Combined Satisfiability Modulo Parametric TheoriesSava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli. TACAS 2007: 602-617 [doi]

2006

Tool Building Requirements for an API to First-Order SolversJim Grundy, Thomas F. Melham, Sava Krstic, Sean McLaughlin. ENTCS, 144(2):15-26, 2006. [doi]

A reflective functional language for hardware design and theorem provingJim Grundy, Thomas F. Melham, John W. O Leary. JFP, 16(2):157-196, 2006. [doi]

2000

Verified Optimizations for the Intel IA-64 ArchitectureJim Grundy. tphol 2000: 215-232

1997

Structured Calculational ProofRalph-Johan Back, Jim Grundy, Joakim von Wright. fac, 9(5-6):469-483, 1997.

Recording HOL Proofs in a Structured Browsable FormatJim Grundy, Thomas Långbacka. amast 1997: 567-571

1996

Transformational Hierarchical ReasoningJim Grundy. cj, 39(4):291-302, 1996.

1993

Predicative Programming - A SurveyJim Grundy. ershov 1993: 8-25

A Three-Valued Logic for RefinementJim Grundy. ershov 1993: 26-42

A method of program refinementJim Grundy. PhD thesis, University of Cambridge, UK, 1993. [doi]

1992

A Window Inference Tool for RefinementJim Grundy. Refine 1992: 230-254 [doi]

1991

Window Inference in the HOL SystemJim Grundy. tphol 1992: 177-189

Sign in or sign up to see more results.

runs on WebDSL