Jim Grundy

2009
15	EE	Cherif 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: 121-130
14	EE	Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli: Ground Interpolation for the Theory of Equality. TACAS 2009: 413-427
2008
13	EE	Jennifer Gillenwater, Gregory Malecha, Cherif 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: 41-50
2007
12	EE	Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli: Combined Satisfiability Modulo Parametric Theories. TACAS 2007: 602-617
2006
11	EE	Jim Grundy, Thomas F. Melham, Sava Krstic, Sean McLaughlin: Tool Building Requirements for an API to First-Order Solvers. Electr. Notes Theor. Comput. Sci. 144(2): 15-26 (2006)
10	EE	Jim Grundy, Thomas F. Melham, John W. O'Leary: A reflective functional language for hardware design and theorem proving. J. Funct. Program. 16(2): 157-196 (2006)
2000
9		Jim Grundy: Verified Optimizations for the Intel IA-64 Architecture. TPHOLs 2000: 215-232
1998
8		Jim Grundy, Malcolm C. Newey: Theorem Proving in Higher Order Logics, 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings Springer 1998
1997
7		Jim Grundy, Thomas Långbacka: Recording HOL Proofs in a Structured Browsable Format. AMAST 1997: 567-571
6		Ralph-Johan Back, Jim Grundy, Joakim von Wright: Structured Calculational Proof. Formal Asp. Comput. 9(5-6): 469-483 (1997)
1996
5		Joakim von Wright, Jim Grundy, John Harrison: Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings Springer 1996
4		Jim Grundy: Transformational Hierarchical Reasoning. Comput. J. 39(4): 291-302 (1996)
1993
3		Jim Grundy: A Three-Valued Logic for Refinement. Formal Methods in Programming and Their Applications 1993: 26-42
2		Jim Grundy: Predicative Programming - A Survey. Formal Methods in Programming and Their Applications 1993: 8-25
1991
1		Jim Grundy: Window Inference in the HOL System. TPHOLs 1991: 177-189

Coauthor Index

1	Ralph-Johan Back	[6]
2	Alexander Fuchs	[14]
3	Jennifer Gillenwater	[13]
4	Amit Goel	[12] [14]
5	John Harrison	[5]
6	Sava Krstic	[11] [12] [14]
7	Thomas Långbacka	[7]
8	Gregory Malecha	[13] [15]
9	Sean McLaughlin	[11]
10	Thomas F. Melham	[10] [11]
11	Malcolm C. Newey	[8]
12	John O'Leary	[13] [15]
13	John W. O'Leary	[10]
14	Cherif Salama	[13] [15]
15	Walid Taha	[13] [15]
16	Cesare Tinelli	[12] [14]
17	Joakim von Wright	[5] [6]
18	Angela Yun Zhu	[13]

Colors in the list of coauthors