Manuel Fahndrich
Manuel Fahndrich
Software Engineer, Google, previously Researcher, Microsoft Research
Verified email at fahndrich.com
TitleCited byYear
Enforcing high-level protocols in low-level software
R DeLine, M Fähndrich
ACM SIGPLAN Notices 36 (5), 59-69, 2001
5292001
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
3992004
A theory of type qualifiers
JS Foster, M Fähndrich, A Aiken
ACM SIGPLAN Notices 34 (5), 192-203, 1999
3391999
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
ACM SIGOPS Operating Systems Review 40 (4), 177-190, 2006
3382006
Adoption and focus: Practical linear types for imperative programming
M Fahndrich, R DeLine
ACM SIGPLAN Notices 37 (5), 13-24, 2002
3262002
Typestates for objects
R DeLine, M Fähndrich
European Conference on Object-Oriented Programming, 465-490, 2004
2632004
Partial online cycle elimination in inclusion constraint graphs
M Fähndrich, JS Foster, Z Su, A Aiken
ACM SIGPLAN Notices 33 (5), 85-96, 1998
2461998
Declaring and checking non-null types in an object-oriented language
M Fähndrich, KRM Leino
ACM SIGPLAN Notices 38 (11), 302-312, 2003
2182003
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
1972005
Better static memory management: Improving region-based analysis of higher-order languages
A Aiken, M Fähndrich, R Levien
ACM SIGPLAN Notices 30 (6), 174-185, 1995
1671995
Specification and verification: the Spec# experience.
M Barnett, M Fähndrich, KRM Leino, P Müller, W Schulte, H Venter
Commun. ACM 54 (6), 81-91, 2011
1582011
Scalable context-sensitive flow analysis using instantiation constraints
M Fähndrich, J Rehof, M Das
ACM SIGPLAN Notices 35 (5), 253-263, 2000
1562000
Static contract checking with abstract interpretation
M Fähndrich, F Logozzo
International Conference on Formal Verification of Object-oriented Software …, 2010
1322010
Righting software
JR Larus, T Ball, M Das, R DeLine, M Fahndrich, J Pincus, SK Rajamani, ...
IEEE software 21 (3), 92-100, 2004
1232004
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
1222011
Type-base flow analysis: from polymorphic subtyping to CFL-reachability
J Rehof, M Fähndrich
ACM SIGPLAN Notices 36 (3), 54-66, 2001
1182001
SPUR: a trace-based JIT compiler for CIL
M Bebenita, F Brandner, M Fahndrich, F Logozzo, W Schulte, N Tillmann, ...
ACM Sigplan Notices 45 (10), 708-725, 2010
1122010
Polymorphic versus monomorphic flow-insensitive points-to analysis for C
JS Foster, M Fähndrich, A Aiken
International Static Analysis Symposium, 175-198, 2000
1112000
Embedded contract languages
M Fähndrich, M Barnett, F Logozzo
Proceedings of the 2010 ACM Symposium on Applied Computing, 2103-2110, 2010
1102010
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
1072010
The system can't perform the operation now. Try again later.
Articles 1–20