Manuel Fähndrich

Affiliations:
  • Microsoft Research


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Scaling static analyses at Facebook.
Commun. ACM, 2019

2015
User-aware privacy control via extended static-information-flow analysis.
Autom. Softw. Eng., 2015

Global Sequence Protocol: A Robust Abstraction for Replicated Shared State.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014
SAS2013 artifact submission experience report.
ACM SIGPLAN Notices, 2014

Verification modulo versions: towards usable verification.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Lessons from a web-based IDE and runtime.
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

2013
Abstracting Runtime Heaps for Program Understanding.
IEEE Trans. Software Eng., 2013

Automatic Inference of Necessary Preconditions.
Proceedings of the Verification, 2013

It's alive! continuous feedback in UI programming.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012
TouchDevelop: app development on mobile devices.
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).
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

A semantic integrated development environment.
Proceedings of the SPLASH'12, 2012

User-aware privacy control via extended static-information-flow analysis.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

The future of teaching programming is on mobile devices.
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Integrating a set of contract checking tools into visual studio.
Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

Eventually Consistent Transactions.
Proceedings of the Programming Languages and Systems, 2012

Cloud Types for Eventual Consistency.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop.
Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

Inference of Necessary Field Conditions with Abstract Interpretation.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011
Checking Compatibility of Bit Sizes in Floating Point Comparison Operations.
Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, 2011

Specification and verification: the Spec# experience.
Commun. ACM, 2011

TouchDevelop: programming cloud-connected mobile devices via touchscreen.
Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2011

Prettier concurrency: purely functional concurrent revisions.
Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

2010
Pentagons: A weakly relational abstract domain for the efficient validation of array accesses.
Sci. Comput. Program., 2010

Static Verification for Code Contracts.
Proceedings of the Static Analysis - 17th International Symposium, 2010

Embedded contract languages.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

SPUR: a trace-based JIT compiler for CIL.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Static Contract Checking with Abstract Interpretation.
Proceedings of the Formal Verification of Object-Oriented Software, 2010

2009
Inferring Dataflow Properties of User Defined Table Processors.
Proceedings of the Static Analysis, 16th International Symposium, 2009

Language-agnostic specification and verification: invited talk.
Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009

Exploiting the synergy between automated-test-generation and programming-by-contract.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Type-based flow analysis and context-free language reachability.
Math. Struct. Comput. Sci., 2008

A Static Analysis to Detect Re-Entrancy in Object Oriented Programs.
J. Object Technol., 2008

Safer unsafe code for .NET.
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis.
Proceedings of the Compiler Construction, 17th International Conference, 2008

2007
Establishing object invariants with delayed types.
Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Sealing OS processes to improve dependability and safety.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

2006
Reflective program generation with patterns.
Proceedings of the Generative Programming and Component Engineering, 2006

Language support for fast and reliable message-based communication in singularity OS.
Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

Deconstructing process isolation.
Proceedings of the 2006 workshop on Memory System Performance and Correctness, 2006

2005
The Spec# Programming System: Challenges and Directions.
Proceedings of the Verified Software: Theories, 2005

2004
Righting Software.
IEEE Softw., 2004

Verification of Object-Oriented Programs with Invariants.
J. Object Technol., 2004

Typestates for Objects.
Proceedings of the ECOOP 2004, 2004

2003
Declaring and checking non-null types in an object-oriented language.
Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

2002
Adoption and Focus: Practical Linear Types for Imperative Programming.
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.
Proceedings of the Static Analysis, 8th International Symposium, 2001

Type-base flow analysis: from polymorphic subtyping to CFL-reachability.
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.
Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

2000
Detecting races in Relay Ladder Logic programs.
Int. J. Softw. Tools Technol. Transf., 2000

Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C.
Proceedings of the Static Analysis, 7th International Symposium, 2000

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs.
Proceedings of the POPL 2000, 2000

Scalable context-sensitive flow analysis using instantiation constraints.
Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

1999
A Theory of Type Qualifiers.
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.
Proceedings of the Types in Compilation, Second International Workshop, 1998

Partial Online Cycle Elimination in Inclusion Constraint Graphs.
Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

1997
Program Analysis Using Mixed Term and Set Constraints.
Proceedings of the Static Analysis, 4th International Symposium, 1997

Statically Checkable Pattern Abstractions.
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.
Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995

Dynamic Typing and Subtype Inference.
Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995


  Loading...