Activities per year
Activities 2004 2018
Program Analysis With Regular Tree Languages
John Patrick Gallagher (Lecturer)19 Jul 2011
Activity: Talk or presentation › Lecture and oral contribution
File
Abstract interpretation of temporal logic: abstract model checking revisited
John Patrick Gallagher (Lecturer)19 Aug 2010
Activity: Talk or presentation › Lecture and oral contribution
File
Invited Talk: Descriptive Types and Well-Typings, with an Aside on Model Checking
John Patrick Gallagher (Lecturer)7 Jul 2010
Activity: Talk or presentation › Lecture and oral contribution
Invited Talk: Scalable Static Analysis based on Regular Types
John Patrick Gallagher (Lecturer)Oct 2008
Activity: Talk or presentation › Lecture and oral contribution
Invited speaker, PROLE'2007, Zaragoza, Spain
John Patrick Gallagher (Lecturer)14 Sep 2007
Activity: Talk or presentation › Lecture and oral contribution
Regular types, modes and model checking: Invited Talk
John Patrick Gallagher (Speaker)2004
Activity: Talk or presentation › Lecture and oral contribution
File