| 2015 | ECOOP | Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. | Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fhndrich |
| 2014 | PEPM | Lessons from a web-based IDE and runtime. | Manuel Fhndrich |
| 2014 | PLDI | Verification modulo versions: towards usable verification. | Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fhndrich, Sam Blackshear |
| 2013 | PLDI | It's alive! continuous feedback in UI programming. | Sebastian Burckhardt, Manuel Fhndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato |
| 2013 | VMCAI | Automatic Inference of Necessary Preconditions. | Patrick Cousot, Radhia Cousot, Manuel Fhndrich, Francesco Logozzo |
| 2012 | APLAS | Inference of Necessary Field Conditions with Abstract Interpretation. | Mehdi Bouaziz, Francesco Logozzo, Manuel Fhndrich |
| 2012 | ECOOP | Cloud Types for Eventual Consistency. | Sebastian Burckhardt, Manuel Fhndrich, Daan Leijen, Benjamin P. Wood |
| 2012 | ESOP | Eventually Consistent Transactions. | Sebastian Burckhardt, Daan Leijen, Manuel Fhndrich, Mooly Sagiv |
| 2012 | ICSE | Integrating a set of contract checking tools into visual studio. | Manuel Fhndrich, Michael Barnett, Daan Leijen, Francesco Logozzo |
| 2012 | ITiCSE | The future of teaching programming is on mobile devices. | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fhndrich, Judith Bishop, Arjmand Samuel, Tao Xie |
| 2012 | OOPSLA | A semantic integrated development environment. | Francesco Logozzo, Michael Barnett, Manuel Fhndrich, Patrick Cousot, Radhia Cousot |
| 2012 | SIGCSE | Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fhndrich, Tao Xie |
| 2011 | HASKELL | Prettier concurrency: purely functional concurrent revisions. | Daan Leijen, Manuel Fhndrich, Sebastian Burckhardt |
| 2011 | OOPSLA | TouchDevelop: programming cloud-connected mobile devices via touchscreen. | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fhndrich |
| 2010 | OOPSLA | SPUR: a trace-based JIT compiler for CIL. | Michael Bebenita, Florian Brandner, Manuel Fhndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter |
| 2010 | SAC | Embedded contract languages. | Manuel Fhndrich, Michael Barnett, Francesco Logozzo |
| 2010 | SAS | Static Verification for Code Contracts. | Manuel Fhndrich |
| 2009 | ICSE | Exploiting the synergy between automated-test-generation and programming-by-contract. | Michael Barnett, Manuel Fhndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann |
| 2009 | SAS | Inferring Dataflow Properties of User Defined Table Processors. | Songtao Xia, Manuel Fhndrich, Francesco Logozzo |
| 2008 | CC | On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. | Francesco Logozzo, Manuel Fhndrich |
| 2008 | OOPSLA | Safer unsafe code for .NET. | Pietro Ferrara, Francesco Logozzo, Manuel Fhndrich |
| 2008 | SAC | Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. | Francesco Logozzo, Manuel Fhndrich |
| 2007 | EuroSys | Sealing OS processes to improve dependability and safety. | Galen C. Hunt, Mark Aiken, Manuel Fhndrich, Chris Hawblitzel, Orion Hodson, James R. Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber |
| 2007 | OOPSLA | Establishing object invariants with delayed types. | Manuel Fhndrich, Songtao Xia |
| 2006 | EuroSys | Language support for fast and reliable message-based communication in singularity OS. | Manuel Fhndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus, Steven Levi |
| 2006 | GPCE | Reflective program generation with patterns. | Manuel Fhndrich, Michael Carbin, James R. Larus |
| 2004 | ECOOP | Typestates for Objects. | Robert DeLine, Manuel Fhndrich |
| 2003 | OOPSLA | Declaring and checking non-null types in an object-oriented language. | Manuel Fhndrich, K. Rustan M. Leino |
| 2002 | PLDI | Adoption and Focus: Practical Linear Types for Imperative Programming. | Manuel Fhndrich, Robert DeLine |
| 2001 | PLDI | Enforcing High-Level Protocols in Low-Level Software. | Robert DeLine, Manuel Fhndrich |
| 2001 | POPL | Type-base flow analysis: from polymorphic subtyping to CFL-reachability. | Jakob Rehof, Manuel Fhndrich |
| 2001 | SAS | Estimating the Impact of Scalable Pointer Analysis on Optimization. | Manuvir Das, Ben Liblit, Manuel Fhndrich, Jakob Rehof |
| 2000 | PLDI | Scalable context-sensitive flow analysis using instantiation constraints. | Manuel Fhndrich, Jakob Rehof, Manuvir Das |
| 2000 | POPL | Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. | Zhendong Su, Manuel Fhndrich, Alexander Aiken |
| 2000 | SAS | Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. | Jeffrey S. Foster, Manuel Fhndrich, Alexander Aiken |
| 1999 | PLDI | A Theory of Type Qualifiers. | Jeffrey S. Foster, Manuel Fhndrich, Alexander Aiken |
| 1998 | PLDI | Partial Online Cycle Elimination in Inclusion Constraint Graphs. | Manuel Fhndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken |
| 1998 | TACAS | Detecting Races in Relay Ladder Logic Programs. | Alexander Aiken, Manuel Fhndrich, Zhendong Su |
| 1997 | ICFP | Statically Checkable Pattern Abstractions. | Manuel Fhndrich, John Boyland |
| 1997 | SAS | Program Analysis Using Mixed Term and Set Constraints. | Manuel Fhndrich, Alexander Aiken |
| 1995 | PLDI | Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. | Alexander Aiken, Manuel Fhndrich, Raph Levien |