Gilith

Joe Leslie-Hurd
Component Design Engineer at Intel Corporation
Portland, Oregon, USA

Projects [more]

• OpenTheory proof archive
• Metis theorem prover

Recent Talks [more]

• Formally Verified Endgame Tables, Guest Lecture, Combinatorial Games, Portland State University, Portland, Oregon, USA.
• Theory Engineering Using Composable Packages, Invited Talk, SVARM 2013, Rome, Italy.
• FUSE: Inter-Application Security for Android, HCSS 2012, Annapolis, MD, USA.
• Visualizing Information Flow through C Programs, Invited Talk, SSV '10, Vancouver, Canada.
• Visual Mathematics, Ignite Portland 9, Portland, Oregon, USA. [video] [script]

Recent Publications [more]

• Ramana Kumar and Joe Hurd. Standalone tactics using OpenTheory. In Lennart Beringer and Amy Felty, editors, Third International Conference on Interactive Theorem Proving (ITP 2012), volume 7406 of Lecture Notes in Computer Science, pages 405–411. Springer, August 2012. [PDF] [BiBTeX]
• Joe Hurd. The OpenTheory standard theory library. In Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, and Rajeev Joshi, editors, Third International Symposium on NASA Formal Methods (NFM 2011), volume 6617 of Lecture Notes in Computer Science, pages 177–191. Springer, April 2011. [PDF] [BiBTeX]
• Joe Hurd and Guy Haworth. Data assurance in opaque computations. In H. Jaap Van den Herik and Pieter Spronck, editors, Advances in Computer Games, 12th International Conference (ACG 2009), volume 6048 of Lecture Notes in Computer Science, pages 221–231, Pamplona, Spain. Springer, May 2010. [PDF] [BiBTeX]

Conferences [more]

• Formal Methods in Computer-Aided Design (FMCAD 2013), Local Arrangements Chair.
• NASA Formal Methods Symposium (NFM 2013), PC Member.
• Synthesis, Verification and Analysis of Rich Models Workshop (SVARM 2013), Invited Speaker.
• Systems Software Verification (SSV 2012), PC Member.