Concepedia

Author

Manuel Fähndrich

Microsoft (United States)

Also Known As

Fahndrich, Manuel, Fähndrich, Manuel, M. Fahndrich, MANUEL FÄHNDRICH, Manuel A. Fähndrich, Manuel Fahndrich, Manuel Fähndrich, Manuel Fähndrich

120

Publications

6.1K

Citations

42

H-Index

90

Concepts

All Affiliations

Microsoft (United States)University of California, BerkeleyMicrosoft Research (United Kingdom)
MF

About

Manuel Fähndrich is an author at Microsoft (United States) specializing in engineering, computer science, and software analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

29

49

4K

2

Business

2

2

167

3

Education

2

2

87

4

Medicine

2

2

313

5

Language Studies

1

1

187

Manuel Fähndrich

×

60

Publications

4.8K

Citations

33

H-Index

YearCitations

Enforcing high-level protocols in low-level software

Robert DeLine, Manuel Fähndrich

2001

481

Verification of Object-Oriented Programs with Invariants.

Mike Barnett, Robert DeLine, Manuel Fähndrich,

The Journal of Object Technology

2004

326

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

Manuel Fähndrich, Mark Aiken, Chris Hawblitzel,

2006

287

Adoption and focus

Manuel Fähndrich, Robert DeLine

2002

285

A theory of type qualifiers

Jeffrey S. Foster, Manuel Fähndrich, Alex Aiken

1999

263

Partial online cycle elimination in inclusion constraint graphs

Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su,

1998

216

Scaling static analyses at Facebook

Dino Distefano, Manuel Fähndrich, Francesco Logozzo,

Communications of the ACM

2019

193

Specification and verification

Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino,

Communications of the ACM

2011

187

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

Manuel Fähndrich, K. Rustan M. Leino

2003

183

An Overview of the Singularity Project

Galen Hunt, James R. Larus, Martı́n Abadi,

2005

139

Page 1