2010

• Mike Barnett, Manuel Fahndrich, and Francesco Logozzo, Embedded Contract Languages, in ACM SAC - OOPS, Association for Computing Machinery, Inc., March 2010

2009

• Songtao Xia, Manuel Fahndrich, and Francesco Logozzo, Infer Dataflow Properties of User Defined Table Processors, in Proceeding of the 16th International Static Analysis Symposium (SAS'09), Springer Verlag, August 2009
• Michael Barnett, Manuel Fahndrich, Francesco Logozzo, Peli de Halleux, and Nikolai Tillmann, Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract, in Proc. 31st International Conference on Software Engineering (ICSE'2009) , IEEE, May 2009
• Francesco Logozzo and Manuel Fahndrich, Pentagons: A Weakly Relational Abstract Domain for the Efficient Validation of Array Accesses, in Science of Computer Programming, Springer Verlag, 2009

2008

• Manuel Fahndrich, Sriram K. Rajamani, and Jakob Rehof, Static Deadlock Prevention in Dynamically Configured Communication Networks, in Perspectives On Concurrency, Festchrift for Prof. P. S. Thiagarajan's 60th birthday, K. Lodaya, M. Mukund and R. Ramanujam (eds), Universities Press, December 2008
• Pietro Ferrara, Francesco Logozzo, and Manuel Fähndrich, Safer unsafe code for .NET, in Proceedings of the 23rd ACM Conference on Object-Oriented Programming (OOPSLA'08), Association for Computing Machinery, Inc., October 2008
• Mike Barnett, Manuel Fahndrich, and Francesco Logozzo, Foxtrot and Clousot: Language Agnostic Dynamic and Static Contract Checking for .NET, no. MSR-TR-2008-105, August 2008
• Francesco Logozzo and Manuel Fähndrich, Pentagons: A weakly relational domain for the efficient validation of array accesses, in Proceedings of the 23th ACM Symposium on Applied Computing , Association for Computing Machinery, Inc., March 2008
• Francesco Logozzo and Manuel Fähndrich, On the Relative Completeness of Bytecode Analysis versus Source Code Analysis, in Proceedings of the International Conference on Compiler Construction, Springer Verlag, 2008

2007

• Manuel Fähndrich and Songtao Xia, Establishing Object Invariants with Delayed Types, in Proceedings of the 22nd ACM Conference on Object-Oriented Programming, Systems, and Applications, ACM, October 2007
• Mike Barnett, Manuel Fahndrich, Diego Garbervetsky, and Francesco Logozzo, Annotations for (more) Precise Points-to Analysis, in IWACO 2007, 2007

2006

• Manuel Fähndrich, Michael Carbin, and James R. Larus, Reflective Program Generation with Patterns, in Proceedings of the 2006 Conference on Generative Programming and Component Engineering, ACM, October 2006
• Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, James R. Larus, and Steven Levi, Language Support for Fast and Reliable Message-based Communication in Singularity OS, in Proceedings of the EuroSys 2006 Conference, Association for Computing Machinery, Inc., April 2006
• Galen C. Hunt, Mark Aiken, Paul Barham, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, James R. Larus, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, and Brian D. Zill, Sealing OS Processes to Improve Dependability and Security, no. MSR-TR-2006-51, April 2006
• Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Galen Hunt, and James Larus, Deconstructing Process Isolation, no. MSR-TR-2006-43, April 2006

2005

• Galen Hunt, James R. Larus, Martin Abadi, Mark Aiken, Paul Barham, Manuel Fahndrich, Chris Hawblitzel, Orion Hodson, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, and Brian D. Zill, An Overview of the Singularity Project, no. MSR-TR-2005-135, October 2005

2004

• Robert DeLine and Manuel Fähndrich, Typestates for objects, in ECOOP 2004 — Object-Oriented Programming, 18th European Conference, Springer Verlag, June 2004
• James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jon Pincus, Sriram K. Rajamani, and Ramanathan Venkatapathy, Righting Software, in IEEE Software, vol. 21, no. 3, pp. 92–100, Institute of Electrical and Electronics Engineers, Inc., May 2004
• Robert DeLine and Manuel Fähndrich, The Fugue Protocol Checker: Is Your Software Baroque?, no. MSR-TR-2004-07, January 2004

2003

• Manuel Fähndrich and K. Rustan M. Leino, Declaring and checking non-null types in an object-oriented language, in Proceedings of the 2003 ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, ACM, November 2003
• Mike Barnett, Rob DeLine, Manuel Fähndrich, K. Rustan M. Leino, and Wolfram Schulte, Verification of Object-Oriented Programs With Invariants, in Formal Techniques for Java-like Programs (FTfJP), July 2003
• Manuel Fähndrich and K. Rustan M. Leino, Heap monotonic typestate, in Proceedings of the first International Workshop on Alias Confinement and Ownership (IWACO), July 2003

2002

• Manuel Fähndrich and Robert DeLine, Adoption and Focus: Practical Linear Types for Imperative Programming, in Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), ACM, May 2002

2001

• Manuel Fahndrich and Robert DeLine, Adaption and Focus: Practical Linear Types for Imperative Programming, in Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation , Association for Computing Machinery, Inc., November 2001
• Robert DeLine and Manuel Fähndrich, Enforcing high-level protocols in low-level software, in Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), ACM, May 2001
• J. Rehof and M. Fähndrich, Type-Based Flow Analysis: From Polymorphic Subtyping to CFL-Reachability, in Proceedings POPL 2001, 28'th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 2001
• Manuvir Das, Manuel Fähndrich, Ben Liblit, and Jakob Rehof, Estimating the Impact of Scalable Pointer Analysis on Optimization, no. MSR-TR-2001-20, January 2001

2000

• M. Fähndrich, J. Rehof, and M. Das, Scalable Context-Sensitive Flow Analysis Using Instantiation Constraints, in Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2000
• Jeffrey S. Foster, Manuel Fähndrich, and Alexander Aiken, Polymorphic versus Monomorphic Flow-insensitive Points-to Analysis for C, in Proceedings of the 7th International Static Analysis Symposium, June 2000
• M. Fähndrich, J. Rehof, and M. Das, From Polymorphic Subtyping to CFL Reachability: Context-Sensitive Flow Analysis Using Instantiation Constraints, no. MSR-TR-99-84, March 2000
• Zhendong Su, Manuel Fähndrich, and Alexander Aiken, Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs, in Proceedings POPL 2000, 27'th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 2000

1999

• Manuel Fähndrich, BANE: A Library for Scalable Constraint-Based Program Analysis, May 1999

1998

• M. Fähndrich, J. Foster, Z. Su, and A. Aiken, Partial Online Cycle Elimination in Inclusion Constraint Graphs, in Proceedings of the 1998 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1998
• Alexander Aiken, Manuel Fähndrich, and Zhendong Su, Detecting Races in Relay Ladder Logic Programs, in Proceedings of the 1st Conference on Tools and Algorithms for the Analysis and Construction of Systems, March 1998
• M. Fähndrich, J. Foster, Alexander Aiken, and Jason Cu, Tracking down Exceptions in Standard ML Programs, no. UCB//CSD-96-996, February 1998

1997

• Manuel Fähndrich and Alexander Aiken, Program Analysis Using Mixed Term and Set Constraints, in Proceedings of the 4th International Static Analysis Symposium, Springer Verlag, September 1997
• Manuel Fähndrich and Alexander Aiken, Refined Type Inference for ML, in Proceedings of the 1st Workshop on Types in Compilation, June 1997
• Manuel Fähndrich and John Boyland, Staticallly Checkable Pattern Abstractions, in Proceedings of the International Conference on Functional Programming (ICFP '97), June 1997

1996

• Manuel Fähndrich and Alex Aiken, Making Set-Constraint Based Program Analyses Scale, in First Workshop on Set Constraints at CP'96, August 1996

1995

• A. Aiken, M. Fähndrich, and R. Levien, Better Static Memory Management: Improving region-based analysis of higher-order languages, in Proceedings of the 1995 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1995
• A. Aiken and M. Fähndrich, Dynamic Typing and Subtype Inference, in Proceedings of the 1995 Conference on Functional Programming Languages and Computer Architecture, June 1995