Dynamic Typing and Subtype Inference. - Alexander Aiken; Manuel Fähndrich (FPCA, 1995)

Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. - Alexander Aiken; Manuel Fähndrich; Raph Levien (PLDI, 1995)

Statically Checkable Pattern Abstractions. - Manuel Fähndrich; John Boyland (ICFP, 1997)

Program Analysis Using Mixed Term and Set Constraints. - Manuel Fähndrich; Alexander Aiken (SAS, 1997)

Partial Online Cycle Elimination in Inclusion Constraint Graphs. - Manuel Fähndrich; Jeffrey S. Foster; Zhendong Su 001; Alexander Aiken (PLDI, 1998)

A Toolkit for Constructing Type- and Constraint-Based Program Analyses. - Alexander Aiken; Manuel Fähndrich; Jeffrey S. Foster; Zhendong Su 001 (Types in Compilation, 1998)

A Theory of Type Qualifiers. - Jeffrey S. Foster; Manuel Fähndrich; Alexander Aiken (PLDI, 1999)

Scalable context-sensitive flow analysis using instantiation constraints. - Manuel Fähndrich; Jakob Rehof; Manuvir Das (PLDI, 2000)

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. - Zhendong Su 001; Manuel Fähndrich; Alexander Aiken (POPL, 2000)

Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. - Jeffrey S. Foster; Manuel Fähndrich; Alexander Aiken (SAS, 2000)

Detecting races in Relay Ladder Logic programs. - Alexander Aiken; Manuel Fähndrich; Zhendong Su 001 (Int. J. Softw. Tools Technol. Transf., 2000)

Enforcing High-Level Protocols in Low-Level Software. - Robert DeLine; Manuel Fähndrich (PLDI, 2001)

Type-base flow analysis: from polymorphic subtyping to CFL-reachability. - Jakob Rehof; Manuel Fähndrich (POPL, 2001)

Estimating the Impact of Scalable Pointer Analysis on Optimization. - Manuvir Das; Ben Liblit; Manuel Fähndrich; Jakob Rehof (SAS, 2001)

Adoption and Focus: Practical Linear Types for Imperative Programming. - Manuel Fähndrich; Robert DeLine (PLDI, 2002)

Declaring and checking non-null types in an object-oriented language. - Manuel Fähndrich; K. Rustan M. Leino (OOPSLA, 2003)

Typestates for Objects. - Robert DeLine; Manuel Fähndrich (ECOOP, 2004)

Verification of Object-Oriented Programs with Invariants. - Michael Barnett 001; Robert DeLine; Manuel Fähndrich; K. Rustan M. Leino; Wolfram Schulte (J. Object Technol., 2004)

Righting Software. - James R. Larus; Thomas Ball 001; Manuvir Das; Robert DeLine; Manuel Fähndrich; Jonathan D. Pincus; Sriram K. Rajamani; Ramanathan Venkatapathy (IEEE Softw., 2004)

The Spec# Programming System: Challenges and Directions. - Michael Barnett 001; Robert DeLine; Manuel Fähndrich; Bart Jacobs 002; K. Rustan M. Leino; Wolfram Schulte; Herman Venter (VSTTE, 2005)

Deconstructing process isolation. - Mark Aiken; Manuel Fähndrich; Chris Hawblitzel; Galen C. Hunt; James R. Larus (Memory System Performance and Correctness, 2006)

Language support for fast and reliable message-based communication in singularity OS. - Manuel Fähndrich; Mark Aiken; Chris Hawblitzel; Orion Hodson; Galen C. Hunt; James R. Larus; Steven Levi (EuroSys, 2006)

Reflective program generation with patterns. - Manuel Fähndrich; Michael Carbin; James R. Larus (GPCE, 2006)

Sealing OS processes to improve dependability and safety. - Galen C. Hunt; Mark Aiken; Manuel Fähndrich; Chris Hawblitzel; Orion Hodson; James R. Larus; Steven Levi; Bjarne Steensgaard; David Tarditi; Ted Wobber (EuroSys, 2007)

Establishing object invariants with delayed types. - Manuel Fähndrich; Songtao Xia (OOPSLA, 2007)

On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. - Francesco Logozzo; Manuel Fähndrich (CC, 2008)

Safer unsafe code for .NET. - Pietro Ferrara 001; Francesco Logozzo; Manuel Fähndrich (OOPSLA, 2008)

A Static Analysis to Detect Re-Entrancy in Object Oriented Programs. - Manuel Fähndrich; Diego Garbervetsky; Wolfram Schulte (J. Object Technol., 2008)

Type-based flow analysis and context-free language reachability. - Manuel Fähndrich; Jakob Rehof (Math. Struct. Comput. Sci., 2008)

Exploiting the synergy between automated-test-generation and programming-by-contract. - Michael Barnett 001; Manuel Fähndrich; Peli de Halleux; Francesco Logozzo; Nikolai Tillmann (ICSE Companion, 2009)

Language-agnostic specification and verification: invited talk. - Manuel Fähndrich (PLPV, 2009)

