Joe Leslie-Hurd

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

Projects [more]

Recent Talks [more]

Recent Publications [more]

  • Joe Leslie-Hurd. Maintaining verified software. In Chung-chieh Shan, editor, Haskell '13: Proceedings of the 2013 ACM SIGPLAN symposium on Haskell, pages 71–80. ACM, September 2013. [paper] [bibtex] [talk]
  • 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. [paper] [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. [paper] [bibtex] [talk]

Conferences [more]