John Launchbury

Q: What Schools Are Affiliated With John Launchbury

John Launchbury is affiliated with the following schools: Willamette University, University of Maryland, College Park, University of Oxford, University of Glasgow

John Launchbury's AcademicInfluence.com Rankings

John Launchbury

Computer Science

#2513

World Rank

#2624

Historical Rank

Database

#8624

World Rank

#9039

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is John Launchbury Influential?

(Suggest an Edit or Addition)

According to Wikipedia, John Launchbury is an American and British computer scientist who is currently Chief Scientist at Galois, Inc. Previously, he directed one of DARPA’s technical offices, where he oversaw nation-scale scientific and engineering research in cybersecurity, data analysis, and artificial intelligence. He is known for research and entrepreneurship in the implementation and application of functional programming languages. In 2010, Launchbury was inducted as a Fellow of the Association for Computing Machinery.

(See a Problem?)

John Launchbury's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

A short cut to deforestation (1993) (474)
A natural semantics for lazy evaluation (1993) (412)
Lazy functional state threads (1994) (267)
Unboxed Values as First Class Citizens in a Non-Strict Functional Language (1991) (214)
State in Haskell (1995) (210)
Implicit parameters: dynamic scoping with static types (2000) (155)
Warm fusion: deriving build-catas from recursive definitions (1995) (129)
Projection factorisations in partial evaluation (1991) (100)
Microprocessor specification in Hawk (1998) (95)
Constructing Natural Language Interpreters in a Lazy Functional Language (1989) (69)
Unboxed values as first class citizens (1991) (67)
Structuring depth-first search algorithms in Haskell (1995) (66)
On embedding a microarchitectural design language within Haskell (1999) (64)
Recursive monadic bindings (2000) (53)
Monadic state: axiomatization and type safety (1997) (50)
Parametricity and Unboxing with Unpointed Types (1996) (46)
Efficient lookup-table protocol in secure multiparty computation (2012) (45)
A Strongly-Typed Self-Applicable Partial Evaluator (1991) (45)
The HACMS program: using formal methods to eliminate exploitable bugs (2017) (36)
Guilt free ivory (2015) (33)
Bridging the gulf: a common intermediate language for ML and Haskell (1998) (31)
A recursive do for Haskell (2002) (31)
Building embedded systems with embedded DSLs (2014) (30)
Application-Scale Secure Multiparty Computation (2014) (29)
Reversing Abstract Interpretations (1992) (29)
Specifying superscalar microprocessors in Hawk (1998) (29)
Elementary Microarchitecture Algebra (1999) (27)
Avoiding Unnecessary Updates (1992) (27)
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2002) (27)
Categories of Processes Enriched in Final Coalgebras (2001) (24)
Value recursion in monadic computations (2002) (22)
Implementing Functional Databases (1990) (20)
Strictness and binding-time analyses: two for the price of one (1991) (19)
Graph Algorithms with a Functional Flavous (1995) (19)
Advanced Functional Programming (1996) (15)
Lazy Imperative (1993) (15)
Algebraic specification and verification of processor microarchitectures (2000) (14)
Don't Configure the Network, Program It! Domain-Specific Programming Languages for Network Systems (2010) (13)
Lazy Depth-First Search and Linear Graph Algorithms in Haskell (1994) (12)
Implementing Projection-based Strictness Analysis (1991) (11)
Dependent Sums Express Separation of Binding Times (1989) (11)
Functional Programming, Glasgow 1992 (1993) (11)
Programming languages for high-assurance autonomous vehicles: extended abstract (2014) (11)
Modularity in the new millenium: a panel summary (2003) (10)
Disposable Memo Functions (1997) (10)
Towards Relating Forwards and Backwards Analyses (1990) (9)
Projections for polymorphic first-order strictness analysis (1992) (9)
Semantics of value recursion for Monadic Input/Output (2002) (9)
Disposable memo functions (extended abstract) (1997) (8)
A Correctness Proof of a Speculative, Superscalar, Out-of-Order, Renaming Microarchitecture (1998) (7)
Innovation at DARPA (2016) (7)
Static types for dynamic documents (2001) (7)
Semantics of fixIO (2001) (6)
Functional Graph Algorithms with Depth-First Search (Preliminary Summary) (1993) (6)
Advanced Functional Programming, Second International School-Tutorial Text (1996) (6)
Zip Fusion with Hyperfunctions (2000) (6)
Relational Reversal of Abstract Interpretation (1992) (5)
Representing demand by partial projections (1996) (5)
A Recursive do for Haskell: Design And Implementation (2000) (5)
Building Embedded Systems with Embedded DSLs ( Experience Report ) (2014) (5)
Concurrent orchestration in Haskell (2010) (5)
Recursive Monadic Bindings: Technical Development and Details (2000) (4)
How to give a good research talk (1993) (3)
Proceedings of the 1992 Glasgow Workshop on Functional Programming (1992) (3)
Building embedded systems with embedded DSLs (2014) (3)
Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Language (1997) (3)
Elementary Microarchitecture Algebra: Top-Level Proof of PipelinedMicroarchitecture (1999) (3)
Practical Aspects of Declarative Languages : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings (2011) (3)
Formal Verification of Explicitly Parallel Microprocessors (1999) (2)
Practical Aspects of Declarative Languages (2011) (2)
Galois: high assurance software (2004) (2)
Projection Factorisations in Partial Evaluation: Partial Evaluation in Principle (1991) (2)
Advanced Functional Programming: Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text (1996) (1)
A Game-Based Architecture for Developing Interactive Components in Computational Logic (2000) (1)
Theorem-based circuit derivation in cryptol (2011) (1)
Projection Factorisations in Partial Evaluation: Binding-Time Analysis (1991) (1)
Proceedings of the 13th international conference on Practical aspects of declarative languages (2011) (1)
Initial Suite of Small Language Definitions and Implementations for DSDL (1998) (1)
Characterization of concurrent ovarian and endometrial carcinoma by copy-number analysis (CNA) and gene expression profiling (GEP) (2007) (1)
Projection Factorisations in Partial Evaluation: Static Projections (1991) (1)
A Query Algebra for Object-oriented Databases. Technical Report Acknowledgements 4.4 Function Overloading 3.3 Combining Object Orientation and Functional Programming 4 Conceptual Notions of Designer 2 Theoretical Foundations 3 Requirements of a New Programming Paradigm a New Programming Paradigm for (1994) (1)
Cross-domain WebDAV server (2007) (1)
Trust Relationship Modeling for Software Assurance (2010) (0)
{51 () State in Haskell (0)
Lazy functional state threads (abstract) (1994) (0)
Towards Algebras of Encapsulated (1997) (0)
The Journal of Functional and Logic Programming the Journal of Functional and Logic Programming a Declarative Debugging Scheme (1997) (0)
Implementation of PEL (1991) (0)
Projection Factorisations in Partial Evaluation: Implementation (1991) (0)
Language Definition DSDL for Hawk (1998) (0)
Encapsulated Eeects (1995) (0)
An introduction to functional programming through lambda calculus (1991) (0)
Coroutining Folds with Hyperfunctions (2013) (0)
Program Transformation Techniques in Program Generation (2000) (0)
Industrial Functional Programming (2008) (0)
Cyber Security: A {DARPA} Perspective (2017) (0)
Functional Programming, Glasgow 1992: Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 (1993) (0)
Implementation of Specialisation (1991) (0)
Strictness Analysis Aids Inductive Proofs (1990) (0)
Evaluation of Core Technology (2000) (0)
Top-level Reenement in Processor Veriication (1998) (0)
Modularity in the New Mihenium: a Panel Summary (2003) (0)
Top-level Re nement in Processor Veri cationSava (2007) (0)
Implementation of BTA (1991) (0)
Run Time Arguments (1991) (0)
Projection Factorisations in Partial Evaluation: Polymorphism (1991) (0)
Lazy Funtional State Threads: An Abstract (1994) (0)
The Journal of Functional and Logic Programming the Journal of Functional and Logic Programming Compile-time Pointer Reversal (1996) (0)
Partial Evaluation in Practice (1991) (0)

This paper list is powered by the following services:

Other Resources About John Launchbury

en.wikipedia.org

What Schools Are Affiliated With John Launchbury?

John Launchbury is affiliated with the following schools:

John Launchbury's Academic­Influence.com Rankings