John Launchbury

Publication Activity (10 Years)

Years Active: 1987-2015
Publications (10 Years): 1

Top Topics

Autonomous Vehicles

Extended Abstract

Embedded Systems

Top Venues

Festschrift for Dave Schmidt

Publications

Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury
Guilt free ivory. Haskell (2015)
Patrick C. Hickey, Lee Pike, Trevor Elliott, James Bielman, John Launchbury
Building embedded systems with embedded DSLs. ICFP (2014)
John Launchbury, Dave Archer, Thomas DuBuisson, Eric Mertens
Application-Scale Secure Multiparty Computation. ESOP (2014)
Lee Pike, Patrick C. Hickey, James Bielman, Trevor Elliott, Thomas DuBuisson, John Launchbury
Programming languages for high-assurance autonomous vehicles: extended abstract. PLPV (2014)
John Launchbury, Sava Krstic, T. E. Sauerwein
Coroutining Folds with Hyperfunctions. Festschrift for Dave Schmidt (2013)
John Launchbury, Iavor S. Diatchki, Thomas DuBuisson, Andy Adams-Moran
Efficient lookup-table protocol in secure multiparty computation. ICFP (2012)
John Launchbury
Theorem-based circuit derivation in cryptol. GPCE (2011)
John Launchbury, Trevor Elliott
Concurrent orchestration in Haskell. Haskell (2010)
John Launchbury
Industrial Functional Programming. PADL (2008)
John Launchbury
Galois: high assurance software. ICFP (2004)
Premkumar T. Devanbu, Robert Balzer, Don S. Batory, Gregor Kiczales, John Launchbury, David Lorge Parnas, Peri L. Tarr
Modularity in the New Millenium: A Panel Summary. ICSE (2003)
Levent Erkök, John Launchbury, Andrew Moran
Semantics of value recursion for Monadic Input/Output. RAIRO Theor. Informatics Appl. 36 (2) (2002)
Levent Erkök, John Launchbury
A recursive do for Haskell. Haskell (2002)
Sava Krstic, John Launchbury, Dusko Pavlovic
Categories of Processes Enriched in Final Coalgebras. FoSSaCS (2001)
Levent Erkök, John Launchbury
Recursive monadic bindings. ICFP (2000)
Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark Shields
Implicit Parameters: Dynamic Scoping with Static Types. POPL (2000)
Byron Cook, John Launchbury, John Matthews, Richard B. Kieburtz
Formal Verification of Explicitly Parallel Microprocessors. CHARME (1999)
John Matthews, John Launchbury
Elementary Microarchitecture Algebra. CAV (1999)
John Launchbury, Jeffrey R. Lewis, Byron Cook
On Embedding a Microarchitectural Design Language within Haskell. ICFP (1999)
John Matthews, Byron Cook, John Launchbury
Microprocessor Specification in Hawk. ICCL (1998)
Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach
Bridging the Gulf: A Common Intermediate Language for ML and Haskell. POPL (1998)
John Launchbury, Amr Sabry
Monadic State: Axiomatization and Type Safety. ICFP (1997)
Byron Cook, John Launchbury
Disposable Memo Functions (Extended Abstract). ICFP (1997)
John Launchbury, Gebreselassie Baraki
Representing Demand by Partial Projections. J. Funct. Program. 6 (4) (1996)
John Launchbury, Ross Paterson
Parametricity and Unboxing with Unpointed Types. ESOP (1996)
John Launchbury
Graph Algorithms with a Functional Flavous. Advanced Functional Programming (1995)
John Launchbury, Tim Sheard
Warm Fusion: Deriving Build-Cata's from Recursive Definitions. FPCA (1995)
David J. King, John Launchbury
Structuring Depth-First Search Algorithms in Haskell. POPL (1995)
John Launchbury, Simon L. Peyton Jones
State in Haskell. LISP Symb. Comput. 8 (4) (1995)
John Hughes, John Launchbury
Reversing Abstract Interpretations. Sci. Comput. Program. 22 (3) (1994)
John Launchbury, Simon L. Peyton Jones
Lazy Funtional State Threads: An Abstract. ICLP (1994)
John Launchbury, Simon L. Peyton Jones
Lazy Functional State Threads. PLDI (1994)
David J. King, John Launchbury
Functional Graph Algorithms with Depth-First Search (Preliminary Summary). Functional Programming (1993)
Simon L. Peyton Jones, John Hughes, John Launchbury
How to Give a Good Research Talk. ACM SIGPLAN Notices 28 (11) (1993)
Andrew John Gill, John Launchbury, Simon L. Peyton Jones
A Short Cut to Deforestation. FPCA (1993)
John Launchbury
A Natural Semantics for Lazy Evaluation. POPL (1993)
John Hughes, John Launchbury
Projections for Polymorphic First-Order Strictness Analysis. Math. Struct. Comput. Sci. 2 (3) (1992)
John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler
Avoiding Unnecessary Updates. Functional Programming (1992)
John Hughes, John Launchbury
Reversing Abstract Interpretations. ESOP (1992)
John Hughes, John Launchbury
Relational Reversal of Abstract Interpretation. J. Log. Comput. 2 (4) (1992)
John Launchbury
Strictness and Binding-Time Analyses: Two for the Price of One. PLDI (1991)
Simon L. Peyton Jones, John Launchbury
Unboxed Values as First Class Citizens in a Non-Strict Functional Language. FPCA (1991)
Ryszard Kubiak, John Hughes, John Launchbury
Implementing Projection-based Strictness Analysis. Functional Programming (1991)
John Launchbury
A Strongly-Typed Self-Applicable Partial Evaluator. FPCA (1991)
John Launchbury
Strictness Analysis Aids Inductive Proofs. Inf. Process. Lett. 35 (3) (1990)
John Hughes, John Launchbury
Towards Relating Forwards and Backwards Analyses. Functional Programming (1990)
John Launchbury
Dependent Sums Express Separation of Binding Times. Functional Programming (1989)
R. Frost, John Launchbury
Constructing Natural Language Interpreters in a Lazy Functional Language. Comput. J. 32 (2) (1989)
Guy Argo, John Hughes, Philip W. Trinder, Jon Fairbairn, John Launchbury
Implementing Functional Databases. DBPL (1987)