H-Index & Metrics Best Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 44 Citations 7,542 92 World Ranking 3793 National Ranking 1943

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Compiler

Manuel Fähndrich mainly investigates Programming language, Programmer, Theoretical computer science, Software and Compiler. His Region-based memory management research extends to Programming language, which is thematically connected. His Programmer research incorporates elements of Multimedia, Touchscreen, Mobile device and Structured programming.

His research integrates issues of Algorithm, Type inference, Register allocation and Software pipelining in his study of Theoretical computer science. His studies deal with areas such as Distributed computing and Kernel as well as Software. Manuel Fähndrich has researched Compiler in several fields, including Floating point, Loop invariant, Integer, Abstract interpretation and Predicate transformer semantics.

His most cited work include:

  • Enforcing high-level protocols in low-level software (434 citations)
  • Verification of object-oriented programs with invariants (293 citations)
  • Language support for fast and reliable message-based communication in singularity OS (275 citations)

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

Manuel Fähndrich mostly deals with Programming language, Theoretical computer science, Software, Program analysis and Compiler. His work investigates the relationship between Programming language and topics such as Code that intersect with problems in State. His Theoretical computer science research is multidisciplinary, incorporating elements of Algorithm, Aliasing, Scalability and Static analysis.

His Software study integrates concerns from other disciplines, such as Process, Metadata and Software engineering. His work focuses on many connections between Program analysis and other disciplines, such as Functional programming, that overlap with his field of interest in Abstract syntax tree. The study incorporates disciplines such as Correctness, Software development and Programmer in addition to Compiler.

He most often published in these fields:

  • Programming language (43.93%)
  • Theoretical computer science (21.50%)
  • Software (13.08%)

What were the highlights of his more recent work (between 2011-2017)?

  • Mobile device (12.15%)
  • Programming language (43.93%)
  • Multimedia (7.48%)

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

Manuel Fähndrich mainly focuses on Mobile device, Programming language, Multimedia, Cloud computing and Human–computer interaction. He has researched Mobile device in several fields, including Masking, Touchscreen, Distributed computing and Reference model. His research links Code with Programming language.

He focuses mostly in the field of Code, narrowing it down to topics relating to Theoretical computer science and, in certain cases, Static analysis, State and Correctness. His Human–computer interaction research incorporates elements of Mobile technology, Mobile Web, High-level programming language and Artifact. The various areas that Manuel Fähndrich examines in his Abstract interpretation study include Calculus and Programmer.

Between 2011 and 2017, his most popular works were:

  • Cloud types for eventual consistency (81 citations)
  • Eventually consistent transactions (73 citations)
  • The future of teaching programming is on mobile devices (52 citations)

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

  • Programming language
  • Operating system
  • Compiler

The scientist’s investigation covers issues in Distributed computing, Mobile device, Eventual consistency, Cloud computing and Theoretical computer science. His Distributed computing research is multidisciplinary, relying on both Data model, Masking, Asynchronous communication and Reference model. His Mobile device research incorporates themes from Multimedia and Touchscreen, Human–computer interaction.

His research investigates the connection with Cloud computing and areas like Server which intersect with concerns in Protocol. His Theoretical computer science research includes themes of Correctness and Code. Manuel Fähndrich performs multidisciplinary study on Modulo and Programming language in his works.

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

Enforcing high-level protocols in low-level software

Robert DeLine;Manuel Fähndrich.
programming language design and implementation (2001)

563 Citations

Verification of object-oriented programs with invariants

Michael Barnett;Robert DeLine;Manuel Fähndrich;K. Rustan M. Leino.
The Journal of Object Technology (2004)

441 Citations

A theory of type qualifiers

Jeffrey S. Foster;Manuel Fähndrich;Alexander Aiken.
programming language design and implementation (1999)

367 Citations

Adoption and focus: practical linear types for imperative programming

Manuel Fahndrich;Robert DeLine.
programming language design and implementation (2002)

361 Citations

Language support for fast and reliable message-based communication in singularity OS

Manuel Fähndrich;Mark Aiken;Chris Hawblitzel;Orion Hodson.
european conference on computer systems (2006)

360 Citations

Typestates for Objects

Robert DeLine;Manuel Fähndrich.
european conference on object-oriented programming (2004)

300 Citations

Partial online cycle elimination in inclusion constraint graphs

Manuel Fähndrich;Jeffrey S. Foster;Zhendong Su;Alexander Aiken.
programming language design and implementation (1998)

268 Citations

Declaring and checking non-null types in an object-oriented language

Manuel Fähndrich;K. Rustan M. Leino.
conference on object oriented programming systems languages and applications (2003)

254 Citations

An Overview of the Singularity Project

Galen Hunt;James Larus;Martín Abadi;Mark Aiken.
ACM Transactions on Storage (2005)

215 Citations

Specification and verification: the Spec# experience

Mike Barnett;Manuel Fähndrich;K. Rustan M. Leino;Peter Müller.
Communications of The ACM (2011)

199 Citations

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

Contact us

Best Scientists Citing Manuel Fähndrich

Jonathan Aldrich

Jonathan Aldrich

Carnegie Mellon University

Publications: 56

Peter Müller

Peter Müller

ETH Zurich

Publications: 47

K. Rustan M. Leino

K. Rustan M. Leino

Amazon Web Services

Publications: 45

Martin Rinard

Martin Rinard

MIT

Publications: 44

Alex Aiken

Alex Aiken

Stanford University

Publications: 37

Viktor Kuncak

Viktor Kuncak

École Polytechnique Fédérale de Lausanne

Publications: 36

Frank Piessens

Frank Piessens

KU Leuven

Publications: 31

Michael D. Ernst

Michael D. Ernst

University of Washington

Publications: 26

Bart Jacobs

Bart Jacobs

Radboud University Nijmegen

Publications: 25

Gary T. Leavens

Gary T. Leavens

University of Central Florida

Publications: 24

Vikram Adve

Vikram Adve

University of Illinois at Urbana-Champaign

Publications: 23

Nikolai Tillmann

Nikolai Tillmann

Facebook (United States)

Publications: 22

Wolfram Schulte

Wolfram Schulte

Microsoft (United States)

Publications: 22

Jeffrey S. Foster

Jeffrey S. Foster

Tufts University

Publications: 21

Atanas Rountev

Atanas Rountev

The Ohio State University

Publications: 21

Sriram K. Rajamani

Sriram K. Rajamani

Microsoft (United States)

Publications: 20

Something went wrong. Please try again later.