Manuel Fähndrich

According to our database, Manuel Fähndrich authored at least 60 papers between 1995 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2019

Scaling static analyses at Facebook.

Dino Distefano, Manuel Fähndrich, Francesco Logozzo, Peter W. O'Hearn

Commun. ACM, 2019

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

Autom. Softw. Eng., 2015

Global Sequence Protocol: A Robust Abstraction for Replicated Shared State.

Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

SAS2013 artifact submission experience report.

Manuel Fähndrich, Francesco Logozzo

ACM SIGPLAN Notices, 2014

Verification modulo versions: towards usable verification.

Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Lessons from a web-based IDE and runtime.

Manuel Fähndrich

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

2013

Abstracting Runtime Heaps for Program Understanding.

Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich

IEEE Trans. Software Eng., 2013

Automatic Inference of Necessary Preconditions.

Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo

Proceedings of the Verification, 2013

It's alive! continuous feedback in UI programming.

Sebastian Burckhardt, Manuel Fähndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012

TouchDevelop: app development on mobile devices.

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Sebastian Burckhardt

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 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

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

A semantic integrated development environment.

Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot

Proceedings of the SPLASH'12, 2012

User-aware privacy control via extended static-information-flow analysis.

Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 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

Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Integrating a set of contract checking tools into visual studio.

Manuel Fähndrich, Michael Barnett, Daan Leijen, Francesco Logozzo

Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

Eventually Consistent Transactions.

Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv

Proceedings of the Programming Languages and Systems, 2012

Cloud Types for Eventual Consistency.

Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, Benjamin P. Wood

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 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

Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

Inference of Necessary Field Conditions with Abstract Interpretation.

Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Checking Compatibility of Bit Sizes in Floating Point Comparison Operations.

Manuel Fähndrich, Francesco Logozzo

Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, 2011

Specification and verification: the Spec# experience.

Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter

Commun. ACM, 2011

TouchDevelop: programming cloud-connected mobile devices via touchscreen.

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2011

Prettier concurrency: purely functional concurrent revisions.

Daan Leijen, Manuel Fähndrich, Sebastian Burckhardt

Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

2010

Pentagons: A weakly relational abstract domain for the efficient validation of array accesses.

Francesco Logozzo, Manuel Fähndrich

Sci. Comput. Program., 2010

Static Verification for Code Contracts.

Manuel Fähndrich

Proceedings of the Static Analysis - 17th International Symposium, 2010

Embedded contract languages.

Manuel Fähndrich, Michael Barnett, Francesco Logozzo

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

SPUR: a trace-based JIT compiler for CIL.

Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Static Contract Checking with Abstract Interpretation.

Manuel Fähndrich, Francesco Logozzo

Proceedings of the Formal Verification of Object-Oriented Software, 2010

2009

Inferring Dataflow Properties of User Defined Table Processors.

Songtao Xia, Manuel Fähndrich, Francesco Logozzo

Proceedings of the Static Analysis, 16th International Symposium, 2009

Language-agnostic specification and verification: invited talk.

Manuel Fähndrich

Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009

Exploiting the synergy between automated-test-generation and programming-by-contract.

Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Type-based flow analysis and context-free language reachability.

Manuel Fähndrich, Jakob Rehof

Math. Struct. Comput. Sci., 2008

A Static Analysis to Detect Re-Entrancy in Object Oriented Programs.

Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte

J. Object Technol., 2008

Safer unsafe code for .NET.

Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis.

Francesco Logozzo, Manuel Fähndrich

Proceedings of the Compiler Construction, 17th International Conference, 2008

2007

Establishing object invariants with delayed types.

Manuel Fähndrich, Songtao Xia

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

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

Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

2006

Reflective program generation with patterns.

Manuel Fähndrich, Michael Carbin, James R. Larus

Proceedings of the Generative Programming and Component Engineering, 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

Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

Deconstructing process isolation.

Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Galen C. Hunt, James R. Larus

Proceedings of the 2006 workshop on Memory System Performance and Correctness, 2006

2005

The Spec# Programming System: Challenges and Directions.

Michael Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs, K. Rustan M. Leino, Wolfram Schulte, Herman Venter

Proceedings of the Verified Software: Theories, 2005

2004

Righting Software.

James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy

IEEE Softw., 2004

Verification of Object-Oriented Programs with Invariants.

Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte

J. Object Technol., 2004

Typestates for Objects.

Robert DeLine, Manuel Fähndrich

Proceedings of the ECOOP 2004, 2004

2003

Declaring and checking non-null types in an object-oriented language.

Manuel Fähndrich, K. Rustan M. Leino

Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

2002

Adoption and Focus: Practical Linear Types for Imperative Programming.

Manuel Fähndrich, Robert DeLine

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

2001

Estimating the Impact of Scalable Pointer Analysis on Optimization.

Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof

Proceedings of the Static Analysis, 8th International Symposium, 2001

Type-base flow analysis: from polymorphic subtyping to CFL-reachability.

Jakob Rehof, Manuel Fähndrich

Proceedings of the Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2001

Enforcing High-Level Protocols in Low-Level Software.

Robert DeLine, Manuel Fähndrich

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

2000

Detecting races in Relay Ladder Logic programs.

Alexander Aiken, Manuel Fähndrich, Zhendong Su

Int. J. Softw. Tools Technol. Transf., 2000

Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C.

Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken

Proceedings of the Static Analysis, 7th International Symposium, 2000

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs.

Zhendong Su, Manuel Fähndrich, Alexander Aiken

Proceedings of the POPL 2000, 2000

Scalable context-sensitive flow analysis using instantiation constraints.

Manuel Fähndrich, Jakob Rehof, Manuvir Das

Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

1999

A Theory of Type Qualifiers.

Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken

Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

1998

A Toolkit for Constructing Type- and Constraint-Based Program Analyses.

Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su

Proceedings of the Types in Compilation, Second International Workshop, 1998

Partial Online Cycle Elimination in Inclusion Constraint Graphs.

Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

1997

Program Analysis Using Mixed Term and Set Constraints.

Manuel Fähndrich, Alexander Aiken

Proceedings of the Static Analysis, 4th International Symposium, 1997

Statically Checkable Pattern Abstractions.

Manuel Fähndrich, John Boyland

Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997

1995

Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages.

Alexander Aiken, Manuel Fähndrich, Raph Levien

Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995

Dynamic Typing and Subtype Inference.

Alexander Aiken, Manuel Fähndrich

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995