Manuel Fahndrich

Cited by

	All	Since 2019
Citations	8648	1697
h-index	48	24
i10-index	83	44

540

270

135

405

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202437 47 83 131 163 214 288 313 347 414 438 444 431 461 418 476 531 415 380 396 314 322 310 324 259 290 191

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Alex AikenProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Nikolai TillmannMetaVerified email at fb.com
James R LarusProfessor Emeritus, EPFLVerified email at larusstone.org
Wolfram SchultePrincipal researcher, Microsoft CorporationVerified email at microsoft.com
Robert DeLinePrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Galen C. HuntDistinguished Engineer, MicrosoftVerified email at microsoft.com
Jeffrey S. FosterComputer Science, Tufts UniversityVerified email at tufts.edu
Orion HodsonGoogleVerified email at hodsonhub.org
Zhendong SuProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Sean McDirmidGoogleVerified email at google.com
Jun KatoSenior Researcher, National Institute of Advanced Industrial Science and Technology (AIST)Verified email at aist.go.jp
Peter MüllerETH ZurichVerified email at inf.ethz.ch
Xusheng XiaoAssociate Professor, Arizona State UniversityVerified email at asu.edu
Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityVerified email at cims.nyu.edu
Michael CarbinMassachusetts Institute of TechnologyVerified email at csail.mit.edu
Diego GarbervetskyDepartment of Computer Science, Universidad de Buenos Aires. ICC-CONICETVerified email at dc.uba.ar
Thomas BallMicrosoft ResearchVerified email at microsoft.com
Mooly SagivTel Aviv UniversityVerified email at acm.org
Mehdi BouazizSkipLabsVerified email at skiplabs.io

Manuel Fahndrich

Software Engineer, Google, previously Researcher, Microsoft Research

Verified email at fahndrich.com

Static Analysis Programming Languages Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Enforcing high-level protocols in low-level software R DeLine, M Fähndrich Proceedings of the ACM SIGPLAN 2001 conference on Programming language …, 2001	574	2001
Verification of object-oriented programs with invariants M Barnett, R DeLine, M Fähndrich, KRM Leino, W Schulte Journal of Object Technology 3 (6), 27-56, 2004	461	2004
A theory of type qualifiers JS Foster, M Fähndrich, A Aiken ACM Sigplan Notices 34 (5), 192-203, 1999	420	1999
Language support for fast and reliable message-based communication in Singularity OS M Fähndrich, M Aiken, C Hawblitzel, O Hodson, G Hunt, JR Larus, S Levi Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer …, 2006	386	2006
Adoption and focus: Practical linear types for imperative programming M Fahndrich, R DeLine Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002	369	2002
Typestates for objects R DeLine, M Fähndrich European Conference on Object-Oriented Programming, 465-490, 2004	312	2004
Partial online cycle elimination in inclusion constraint graphs M Fähndrich, JS Foster, Z Su, A Aiken Proceedings of the ACM SIGPLAN 1998 conference on Programming language …, 1998	283	1998
Declaring and checking non-null types in an object-oriented language M Fähndrich, KRM Leino Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented …, 2003	265	2003
Specification and verification: the Spec# experience M Barnett, M Fähndrich, KRM Leino, P Müller, W Schulte, H Venter Communications of the ACM 54 (6), 81-91, 2011	237	2011
Scaling static analyses at Facebook D Distefano, M Fähndrich, F Logozzo, PW O'Hearn Communications of the ACM 62 (8), 62-70, 2019	231	2019
Static contract checking with abstract interpretation M Fähndrich, F Logozzo International conference on formal verification of object-oriented software …, 2010	224	2010
An overview of the Singularity project G Hunt, JR Larus, M Abadi, M Aiken, P Barham, M Fahndrich, ... Technical Report MSR-TR-2005-135, Microsoft Research, 2005	215	2005
Better static memory management: Improving region-based analysis of higher-order languages A Aiken, M Fähndrich, R Levien Proceedings of the ACM SIGPLAN 1995 conference on Programming language …, 1995	184	1995
Scalable context-sensitive flow analysis using instantiation constraints M Fähndrich, J Rehof, M Das Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000	174	2000
Type-base flow analysis: from polymorphic subtyping to CFL-reachability J Rehof, M Fähndrich ACM SIGPLAN Notices 36 (3), 54-66, 2001	165	2001
Righting software JR Larus, T Ball, M Das, R DeLine, M Fahndrich, J Pincus, SK Rajamani, ... IEEE software 21 (3), 92-100, 2004	160	2004
SPUR: a trace-based JIT compiler for CIL M Bebenita, F Brandner, M Fahndrich, F Logozzo, W Schulte, N Tillmann, ... Proceedings of the ACM international conference on Object oriented …, 2010	152	2010
Touchdevelop: Programming cloud-connected mobile devices via touchscreen N Tillmann, M Moskal, J De Halleux, M Fahndrich Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and …, 2011	149	2011
Pentagons: A weakly relational abstract domain for the efficient validation of array accesses F Logozzo, M Fähndrich Proceedings of the 2008 ACM symposium on Applied computing, 184-188, 2008	149	2008
Embedded contract languages M Fähndrich, M Barnett, F Logozzo Proceedings of the 2010 ACM Symposium on Applied Computing, 2103-2110, 2010	132	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors