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)
  • Slides for a Talk (with J Moore) at the 2006 UT CS Visions Lectures

  • Useful features of ACL2 (seminar talk, 2/15/06)
  • Meta Reasoning in ACL2 (Warren Hunt, Matt Kaufmann, Robert Krug, J Moore and Eric Smith)
  • Slides presented at DCC'02 [PDF] [PS]