Jim Grundy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ITP | Nitro Isolation Engine: Formally Verifying a Production Hypervisor (Invited Talk). | Hanno Becker, Nathan Chong, Robert Dockins, Jim Grundy, Jason Z. S. Hu, Ike Mulder, Dominic P. Mulligan, Paul Mure, Bryan Parno, Lawrence C. Paulson, Konrad Slind |
| 2025 | CAV | Relational Hoare Logic for Realistically Modelled Machine Code. | Denis Mazzucato, Abdalrhman Mohamed, Juneyoung Lee, Clark W. Barrett, Jim Grundy, John Harrison, Corina S. Pasareanu |
| 2013 | FMCAD | Firmware validation: challenges and opportunities. | Jim Grundy |
| 2013 | FMCAD | Formal co-validation of low-level hardware/software interfaces. | Alex Horn, Michael Tautschnig, Celina G. Val, Lihao Liang, Tom Melham, Jim Grundy, Daniel Kroening |
| 2009 | PEPM | 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 |
| 2009 | TACAS | Ground Interpolation for the Theory of Equality. | Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli |
| 2008 | PEPM | 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 |
| 2007 | TACAS | Combined Satisfiability Modulo Parametric Theories. | Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli |