Dennis Griffith

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 2

Top Topics

Control Structures

Program Execution

Parallel Hardware

Top Venues

Int. J. Softw. Tools Technol. Transf.

Sci. Comput. Program.

Publications

William Mansky, Elsa L. Gunter, Dennis Griffith, Michael D. Adams
Specifying and executing optimizations for generalized control flow graphs. Sci. Comput. Program. 130 (2016)
Frank Pfenning, Dennis Griffith
Polarized Substructural Session Types. FoSSaCS (2015)
William Mansky, Dennis Griffith, Elsa L. Gunter
Specifying and Executing Optimizations for Parallel Programs. GRAPHITE (2014)
Dennis Griffith, Elsa L. Gunter
LiquidPi: Inferrable Dependent Session Types. NASA Formal Methods (2013)
Patrick O'Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen, Grigore Rosu
An overview of the MOP runtime verification framework. Int. J. Softw. Tools Technol. Transf. 14 (3) (2012)
Ellen J. Bass, Matthew L. Bolton, Karen M. Feigh, Dennis Griffith, Elsa L. Gunter, William Mansky, John M. Rushby
Toward a multi-method approach to formalizing human-automation interaction and human-human communications. SMC (2011)
Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith, Grigore Rosu
Garbage collection for monitoring parametric properties. PLDI (2011)