Joe Leslie-Hurd
Component Design Engineer at
Intel Corporation
Portland, Oregon, USA
Projects [more]
Recent Talks [more]
- Maintaining Verified Software, Haskell Symposium 2013, Boston, Massachusetts, USA.
- 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, Maryland, USA.
- Visual Mathematics, Ignite Portland 9, Portland, Oregon, USA. [video] [script]
Recent Publications [more]
- Jesse Bingham and Joe Leslie-Hurd. Verifying Relative Error Bounds Using Symbolic Simulation. In Armin Biere and Roderick Bloem, editors, Proceedings of the 26th International Conference on Computer Aided Verification (CAV 2014), volume 8559 of Lecture Notes in Computer Science, pages 277–292. Springer, July 2014. [paper] [bibtex] [talk]
- 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]
- 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]
- Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2015), PC Member.
- Interactive Theorem Proving (ITP 2014), PC Member.
- NASA Formal Methods Symposium (NFM 2014), PC Member.
