Seuraa
Manuel Fahndrich
Manuel Fahndrich
Software Engineer, Google, previously Researcher, Microsoft Research
Vahvistettu sähköpostiosoite verkkotunnuksessa fahndrich.com
Nimike
Viittaukset
Viittaukset
Vuosi
Enforcing high-level protocols in low-level software
R DeLine, M Fähndrich
Proceedings of the ACM SIGPLAN 2001 conference on Programming language …, 2001
5642001
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
4492004
A theory of type qualifiers
JS Foster, M Fähndrich, A Aiken
ACM SIGPLAN Notices 34 (5), 192-203, 1999
3951999
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
3792006
Adoption and focus: Practical linear types for imperative programming
M Fahndrich, R DeLine
Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002
3662002
Typestates for objects
R DeLine, M Fähndrich
ECOOP 2004–Object-Oriented Programming: 18th European Conference, Oslo …, 2004
3092004
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
2781998
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
2612003
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
2242011
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
2172005
Static contract checking with abstract interpretation
M Fähndrich, F Logozzo
Formal Verification of Object-Oriented Software: International Conference …, 2011
2122011
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
1741995
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
1732000
Type-base flow analysis: from polymorphic subtyping to CFL-reachability
J Rehof, M Fähndrich
ACM SIGPLAN Notices 36 (3), 54-66, 2001
1522001
Righting software
JR Larus, T Ball, M Das, R DeLine, M Fahndrich, J Pincus, SK Rajamani, ...
IEEE software 21 (3), 92-100, 2004
1512004
Scaling static analyses at Facebook
D Distefano, M Fähndrich, F Logozzo, PW O'Hearn
Communications of the ACM 62 (8), 62-70, 2019
1472019
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
1462010
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
1462008
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
1422011
Embedded contract languages
M Fähndrich, M Barnett, F Logozzo
Proceedings of the 2010 ACM Symposium on Applied Computing, 2103-2110, 2010
1262010
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20