Ground interpolation for the theory of equality
Fuchs, Alexander, Goel, Amit, Grundy, Jim, Krstić, Sava, Tinelli, Cesare
Published in Logical methods in computer science (16.02.2012)
Published in Logical methods in computer science (16.02.2012)
Get full text
Journal Article
Static consistency checking for Verilog wire interconnects Using dependent types to check the sanity of Verilog descriptions: Partial Evaluation and Program Manipulation (PEPM) 2009
SALAMA, Cherif, MALECHA, Gregory, TAHA, Walid, GRUNDY, Jim, O'LEARY, John
Published in Higher-order and symbolic computation (2011)
Get full text
Published in Higher-order and symbolic computation (2011)
Journal Article
Synthesizable High Level Hardware Descriptions
Gillenwater, Jennifer, Malecha, Gregory, Salama, Cherif, Zhu, Angela Yun, Taha, Walid, Grundy, Jim, O’leary, John
Published in New generation computing (01.01.2010)
Published in New generation computing (01.01.2010)
Get full text
Journal Article
An Efficient 2-Phase Strategy to Achieve High Branch Coverage
Prabhu, S., Hsiao, M. S., Krishnamoorthy, S., Lingappan, L., Gangaram, V., Grundy, J.
Published in 2011 Asian Test Symposium (01.11.2011)
Published in 2011 Asian Test Symposium (01.11.2011)
Get full text
Conference Proceeding
Formal co-validation of low-level hardware/software interfaces
Horn, Alex, Tautschnig, Michael, Val, Celina, Liang, Lihao, Melham, Tom, Grundy, Jim, Kroening, Daniel
Published in 2013 Formal Methods in Computer-Aided Design (01.10.2013)
Published in 2013 Formal Methods in Computer-Aided Design (01.10.2013)
Get full text
Conference Proceeding
Ground interpolation for the theory of equality
Fuchs, Alexander, Goel, Amit, Grundy, Jim, Krstić, Sava, Tinelli, Cesare
Published in arXiv.org (15.02.2012)
Published in arXiv.org (15.02.2012)
Get full text
Paper
Journal Article
The Germans invited us out of our trenches and we met halfway: OUR WAR: 1914-18Local historian Jim Grundy has dug out letters from local soldiers giving firsthand accounts of the amazing Christmas truce in 1914, when unofficial ceasefires were declared along the Western Front and soldiers who had been trying to kill each other - and would continue to do so later - shook hands in No Man's Land
Get full text
Newspaper Article
Tutorial I: Syntax-guided synthesis
Alur, Rajeev, Grundy, Jim, Jha, Somesh, Reps, Tom, Harris, Bill, Foster, Nate, Guha, Arjun, Reitblatt, Mark, Schlesinger, Cole
Published in 2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013) (01.10.2013)
Published in 2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013) (01.10.2013)
Get full text
Conference Proceeding
Tool Building Requirements for an API to First-Order Solvers
Grundy, Jim, Melham, Tom, Krstić, Sava, McLaughlin, Sean
Published in Electronic notes in theoretical computer science (19.01.2006)
Published in Electronic notes in theoretical computer science (19.01.2006)
Get full text
Journal Article
Window Inference In The HOL System
Grundy, J.
Published in 1991 International Workshop on the HOL Theorem Proving System and Its Applications (1991)
Published in 1991 International Workshop on the HOL Theorem Proving System and Its Applications (1991)
Get full text
Conference Proceeding