Biographical information

     Recipient: NSF CAREER Award 2008 (CyberTrust program)
     Assistant Professor of Computer Science at MU since September 2003
     Post-doctoral Researcher at Oregon Graduate Institute from June 2000 until August 2003
     Visiting Lecturer (Computer Science), Indiana University, September 1999-May 2000
     Ph.D (Computer Science), University of Illinois at Urbana-Champaign 2001
     M.S. (Computer Science), University of California at Davis, August, 1992
     B.A. (Mathematics), University of California at Berkeley, May 1986

Selected Publications

(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 ]