D
Dennis Griffith
Researcher at University of Illinois at Urbana–Champaign
Publications - 9
Citations - 430
Dennis Griffith is an academic researcher from University of Illinois at Urbana–Champaign. The author has contributed to research in topics: Formal specification & Executable. The author has an hindex of 5, co-authored 9 publications receiving 395 citations.
Papers
More filters
Journal ArticleDOI
An overview of the MOP runtime verification framework
TL;DR: An overview of the, monitoring oriented programming framework (MOP), and an explanation of parametric trace monitoring and its implementation is given.
Book ChapterDOI
Polarized Substructural Session Types
Frank Pfenning,Dennis Griffith +1 more
TL;DR: The deep connection between session-typed concurrency and linear logic is embodied in the language SILL that integrates functional and message-passing concurrent programming.
Journal ArticleDOI
Garbage collection for monitoring parametric properties
TL;DR: This paper proposes a new approach to garbage collecting monitor instances, which has resulted in RV, the most efficient parametric monitoring system to date, and shows that the average overhead of RV in the DaCapo benchmark is 15%, which is two times lower than that of JavaMOP and orders of magnitude lowerthan that of Tracematches.
Proceedings ArticleDOI
Toward a multi-method approach to formalizing human-automation interaction and human-human communications
Ellen J. Bass,Matthew L. Bolton,Karen M. Feigh,Dennis Griffith,Elsa L. Gunter,William Mansky,John Rushby +6 more
TL;DR: A multi-method approach based on extending the Enhanced Operator Function Model language to address human agent communications (EOFMC) including analyses via theorem proving and future support for model checking linked through the EOFMC top level XML description is developed.
Book ChapterDOI
LiquidPi: Inferrable Dependent Session Types
Dennis Griffith,Elsa L. Gunter +1 more
TL;DR: LiquidPi is presented, a type system parametric over an underlying functional language with Pi Calculus connectives and an inference algorithm for it by means of efficient external solvers and a set of dependent qualifier templates.