| Enforcing high-level protocols in low-level software R DeLine, M Fähndrich Proceedings of the ACM SIGPLAN 2001 conference on Programming language …, 2001 | 576 | 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 | 462 | 2004 |
| A theory of type qualifiers JS Foster, M Fähndrich, A Aiken ACM Sigplan Notices 34 (5), 192-203, 1999 | 423 | 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 | 387 | 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 | 285 | 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 |
| Scaling static analyses at Facebook D Distefano, M Fähndrich, F Logozzo, PW O'Hearn Communications of the ACM 62 (8), 62-70, 2019 | 242 | 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 | 238 | 2011 |
| Static contract checking with abstract interpretation M Fähndrich, F Logozzo International conference on formal verification of object-oriented software …, 2010 | 225 | 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 | 160 | 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 | 153 | 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 |
| Embedded contract languages M Fähndrich, M Barnett, F Logozzo Proceedings of the 2010 ACM Symposium on Applied Computing, 2103-2110, 2010 | 134 | 2010 |
Alex AikenProfessor of Computer Science, Stanford University確認したメール アドレス: cs.stanford.edu
