Here are most of my papers. If you notice one missing, please let me know!
- The HACMS Program: Using Formal Methods to Eliminate Exploitable Bugs, Kathleen Fisher, John Launchbury, Ray Richards. Philosophical Transactions, The Royal Society Production Office, 2017
- Guilt Free Ivory, T Elliott et al, Proc ACM Haskell Symposium, 2015
- Application-Scale Secure Multiparty Computation, J Launchbury, D Archer, T DuBuisson, E Mertens. In Shao Z. (eds) Programming Languages and Systems. ESOP 2014. LNCS vol 8410.
- Trust Relationship Modeling for Software Assurance, D Burke, J Hurd, J Launchbury, A Tomb. Galois white paper, 2010.
- Concurrent Orchestration in Haskell, J Launchbury and T Elliott. Proceeding of ACM International Conference on Functional Programming (ICFP) 2010
- Semantics of FixIO, L Erkok, J Launchbury, A Moran, Special Issue: Fixed Points in Computer Science (FICS’01), Informatique Théorique et Applications, 2002
- A recursive do for Haskell, L Erkok, J Launchbury, Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, 2002
- Hyperfunctions, S Krstic, J Launchbury, and D Pavlovic, Fixed Points in Computer Science (FICS) 2001
- Categories of Processes Enriched in Final Coalgebras, S Krstic, J Launchbury, D Pavlovic. Proc Foundations of Software Science and Computation Structures (FoSSaCS), 2001
- Zip Fusion with Hyperfunctions, J Launchbury, S Krstic, T Sauerwein. Oregon Graduate Institute report, 2001
- Recursive Monadic Bindings, L Erkok and J Launchbury, ACM International Conference on Functional Programming (ICFP), 2000
- Implicit Parameters: dynamic scoping with static types, J Lewis, M Shields, E Meijer, J Launchbury, ACM conference on Principles of Programming Languages (POPL) 2000
- Formal Verification of Explicitly Parallel Microprocessors, B Cook, J Launchbury, J Mathews, R B Kieburtz, Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME), 1999
- On embedding a microarchitecture design language within Haskell, J Launchbury, J Lewis, and B Cook. Proc ACM SIGPLAN International Conference on Functional Programming (ICFP) 1999
- Elementary Microarchitecture Algebra, J Matthews and J Launchbury, IEEE conference on Computer Aided Verification (CAV), 1999
- Logical Abstractions in Haskell, N Day, J Launchbury, J Lewis. Proc ACM Haskell Workshop, 1999
- Microprocessor Specification in Hawk, J Matthews, J Launchbury, and B Cook, International Conference on Computer Languages (ICCL), 1998
- Bridging the gulf: A common intermediate language for ML and Haskell, S Peyton Jones, J Launchbury, M Shields, and A Tolmach, In Proc of the Conference on Principles of Programming Languages (POPL), 1998
- Disposable memo functions, B Cook and J Launchbury, Proc ACM SIGPLAN Haskell Workshop 1997
- Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages, P Johann, J Launchbury. Oregon Graduate Institute report, 1997
- Representing Demand with Partial Projections, J Launchbury and G Baraki, J. of Functional Programming, CUP, July 1996
- Parametricity and Unboxing with Unpointed Types, J Launchbury and R Paterson, Proc. European Symposium on Programming (ESOP), 1996
- State in Haskell, J Launchbury and S Peyton Jones, J. of Lisp and Symbolic Computation, Dec 1995
- Warm fusion: deriving build-catas from recursive definitions, J Launchbury, T Sheard, Proc Functional programming languages and computer architecture (FPCA), 1995
- Graph Algorithms with a Functional Flavour, J Launchbury, Spring School on Advanced Functional Programming Techniques, Springer-Verlag 1995
- Structuring Depth First Search Algorithms in Haskell, D King and J Launchbury, Proc. ACM Principles of Programming Languages (POPL), 1995
- Lazy functional state threads, J Launchbury, S L Peyton Jones, Proc ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI), 1994
- Lazy Depth First Search and Linear Graph Algorithms in Haskell, D King and J Launchbury, Glasgow Workshop on Functional Programming, 1994
- Reversing Abstract Interpretations, J Hughes and J Launchbury, Science of Computer Programming 22, pp 307-326, Elsevier, 1994
- How to give a good research talk, S L Peyton Jones, J Hughes, J Launchbury, ACM SIGPLAN Notices, Nov 1993
- Lazy Imperative Programming, J Launchbury. Proc. ACM SIGPLAN Workshop on State in Programming Language, 1993.
- A short cut to deforestation, Andrew Gill, John Launchbury, and Simon L Peyton Jones. Proc. Functional Programming and Computer Architecture (FPCA), 1993
- A Natural Semantics for Lazy Evaluation, J Launchbury, Proc. ACM Principles of Programming Languages (POPL), 1993
- Projections for Polymorphic First-Order Strictness Analysis, J Hughes and J Launchbury, in J. Mathematical Structures in Computer Science, Vol. 2, CUP, 1992
- Implementing Projection-based Strictness Analysis. R Kubiak, J Hughes, J Launchbury. Glasgow University white paper, 1991
- Unboxed Values as First-class Citizens in a Non-strict Functional Language, S Peyton Jones and J Launchbury, Proc. ACM Functional Programming and Computer Architecture (FPCA), 1991
- Constructing Natural Language Interpreters in a Lazy Functional Language, R Frost and J Launchbury, in Computer Journal, Vol. 32, No. 2, CUP, 1989
John Launchbury 