John Launchbury

54 papers A* 9A 16B 3C 5Journal 9Unranked 10

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