Manuel Fahndrich

Cited by

	All	Since 2016
Citations	7480	1703
h-index	45	24
i10-index	80	48

520

260

130

390

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120 33 41 90 115 142 210 279 328 345 404 419 451 434 461 425 469 515 415 388 381 325 311 279 19

Co-authors

Alex AikenProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Nikolai TillmannSoftware EngineerVerified email at fb.com
James R LarusProfessor and Dean, EPFLVerified email at larusstone.org
Robert DeLinePrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Galen C. HuntPrincipal Reseacher, Microsoft ResearchVerified email at microsoft.com
Wolfram SchultePrincipal researcher, Microsoft CorporationVerified email at microsoft.com
Jeffrey S. FosterComputer Science, Tufts UniversityVerified email at cs.tufts.edu
Orion HodsonGoogleVerified email at hodsonhub.org
Zhendong SuProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
Sean McDirmidGoogleVerified email at google.com
Jun KatoSenior Researcher, National Institute of Advanced Industrial Science and Technology (AIST)Verified email at aist.go.jp
Xusheng XiaoAssistant Professor, Case Western Reserve UniversityVerified email at case.edu
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Michael CarbinMassachusetts Institute of TechnologyVerified email at csail.mit.edu
Peter MüllerETH ZurichVerified email at inf.ethz.ch
Patrick CousotProfessor of Computer Science, CIMS, New York UniversityVerified email at cims.nyu.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 BouazizNomadic LabsVerified email at nomadic-labs.com

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	547	2001
Verification of Object-Oriented Programs with Invariants. M Barnett, R DeLine, M Fähndrich, KRM Leino, W Schulte J. Object Technol. 3 (6), 27-56, 2004	425	2004
A theory of type qualifiers JS Foster, M Fähndrich, A Aiken ACM SIGPLAN Notices 34 (5), 192-203, 1999	372	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	357	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	349	2002
Typestates for objects R DeLine, M Fähndrich European Conference on Object-Oriented Programming, 465-490, 2004	290	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	266	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	245	2003
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	209	2005
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	191	2011
Static contract checking with abstract interpretation M Fähndrich, F Logozzo International conference on formal verification of object-oriented software …, 2010	171	2010
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	170	2000
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	156	1995
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	136	2011
Righting software JR Larus, T Ball, M Das, R DeLine, M Fahndrich, J Pincus, SK Rajamani, ... IEEE software 21 (3), 92-100, 2004	135	2004
Type-base flow analysis: from polymorphic subtyping to CFL-reachability J Rehof, M Fähndrich ACM SIGPLAN Notices 36 (3), 54-66, 2001	134	2001
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	133	2010
Polymorphic versus monomorphic flow-insensitive points-to analysis for C JS Foster, M Fähndrich, A Aiken International Static Analysis Symposium, 175-198, 2000	122	2000
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses F Logozzo, M Fähndrich Science of Computer Programming 75 (9), 796-807, 2010	120	2010
Embedded contract languages M Fähndrich, M Barnett, F Logozzo Proceedings of the 2010 ACM Symposium on Applied Computing, 2103-2110, 2010	112	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

Upload PDF

Follow this author

Cited by

Co-authors