World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
42
Citations
7956
World Ranking
8341
National Ranking
108

Overview

Olivier Danvy is affiliated with the National University of Singapore in Singapore. Their research primarily falls within the field of Computer Science, with a focus on several subfields including Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications, and Hardware and Architecture.

Their main topics of scholarly work cover the following areas:

  • Logic, programming, and type systems
  • Computability, Logic, AI Algorithms
  • Logic, Reasoning, and Knowledge
  • Formal Methods in Verification
  • Distributed and Parallel Computing Systems
  • Distributed systems and fault tolerance
  • Parallel Computing and Optimization Techniques

Olivier Danvy has published research in several venues, with notable frequent publications including:

  • Journal of Functional Programming
  • arXiv (Cornell University)
  • Fundamenta Informaticae
  • ACM Transactions on Programming Languages and Systems
  • Electronic Proceedings in Theoretical Computer Science

Recent papers authored by Danvy are as follows:

  • "Folding left and right matters: Direct style, accumulators, and continuations," 2023, Journal of Functional Programming
  • "Getting There and Back Again," 2022, Fundamenta Informaticae
  • "Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant," 2022, Journal of Functional Programming
  • "The Tortoise and the Hare Algorithm for Finite Lists, Compositionally," 2022, ACM Transactions on Programming Languages and Systems
  • "Getting There and Back Again," 2022, arXiv (Cornell University)

Frequent collaborators in their research work include Jean-Christophe Filliâtre and Andrei Paskevich.

Best Publications

  • Revised4 report on the algorithmic language scheme

    H. Abelson;R. K. Dybvig;C. T. Haynes;G. J. Rozas

  • Abstracting control

    Olivier Danvy;Andrzej Filinski

  • Tutorial notes on partial evaluation

    Charles Consel;Olivier Danvy

  • Representing Control: a Study of the CPS Transformation

    Olivier Danvy;Andrzej Filinski

  • Type-Directed Partial Evaluation

    Olivier Danvy

  • A functional correspondence between evaluators and abstract machines

    Mads Sig Ager;Dariusz Biernacki;Olivier Danvy;Jan Midtgaard

  • Defunctionalization at work

    Olivier Danvy;Lasse R. Nielsen

  • Automatic autoprojection of recursive equations with global variable and abstract data types

    Anders Bondorf;Olivier Danvy

  • Type-directed partial evaluation

    Olivier Danvy

  • A Functional Correspondence between Evaluators and Abstract Machines

    Mads Stig Ager;Dariusz Biernacki;Olivier Danvy;Jan Midtgaard

  • A generic account of continuation-passing styles

    John Hatcliff;Olivier Danvy

  • Refocusing in Reduction Semantics

    Olivier Danvy;Lasse R. Nielsen

  • Partial evaluation of pattern matching in strings

    Charles Consel;Olivier Danvy

  • For a better support of static data flow

    Charles Consel;Olivier Danvy

  • Continuation-based partial evaluation

    Julia L. Lawall;Olivier Danvy

  • Back to direct style

    Olivier Danvy

  • Static and dynamic semantics processing

    Charles Consel;Olivier Danvy

  • Back to direct style II: first-class continuations

    Olivier Danvy;Julia L. Lawall

  • A functional correspondence between monadic evaluators and abstract machines for languages with computational effects

    Mads Sig Ager;Olivier Danvy;Jan Midtgaard

  • Functional unparsing

    Olivier Danvy

  • A self-applicable partial evaluator for the lambda calculus

    N.D. Jones;C.K. Gomard;A. Bondorf;O. Danvy

  • Abstracting abstract machines: technical perspective

    Olivier Danvy;Jan Midtgaard

Frequent Co-Authors

Charles Consel
Charles Consel Institut Polytechnique de Bordeaux
John Hatcliff
John Hatcliff Kansas State University
Jens Palsberg
Jens Palsberg University of California, Los Angeles
Julia Lawall
Julia Lawall French Institute for Research in Computer Science and Automation - INRIA
Frank Pfenning
Frank Pfenning Carnegie Mellon University
José Meseguer
José Meseguer University of Illinois at Urbana-Champaign
Gul Agha
Gul Agha University of Illinois at Urbana-Champaign
Anindya Banerjee
Anindya Banerjee Dartmouth College
Benjamin C. Pierce
Benjamin C. Pierce University of Pennsylvania
Neil D. Jones
Neil D. Jones University of Copenhagen

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring different online degree options can help you find the best fit for your career goals and budget. Many students considering Computer Science are also interested in other in-demand fields, such as criminal justice, accounting, data science, and construction management.

When choosing a degree, cost is a major consideration. If you’re interested in the legal and justice system, it’s important to investigate the cost of criminal justice degree programs online. For those who want a business or finance background, there are a range of affordable accounting classes online to build your skills.

Data science is an excellent complement to computer science studies, and you can save time and money by searching for the cheapest online data science masters programs. If you are interested in project management or the construction industry, an accelerated construction management degree program may be the best choice to quickly enter the workforce.

Researching related online degrees can open new doors and help you determine the most practical and affordable path to your future career.

Best Scientists Citing Olivier Danvy

Trending Scientists

Recently Published Articles