متابعة
Manuel Fahndrich
Manuel Fahndrich
Software Engineer, Google, previously Researcher, Microsoft Research
بريد إلكتروني تم التحقق منه على fahndrich.com
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Enforcing high-level protocols in low-level software‏
R DeLine, M Fähndrich‏
Proceedings of the ACM SIGPLAN 2001 conference on Programming language …, 2001‏
5772001
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‏
4722004
A theory of type qualifiers‏
JS Foster, M Fähndrich, A Aiken‏
ACM Sigplan Notices 34 (5), 192-203, 1999‏
4141999
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‏
3932006
Adoption and focus: Practical linear types for imperative programming‏
M Fahndrich, R DeLine‏
Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002‏
3722002
Typestates for objects‏
R DeLine, M Fähndrich‏
European Conference on Object-Oriented Programming, 465-490, 2004‏
3152004
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‏
2841998
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‏
2682003
Scaling static analyses at Facebook‏
D Distefano, M Fähndrich, F Logozzo, PW O'Hearn‏
Communications of the ACM 62 (8), 62-70, 2019‏
2512019
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‏
2442011
Static contract checking with abstract interpretation‏
M Fähndrich, F Logozzo‏
International conference on formal verification of object-oriented software …, 2010‏
2282010
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‏
2152005
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‏
1861995
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‏
1722000
Type-base flow analysis: from polymorphic subtyping to CFL-reachability‏
J Rehof, M Fähndrich‏
ACM SIGPLAN Notices 36 (3), 54-66, 2001‏
1642001
Righting software‏
JR Larus, T Ball, M Das, R DeLine, M Fahndrich, J Pincus, SK Rajamani, ...‏
IEEE software 21 (3), 92-100, 2004‏
1592004
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‏
1582008
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‏
1532010
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‏
1502011
It's alive! continuous feedback in UI programming‏
S Burckhardt, M Fahndrich, P De Halleux, S McDirmid, M Moskal, ...‏
Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013‏
1352013
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20