Activities per year
Activities 2004 2018
Program Analysis With Regular Tree Languages
Gallagher, J. P. (Lecturer)19 Jul 2011
Activity: Talk or presentation › Lecture and oral contribution
File
Abstract interpretation of temporal logic: abstract model checking revisited
Gallagher, J. P. (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
Gallagher, J. P. (Lecturer)7 Jul 2010
Activity: Talk or presentation › Lecture and oral contribution
Invited Talk: Scalable Static Analysis based on Regular Types
Gallagher, J. P. (Lecturer)Oct 2008
Activity: Talk or presentation › Lecture and oral contribution
Invited speaker, PROLE'2007, Zaragoza, Spain
Gallagher, J. P. (Lecturer)14 Sep 2007
Activity: Talk or presentation › Lecture and oral contribution
Regular types, modes and model checking: Invited Talk
Gallagher, J. P. (Speaker)2004
Activity: Lecture and oral contribution
File