Manuel Fahndrich

Cited by

	All	Since 2016
Citations	7587	1795
h-index	46	25
i10-index	82	48

520

260

130

390

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202121 34 41 90 115 148 212 277 329 345 405 420 451 435 461 424 470 517 414 389 385 325 316 283 96

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
James R LarusProfessor and Dean, EPFLVerified email at larusstone.org
Nikolai TillmannSoftware EngineerVerified email at fb.com
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
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
Xusheng XiaoAssistant Professor, Case Western Reserve UniversityVerified email at case.edu
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	550	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	431	2004
A theory of type qualifiers JS Foster, M Fähndrich, A Aiken ACM SIGPLAN Notices 34 (5), 192-203, 1999	373	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	361	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	353	2002
Typestates for objects R DeLine, M Fähndrich European Conference on Object-Oriented Programming, 465-490, 2004	294	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	267	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	246	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	193	2011
Static contract checking with abstract interpretation M Fähndrich, F Logozzo International conference on formal verification of object-oriented software …, 2010	181	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	171	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	160	1995
Righting software JR Larus, T Ball, M Das, R DeLine, M Fahndrich, J Pincus, SK Rajamani, ... IEEE software 21 (3), 92-100, 2004	138	2004
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	137	2011
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	135	2010
Type-base flow analysis: from polymorphic subtyping to CFL-reachability J Rehof, M Fähndrich ACM SIGPLAN Notices 36 (3), 54-66, 2001	135	2001
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	123	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	123	2000
Embedded contract languages M Fähndrich, M Barnett, F Logozzo Proceedings of the 2010 ACM Symposium on Applied Computing, 2103-2110, 2010	114	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