Manuel Fahndrich

Cited by

	All	Since 2020
Citations	8744	1459
h-index	48	22
i10-index	83	41

540

270

135

405

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202538 46 83 131 163 214 288 315 348 414 438 445 435 461 417 478 531 414 379 397 317 320 308 328 255 297 255 16

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	577	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	466	2004
A theory of type qualifiers JS Foster, M Fähndrich, A Aiken ACM Sigplan Notices 34 (5), 192-203, 1999	425	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	391	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	373	2002
Typestates for objects R DeLine, M Fähndrich European Conference on Object-Oriented Programming, 465-490, 2004	314	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	286	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	266	2003
Scaling static analyses at Facebook D Distefano, M Fähndrich, F Logozzo, PW O'Hearn Communications of the ACM 62 (8), 62-70, 2019	248	2019
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	239	2011
Static contract checking with abstract interpretation M Fähndrich, F Logozzo International conference on formal verification of object-oriented software …, 2010	226	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	216	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	166	2001
Righting software JR Larus, T Ball, M Das, R DeLine, M Fahndrich, J Pincus, SK Rajamani, ... IEEE software 21 (3), 92-100, 2004	159	2004
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	156	2008
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
It's alive! continuous feedback in UI programming S Burckhardt, M Fahndrich, P De Halleux, S McDirmid, M Moskal, ... Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013	135	2013

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