John Launchbury

According to our database, John Launchbury authored at least 49 papers between 1987 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Guilt free ivory.

Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp, Eric L. Seidel, John Launchbury

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014

Programming languages for high-assurance autonomous vehicles: extended abstract.

Lee Pike, Patrick C. Hickey, James Bielman, Trevor Elliott, Thomas DuBuisson, John Launchbury

Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, 2014

Building embedded systems with embedded DSLs.

Patrick C. Hickey, Lee Pike, Trevor Elliott, James Bielman, John Launchbury

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Application-Scale Secure Multiparty Computation.

John Launchbury, Dave Archer, Thomas DuBuisson, Eric Mertens

Proceedings of the Programming Languages and Systems, 2014

2013

Coroutining Folds with Hyperfunctions.

John Launchbury, Sava Krstic, T. E. Sauerwein

Proceedings of the Semantics, 2013

2012

Efficient lookup-table protocol in secure multiparty computation.

John Launchbury, Iavor S. Diatchki, Thomas DuBuisson, Andy Adams-Moran

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

Theorem-based circuit derivation in cryptol.

John Launchbury

Proceedings of the Generative Programming And Component Engineering, 2011

2010

Concurrent orchestration in Haskell.

John Launchbury, Trevor Elliott

Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

2008

Industrial Functional Programming.

John Launchbury

Proceedings of the Practical Aspects of Declarative Languages, 2008

2004

Galois: high assurance software.

John Launchbury

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

2003

Modularity in the New Millenium: A Panel Summary.

Premkumar T. Devanbu, Robert Balzer, Don S. Batory, Gregor Kiczales, John Launchbury, David Lorge Parnas, Peri L. Tarr

Proceedings of the 25th International Conference on Software Engineering, 2003

2002

Semantics of value recursion for Monadic Input/Output.

Levent Erkök, John Launchbury, Andrew Moran

RAIRO Theor. Informatics Appl., 2002

A recursive do for Haskell.

Levent Erkök, John Launchbury

Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, 2002

2001

Categories of Processes Enriched in Final Coalgebras.

Sava Krstic, John Launchbury, Dusko Pavlovic

Proceedings of the Foundations of Software Science and Computation Structures, 2001

2000

Implicit Parameters: Dynamic Scoping with Static Types.

Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark Shields

Proceedings of the POPL 2000, 2000

Recursive monadic bindings.

Levent Erkök, John Launchbury

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

1999

On Embedding a Microarchitectural Design Language within Haskell.

John Launchbury, Jeffrey R. Lewis, Byron Cook

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

Formal Verification of Explicitly Parallel Microprocessors.

Byron Cook, John Launchbury, John Matthews, Richard B. Kieburtz

Proceedings of the Correct Hardware Design and Verification Methods, 1999

Elementary Microarchitecture Algebra.

John Matthews, John Launchbury

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

Bridging the Gulf: A Common Intermediate Language for ML and Haskell.

Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach

Proceedings of the POPL '98, 1998

Microprocessor Specification in Hawk.

John Matthews, Byron Cook, John Launchbury

Proceedings of the 1998 International Conference on Computer Languages, 1998

1997

Monadic State: Axiomatization and Type Safety.

John Launchbury, Amr Sabry

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

Disposable Memo Functions (Extended Abstract).

Byron Cook, John Launchbury

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

1996

Representing Demand by Partial Projections.

John Launchbury, Gebreselassie Baraki

J. Funct. Program., 1996

Parametricity and Unboxing with Unpointed Types.

John Launchbury, Ross Paterson

Proceedings of the Programming Languages and Systems, 1996

1995

State in Haskell.

John Launchbury, Simon L. Peyton Jones

LISP Symb. Comput., 1995

Structuring Depth-First Search Algorithms in Haskell.

David J. King, John Launchbury

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Warm Fusion: Deriving Build-Cata's from Recursive Definitions.

John Launchbury, Tim Sheard

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

Graph Algorithms with a Functional Flavous.

John Launchbury

Proceedings of the Advanced Functional Programming, 1995

1994

Reversing Abstract Interpretations.

John Hughes, John Launchbury

Sci. Comput. Program., 1994

Lazy Functional State Threads.

John Launchbury, Simon L. Peyton Jones

Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994

Lazy Funtional State Threads: An Abstract.

John Launchbury, Simon L. Peyton Jones

Proceedings of the Logic Programming, 1994

1993

How to Give a Good Research Talk.

Simon L. Peyton Jones, John Hughes, John Launchbury

ACM SIGPLAN Notices, 1993

A Natural Semantics for Lazy Evaluation.

John Launchbury

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

A Short Cut to Deforestation.

Andrew John Gill, John Launchbury, Simon L. Peyton Jones

Proceedings of the conference on Functional programming languages and computer architecture, 1993

Functional Graph Algorithms with Depth-First Search (Preliminary Summary).

David J. King, John Launchbury

Proceedings of the 1993 Glasgow Workshop on Functional Programming, 1993

1992

Projections for Polymorphic First-Order Strictness Analysis.

John Hughes, John Launchbury

Math. Struct. Comput. Sci., 1992

Relational Reversal of Abstract Interpretation.

John Hughes, John Launchbury

J. Log. Comput., 1992

Avoiding Unnecessary Updates.

John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler

Proceedings of the Functional Programming, 1992

1991

Strictness and Binding-Time Analyses: Two for the Price of One.

John Launchbury

Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991

A Strongly-Typed Self-Applicable Partial Evaluator.

John Launchbury

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

Unboxed Values as First Class Citizens in a Non-Strict Functional Language.

Simon L. Peyton Jones, John Launchbury

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

Implementing Projection-based Strictness Analysis.

Ryszard Kubiak, John Hughes, John Launchbury

Proceedings of the Functional Programming, 1991

1990

Strictness Analysis Aids Inductive Proofs.

John Launchbury

Inf. Process. Lett., 1990

Towards Relating Forwards and Backwards Analyses.

John Hughes, John Launchbury

Proceedings of the 1990 Glasgow Workshop on Functional Programming, 1990

1989

Projection factorisations in partial evaluation.

John Launchbury

PhD thesis, 1989

Constructing Natural Language Interpreters in a Lazy Functional Language.

R. Frost, John Launchbury

Comput. J., 1989

Dependent Sums Express Separation of Binding Times.

John Launchbury

Proceedings of the Functional Programming, 1989

1987

Implementing Functional Databases.

Guy Argo, John Hughes, Philip W. Trinder, Jon Fairbairn, John Launchbury

Proceedings of the Advances in Database Programming Languages, 1987