Matt Kaufmann: Selected Presentations

NOTE: See also resume (long or shorter version) for full publication list.

Verifying LabVIEW Graphical Programs with ACL2 (talk at Workshop on Linking Tools for Verified Software, Microsoft Research Cambridge, November, 2008)

Aspects of ACL2 User Interaction (talk at UITP 2008, 8/22/08)

• Gzipped tarfile that includes the talk web page along with the supporting .lisp files

Slides for a Talk (with J Moore) at the 2006 UT CS Visions Lectures

Useful features of ACL2 (seminar talk, 2/15/06)

• Abstract
• Script used during the presentation
• Log

Meta Reasoning in ACL2 (Warren Hunt, Matt Kaufmann, Robert Krug, J Moore and Eric Smith)

• Slides (PDF)
• Paper (PDF)]
• NOTE: In proceedings of TPHOLs 2005, Oxford, UK, August 22--25, 2005. See LNCS series Homepage. The copyright for this contribution is held by Springer: © Springer-Verlag.

Slides presented at DCC'02 [PDF] [PS]