Matt Griffin

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 4

Top Topics

Belief Propagation

External Memory

Top Venues

Sci. Comput. Program.

Publications

Sharar Ahmadi, Brijesh Dongol, Matt Griffin
Operationally proving memory access violations in Isabelle/HOL. Sci. Comput. Program. 234 (2024)
Sharar Ahmadi, Brijesh Dongol, Matt Griffin
Proving Memory Access Violations in Isabelle/HOL. FTSCS (2022)
Matt Griffin, Brijesh Dongol
Verifying Secure Speculation in Isabelle/HOL. FM (2021)
Matt Griffin, Blake W. Nordstrom, Jon Scholes, Kate Joncas, Patrick Gordon, Elliott Krivenko, Winston Haynes, Roger Higdon, Elizabeth Stewart, Natali Kolker, Elizabeth Montague, Eugene Kolker
. Big Data 4 (1) (2016)
Robert Sim, Pantelis Elinas, Matt Griffin, Alex Shyr, James J. Little
Design and analysis of a framework for real-time vision-based SLAM using Rao-Blackwellised particle filters. CRV (2006)