D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 35 Citations 5,766 123 World Ranking 5935 National Ranking 80

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Algebra
  • Functional programming

Olivier Danvy mainly focuses on Programming language, Partial evaluation, Theoretical computer science, Transformation and Continuation. Programming language is closely attributed to Representation in his research. His Partial evaluation research incorporates elements of Algorithm, Compiler, Galois connection and Programmer.

His work in the fields of Theoretical computer science, such as Abstract interpretation, overlaps with other areas such as Iterated function. His Transformation research includes themes of Continuation-passing style, Virtual machine, Closure, A-normal form and Scheme. His Continuation research incorporates themes from Coroutine, Rewriting, Calculus and Metalanguage.

His most cited work include:

  • Abstracting control (323 citations)
  • Representing Control: a Study of the CPS Transformation (280 citations)
  • Tutorial notes on partial evaluation (277 citations)

What are the main themes of his work throughout his whole career to date?

His primary areas of investigation include Programming language, Partial evaluation, Algorithm, Abstract machine and Theoretical computer science. His works in Continuation, Semantics, Operational semantics, Functional programming and Compiler are all subjects of inquiry into Programming language. His research in Partial evaluation intersects with topics in Pattern matching, Abstract syntax, Residual, Code generation and Program transformation.

Olivier Danvy combines subjects such as Transformation, Algebra and String with his study of Algorithm. His work carried out in the field of Abstract machine brings together such families of science as Delimited continuation, Reduction, Interpreter and Evaluation function. His biological study spans a wide range of topics, including Scheme and Denotational semantics.

He most often published in these fields:

  • Programming language (53.42%)
  • Partial evaluation (27.78%)
  • Algorithm (24.36%)

What were the highlights of his more recent work (between 2007-2019)?

  • Programming language (53.42%)
  • Abstract machine (23.08%)
  • Theoretical computer science (20.51%)

In recent papers he was focusing on the following fields of study:

Olivier Danvy spends much of his time researching Programming language, Abstract machine, Theoretical computer science, Semantics and Operational semantics. His research on Programming language frequently connects to adjacent areas such as Operations research. His Abstract machine study incorporates themes from Normalization, Functional programming and Evaluation function.

His Normalization research focuses on Expressive power and how it connects with Partial evaluation. His Graph reduction study, which is part of a larger body of work in Theoretical computer science, is frequently linked to Work, bridging the gap between disciplines. His research integrates issues of Delimited continuation, Monad, Correctness and Transformation in his study of Continuation-passing style.

Between 2007 and 2019, his most popular works were:

  • Defunctionalized interpreters for programming languages (53 citations)
  • From reduction-based to reduction-free normalization (37 citations)
  • On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion (36 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Algebra
  • Functional programming

Olivier Danvy focuses on Abstract machine, Theoretical computer science, Programming language, Functional programming and Operational semantics. His Abstract machine research is classified as research in Algorithm. His Theoretical computer science research integrates issues from Scheme, Semantics and Discrete mathematics.

His work on Programming language is being expanded to include thematically relevant topics such as Relevance. In his study, Formal semantics is strongly linked to Denotational semantics, which falls under the umbrella field of Functional programming. His Operational semantics research is multidisciplinary, incorporating perspectives in Rewriting, Theory of computation, Lazy evaluation and Evaluation strategy.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Abstracting control

Olivier Danvy;Andrzej Filinski.
international conference on functional programming (1990)

484 Citations

Tutorial notes on partial evaluation

Charles Consel;Olivier Danvy.
symposium on principles of programming languages (1993)

457 Citations

Representing Control: a Study of the CPS Transformation

Olivier Danvy;Andrzej Filinski.
Mathematical Structures in Computer Science (1992)

421 Citations

Type-Directed Partial Evaluation

Olivier Danvy.
Lecture Notes in Computer Science (1998)

319 Citations

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

Anders Bondorf;Olivier Danvy.
Science of Computer Programming (1991)

214 Citations

Defunctionalization at work

Olivier Danvy;Lasse R. Nielsen.
principles and practice of declarative programming (2001)

205 Citations

A functional correspondence between evaluators and abstract machines

Mads Stig Ager;Dariusz Biernacki;Olivier Danvy;Jan Midtgaard.
principles and practice of declarative programming (2003)

197 Citations

A generic account of continuation-passing styles

John Hatcliff;Olivier Danvy.
symposium on principles of programming languages (1994)

163 Citations

Refocusing in Reduction Semantics

Olivier Danvy;Lasse R. Nielsen.
BRICS Report Series (2004)

143 Citations

For a better support of static data flow

Charles Consel;Olivier Danvy.
international conference on functional programming (1991)

135 Citations

Best Scientists Citing Olivier Danvy

Charles Consel

Charles Consel

Inria Bordeaux - Sud-Ouest Research Centre

Publications: 29

Neil D. Jones

Neil D. Jones

University of Copenhagen

Publications: 20

Walid Taha

Walid Taha

Halmstad University

Publications: 16

Michael Leuschel

Michael Leuschel

Heinrich Heine University Düsseldorf

Publications: 14

Matthias Felleisen

Matthias Felleisen

Northeastern University

Publications: 14

Tim Sheard

Tim Sheard

Portland State University

Publications: 12

Grigore Rosu

Grigore Rosu

University of Illinois at Urbana-Champaign

Publications: 12

Philip Wadler

Philip Wadler

University of Edinburgh

Publications: 12

Jens Palsberg

Jens Palsberg

University of California, Los Angeles

Publications: 12

Simon Jones

Simon Jones

Microsoft (United States)

Publications: 10

Ralf Hinze

Ralf Hinze

University of Kaiserslautern

Publications: 10

Frank Pfenning

Frank Pfenning

Carnegie Mellon University

Publications: 10

Martin Odersky

Martin Odersky

École Polytechnique Fédérale de Lausanne

Publications: 10

Jonathan Walpole

Jonathan Walpole

Portland State University

Publications: 8

Andrew C. Myers

Andrew C. Myers

Cornell University

Publications: 8

John Hughes

John Hughes

Chalmers University of Technology

Publications: 8

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking d-index is inferred from publications deemed to belong to the considered discipline.

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

Contact us
Something went wrong. Please try again later.