Inferring Dataflow Properties of User Defined Table Processors. - Songtao Xia; Manuel Fähndrich; Francesco Logozzo (SAS, 2009)

Static Contract Checking with Abstract Interpretation. - Manuel Fähndrich; Francesco Logozzo (FoVeOOS, 2010)

SPUR: a trace-based JIT compiler for CIL. - Michael Bebenita; Florian Brandner; Manuel Fähndrich; Francesco Logozzo; Wolfram Schulte; Nikolai Tillmann; Herman Venter (OOPSLA, 2010)

Embedded contract languages. - Manuel Fähndrich; Michael Barnett 001; Francesco Logozzo (SAC, 2010)

Static Verification for Code Contracts. - Manuel Fähndrich (SAS, 2010)

Pentagons: A weakly relational abstract domain for the efficient validation of array accesses. - Francesco Logozzo; Manuel Fähndrich (Sci. Comput. Program., 2010)

Prettier concurrency: purely functional concurrent revisions. - Daan Leijen; Manuel Fähndrich; Sebastian Burckhardt (Haskell, 2011)

TouchDevelop: programming cloud-connected mobile devices via touchscreen. - Nikolai Tillmann; Michal Moskal; Jonathan de Halleux; Manuel Fähndrich (Onward!, 2011)

Specification and verification: the Spec# experience. - Mike Barnett 001; Manuel Fähndrich; K. Rustan M. Leino; Peter Müller 001; Wolfram Schulte; Herman Venter (Commun. ACM, 2011)

Checking Compatibility of Bit Sizes in Floating Point Comparison Operations. - Manuel Fähndrich; Francesco Logozzo (NSAD@SAS, 2011)

Inference of Necessary Field Conditions with Abstract Interpretation. - Mehdi Bouaziz; Francesco Logozzo; Manuel Fähndrich (APLAS, 2012)

Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop. - Nikolai Tillmann; Michal Moskal; Jonathan de Halleux; Manuel Fähndrich; Tao Xie 001 (CSEE&T, 2012)

Cloud Types for Eventual Consistency. - Sebastian Burckhardt; Manuel Fähndrich; Daan Leijen; Benjamin P. Wood (ECOOP, 2012)

Eventually Consistent Transactions. - Sebastian Burckhardt; Daan Leijen; Manuel Fähndrich; Mooly Sagiv (ESOP, 2012)

Integrating a set of contract checking tools into visual studio. - Manuel Fähndrich; Michael Barnett 001; Daan Leijen; Francesco Logozzo (TOPI@ICSE, 2012)

The future of teaching programming is on mobile devices. - Nikolai Tillmann; Michal Moskal; Jonathan de Halleux; Manuel Fähndrich; Judith Bishop; Arjmand Samuel; Tao Xie 001 (ITiCSE, 2012)

User-aware privacy control via extended static-information-flow analysis. - Xusheng Xiao; Nikolai Tillmann; Manuel Fähndrich; Jonathan de Halleux; Michal Moskal (ASE, 2012)

A semantic integrated development environment. - Francesco Logozzo; Michael Barnett 001; Manuel Fähndrich; Patrick Cousot; Radhia Cousot (SPLASH, 2012)

Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). - Nikolai Tillmann; Michal Moskal; Jonathan de Halleux; Manuel Fähndrich; Tao Xie 001 (SIGCSE, 2012)

TouchDevelop: app development on mobile devices. - Nikolai Tillmann; Michal Moskal; Jonathan de Halleux; Manuel Fähndrich; Sebastian Burckhardt (SIGSOFT FSE, 2012)

It's alive! continuous feedback in UI programming. - Sebastian Burckhardt; Manuel Fähndrich; Peli de Halleux; Sean McDirmid; Michal Moskal; Nikolai Tillmann; Jun Kato 001 (PLDI, 2013)

Automatic Inference of Necessary Preconditions. - Patrick Cousot; Radhia Cousot; Manuel Fähndrich; Francesco Logozzo (VMCAI, 2013)

Abstracting Runtime Heaps for Program Understanding. - Mark Marron; César Sánchez 001; Zhendong Su 001; Manuel Fähndrich (IEEE Trans. Software Eng., 2013)

Lessons from a web-based IDE and runtime. - Manuel Fähndrich (PEPM, 2014)

Verification modulo versions: towards usable verification. - Francesco Logozzo; Shuvendu K. Lahiri; Manuel Fähndrich; Sam Blackshear (PLDI, 2014)

SAS2013 artifact submission experience report. - Manuel Fähndrich; Francesco Logozzo (ACM SIGPLAN Notices, 2014)

Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. - Sebastian Burckhardt; Daan Leijen; Jonathan Protzenko; Manuel Fähndrich (ECOOP, 2015)

User-aware privacy control via extended static-information-flow analysis. - Xusheng Xiao; Nikolai Tillmann; Manuel Fähndrich; Jonathan de Halleux; Michal Moskal; Tao Xie 001 (Autom. Softw. Eng., 2015)

Scaling static analyses at Facebook. - Dino Distefano; Manuel Fähndrich; Francesco Logozzo; Peter W. O'Hearn (Commun. ACM, 2019)