Selected Publications

Click here for All Publications

[1]William L. Harrison, Adam Procter and Gerard Allwein. The confinement problem in the presence of faults. In Proceedings of the 2012 International Conference on Formal Engineering Methods, 2012. [ bib | .pdf ]

[2]Chris Hathhorn, Michela Becchi, William L. Harrison and Adam Procter. Formal semantics of heterogeneous cuda-c: A modular approach with applications. In Proceedings of the 2012 Systems Software Verification Conference, 2012. [ bib | .pdf ]

[3]Gerard Allwein, William L. Harrison and David Andrews. Simulation logic. In Proceedings of the 2012 Conference on Non-Classical Logics, 2012. [ bib | .pdf ]

[4]Adam Procter, William L. Harrison and Aaron Stump. The design of a practical proof checker for a lazy functional language. In Proceedings of the 2012 Trends in Functional Programming Conference (to appear), 2012. [ bib | .pdf ]

[1]Gerard Allwein and William L. Harrison. A channel theoretic account of separation security. In Proceedings of the 2011 International Conference on Engineering Reconfigurable Systems and Algorithms (ERSA11), 2011. [ bib | .pdf ]

[2]William L. Harrison, Benjamin Schulz, Adam Procter, Andrew Lukefahr, and Gerard Allwein. Towards semantics-directed system design and synthesis. In Proceedings of the 2011 International Conference on Engineering Reconfigurable Systems and Algorithms (ERSA11), 2011. [ bib | .pdf ]

[3]Gerard Allwein, Yingrui Yang, and William L. Harrison. Qualitative decision theory via channel theory. Logic and Logical Philosophy, pages 81-110, 2011. [ bib | .pdf ]

[4]Gerard Allwein and William L. Harrison. Partially-ordered modalities. In Advances in Modal Logic, pages 1-21, 2010. [ bib | .pdf ]

[5]W. Harrison, A. Procter, J. Agron, G. Kimmel, and G. Allwein. Model-driven engineering from modular monadic semantics: Implementation techniques targeting hardware and software. In DSL ’09: Proc. of the IFIP TC 2 Working Conference on Domain-Specific Languages, pages 20-44, 2009. [ bib | .pdf ]

[6]William L. Harrison and James Hook. Achieving information flow security through monadic control of effects. J. Comput. Secur., 17:599-653, October 2009. [ bib | .pdf ]

[7]William L. Harrison, Gerard Allwein, Andy Gill, and Adam Procter. Asynchronous exceptions as an effect. In Proceedings of the Mathematics of Program Construction (MPC08), pages 153-176, 2008. [ bib | .pdf ]

[8]Pericles S. Kariotis, Adam M. Procter, and William L. Harrison. Making monads first-class with template haskell. In Proceedings of the first ACM SIGPLAN Symposium on Haskell, Haskell ’08, pages 99-110, New York, NY, USA, 2008. ACM. [ bib | .pdf ]

[9]William L. Harrison. The essence of multitasking. In 11th International Conference on Algebraic Methodology and Software Technology (AMAST 2006), pages 158-172, July 2006. [ bib | .pdf ]

[10]William L. Harrison and Richard B. Kieburtz. The logic of demand in Haskell. Journal of Functional Programming, 15(6):837-891, 2005. [ bib | .pdf ]

[11]William Harrison. A simple semantics for polymorphic recursion. In Proceedings of the 3rd Asian Symposium on Programming Languages and Systems (APLAS05), pages 37-51, Tsukuba, Japan, November 2005. [ bib | .pdf ]