Manuel Fähndrich

Publication Activity (10 Years)

Years Active: 1995-2019
Publications (10 Years): 1

Top Topics

Introductory Programming

Students Studying

Top Venues

Publications

Dino Distefano, Manuel Fähndrich, Francesco Logozzo, Peter W. O'Hearn
Scaling static analyses at Facebook. Commun. ACM 62 (8) (2019)
Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. ECOOP (2015)
Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal, Tao Xie
User-aware privacy control via extended static-information-flow analysis. Autom. Softw. Eng. 22 (3) (2015)
Manuel Fähndrich, Francesco Logozzo
SAS2013 artifact submission experience report. ACM SIGPLAN Notices 49 (4S) (2014)
Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear
Verification modulo versions: towards usable verification. PLDI (2014)
Manuel Fähndrich
Lessons from a web-based IDE and runtime. PEPM (2014)
Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo
Automatic Inference of Necessary Preconditions. VMCAI (2013)
Sebastian Burckhardt, Manuel Fähndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato
It's alive! continuous feedback in UI programming. PLDI (2013)
Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich
Abstracting Runtime Heaps for Program Understanding. IEEE Trans. Software Eng. 39 (6) (2013)
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Judith Bishop, Arjmand Samuel, Tao Xie
The future of teaching programming is on mobile devices. ITiCSE (2012)
Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, Benjamin P. Wood
Cloud Types for Eventual Consistency. ECOOP (2012)
Manuel Fähndrich, Michael Barnett, Daan Leijen, Francesco Logozzo
Integrating a set of contract checking tools into visual studio. TOPI@ICSE (2012)
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Sebastian Burckhardt
TouchDevelop: app development on mobile devices. SIGSOFT FSE (2012)
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie
Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop. CSEE&T (2012)
Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich
Abstracting Runtime Heaps for Program Understanding CoRR (2012)
Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv
Eventually Consistent Transactions. ESOP (2012)
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie
Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). SIGCSE (2012)
Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot
A semantic integrated development environment. SPLASH (2012)
Manuel Fähndrich, Francesco Logozzo
Checking Compatibility of Bit Sizes in Floating Point Comparison Operations. Electron. Notes Theor. Comput. Sci. 288 (2012)
Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal
User-aware privacy control via extended static-information-flow analysis. ASE (2012)
Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich
Inference of Necessary Field Conditions with Abstract Interpretation. APLAS (2012)
Daan Leijen, Manuel Fähndrich, Sebastian Burckhardt
Prettier concurrency: purely functional concurrent revisions. Haskell (2011)
Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter
Specification and verification: the Spec# experience. Commun. ACM 54 (6) (2011)
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich
TouchDevelop: programming cloud-connected mobile devices via touchscreen. Onward! (2011)
Francesco Logozzo, Manuel Fähndrich
Pentagons: A weakly relational abstract domain for the efficient validation of array accesses. Sci. Comput. Program. 75 (9) (2010)
Manuel Fähndrich
Static Verification for Code Contracts. SAS (2010)
Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter
SPUR: a trace-based JIT compiler for CIL. OOPSLA (2010)
Manuel Fähndrich, Michael Barnett, Francesco Logozzo
Embedded contract languages. SAC (2010)
Manuel Fähndrich, Francesco Logozzo
Static Contract Checking with Abstract Interpretation. FoVeOOS (2010)
Manuel Fähndrich
Language-agnostic specification and verification: invited talk. PLPV (2009)
Songtao Xia, Manuel Fähndrich, Francesco Logozzo
Inferring Dataflow Properties of User Defined Table Processors. SAS (2009)
Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann
Exploiting the synergy between automated-test-generation and programming-by-contract. ICSE Companion (2009)
Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte
A Static Analysis to Detect Re-Entrancy in Object Oriented Programs. J. Object Technol. 7 (5) (2008)
Manuel Fähndrich, Jakob Rehof
Type-based flow analysis and context-free language reachability. Math. Struct. Comput. Sci. 18 (5) (2008)
Francesco Logozzo, Manuel Fähndrich
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. CC (2008)
Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich
Safer unsafe code for .NET. OOPSLA (2008)
Francesco Logozzo, Manuel Fähndrich
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. SAC (2008)
Galen C. Hunt, Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Orion Hodson, James R. Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber
Sealing OS processes to improve dependability and safety. EuroSys (2007)
Manuel Fähndrich, Songtao Xia
Establishing object invariants with delayed types. OOPSLA (2007)
Manuel Fähndrich, Michael Carbin, James R. Larus
Reflective program generation with patterns. GPCE (2006)
Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Galen C. Hunt, James R. Larus
Deconstructing process isolation. Memory System Performance and Correctness (2006)
Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus, Steven Levi
Language support for fast and reliable message-based communication in singularity OS. EuroSys (2006)
Michael Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs, K. Rustan M. Leino, Wolfram Schulte, Herman Venter
The Spec# Programming System: Challenges and Directions. VSTTE (2005)
Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte
Verification of Object-Oriented Programs with Invariants. J. Object Technol. 3 (6) (2004)
James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy
Righting Software. IEEE Softw. 21 (3) (2004)
Robert DeLine, Manuel Fähndrich
Typestates for Objects. ECOOP (2004)
Manuel Fähndrich, K. Rustan M. Leino
Declaring and checking non-null types in an object-oriented language. OOPSLA (2003)
Manuel Fähndrich, Robert DeLine
Adoption and Focus: Practical Linear Types for Imperative Programming. PLDI (2002)
Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof
Estimating the Impact of Scalable Pointer Analysis on Optimization. SAS (2001)
Jakob Rehof, Manuel Fähndrich
Type-base flow analysis: from polymorphic subtyping to CFL-reachability. POPL (2001)
Robert DeLine, Manuel Fähndrich
Enforcing High-Level Protocols in Low-Level Software. PLDI (2001)
Manuel Fähndrich, Jakob Rehof, Manuvir Das
Scalable context-sensitive flow analysis using instantiation constraints. PLDI (2000)
Zhendong Su, Manuel Fähndrich, Alexander Aiken
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. POPL (2000)
Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. SAS (2000)
Alexander Aiken, Manuel Fähndrich, Zhendong Su
Detecting races in Relay Ladder Logic programs. Int. J. Softw. Tools Technol. Transf. 3 (1) (2000)
Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken
A Theory of Type Qualifiers. PLDI (1999)
Alexander Aiken, Manuel Fähndrich, Zhendong Su
Detecting Races in Relay Ladder Logic Programs. TACAS (1998)
Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su
A Toolkit for Constructing Type- and Constraint-Based Program Analyses. Types in Compilation (1998)
Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken
Partial Online Cycle Elimination in Inclusion Constraint Graphs. PLDI (1998)
Manuel Fähndrich, John Boyland
Statically Checkable Pattern Abstractions. ICFP (1997)
Manuel Fähndrich, Alexander Aiken
Program Analysis Using Mixed Term and Set Constraints. SAS (1997)
Alexander Aiken, Manuel Fähndrich, Raph Levien
Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. PLDI (1995)
Alexander Aiken, Manuel Fähndrich
Dynamic Typing and Subtype Inference. FPCA (1995)