default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDManuel Fähndrich
Person information
- affiliation: Microsoft Research
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[j11]Dino Distefano, Manuel Fähndrich, Francesco Logozzo, Peter W. O'Hearn:
Scaling static analyses at Facebook. Commun. ACM 62(8): 62-70 (2019)- 2015
- [j10]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): 333-366 (2015) - [c51]Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich:
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State. ECOOP 2015: 568-590 - 2014
- [j9]Manuel Fähndrich, Francesco Logozzo:
SAS2013 artifact submission experience report. ACM SIGPLAN Notices 49(4S): 39-40 (2014) - [c50]Manuel Fähndrich:
Lessons from a web-based IDE and runtime. PEPM 2014: 1-2 - [c49]Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear:
Verification modulo versions: towards usable verification. PLDI 2014: 294-304 - 2013
- [j8]Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich:
Abstracting Runtime Heaps for Program Understanding. IEEE Trans. Software Eng. 39(6): 774-786 (2013) - [c48]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: 95-104 - [c47]Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo:
Automatic Inference of Necessary Preconditions. VMCAI 2013: 128-148 - [e2]Francesco Logozzo, Manuel Fähndrich:
Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings. Lecture Notes in Computer Science 7935, Springer 2013, ISBN 978-3-642-38855-2 [contents] - 2012
- [c46]Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich:
Inference of Necessary Field Conditions with Abstract Interpretation. APLAS 2012: 173-189 - [c45]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: 87-89 - [c44]Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, Benjamin P. Wood:
Cloud Types for Eventual Consistency. ECOOP 2012: 283-307 - [c43]Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv:
Eventually Consistent Transactions. ESOP 2012: 67-86 - [c42]Manuel Fähndrich, Michael Barnett, Daan Leijen, Francesco Logozzo:
Integrating a set of contract checking tools into visual studio. TOPI@ICSE 2012: 43-48 - [c41]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: 156-161 - [c40]Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal:
User-aware privacy control via extended static-information-flow analysis. ASE 2012: 80-89 - [c39]Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot:
A semantic integrated development environment. SPLASH 2012: 15-16 - [c38]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: 663 - [c37]Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Sebastian Burckhardt:
TouchDevelop: app development on mobile devices. SIGSOFT FSE 2012: 39 - [i1]Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich:
Abstracting Runtime Heaps for Program Understanding. CoRR abs/1201.1327 (2012) - 2011
- [j7]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): 81-91 (2011) - [c36]Daan Leijen, Manuel Fähndrich, Sebastian Burckhardt:
Prettier concurrency: purely functional concurrent revisions. Haskell 2011: 83-94 - [c35]Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich:
TouchDevelop: programming cloud-connected mobile devices via touchscreen. Onward! 2011: 49-60 - [c34]Manuel Fähndrich, Francesco Logozzo:
Checking Compatibility of Bit Sizes in Floating Point Comparison Operations. NSAD@SAS 2011: 15-23 - 2010
- [j6]Francesco Logozzo, Manuel Fähndrich:
Pentagons: A weakly relational abstract domain for the efficient validation of array accesses. Sci. Comput. Program. 75(9): 796-807 (2010) - [c33]Manuel Fähndrich, Francesco Logozzo:
Static Contract Checking with Abstract Interpretation. FoVeOOS 2010: 10-30 - [c32]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: 708-725 - [c31]Manuel Fähndrich, Michael Barnett, Francesco Logozzo:
Embedded contract languages. SAC 2010: 2103-2110 - [c30]Manuel Fähndrich:
Static Verification for Code Contracts. SAS 2010: 2-5
2000 – 2009
- 2009
- [c29]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: 401-402 - [c28]Manuel Fähndrich:
Language-agnostic specification and verification: invited talk. PLPV 2009: 1-2 - [c27]Songtao Xia, Manuel Fähndrich, Francesco Logozzo:
Inferring Dataflow Properties of User Defined Table Processors. SAS 2009: 19-35 - 2008
- [j5]Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte:
A Static Analysis to Detect Re-Entrancy in Object Oriented Programs. J. Object Technol. 7(5): 5-23 (2008) - [j4]Manuel Fähndrich, Jakob Rehof:
Type-based flow analysis and context-free language reachability. Math. Struct. Comput. Sci. 18(5): 823-894 (2008) - [c26]Francesco Logozzo, Manuel Fähndrich:
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. CC 2008: 197-212 - [c25]Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich:
Safer unsafe code for .NET. OOPSLA 2008: 329-346 - [c24]Francesco Logozzo, Manuel Fähndrich:
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. SAC 2008: 184-188 - 2007
- [c23]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: 341-354 - [c22]Manuel Fähndrich, Songtao Xia:
Establishing object invariants with delayed types. OOPSLA 2007: 337-350 - 2006
- [c21]Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Galen C. Hunt, James R. Larus:
Deconstructing process isolation. Memory System Performance and Correctness 2006: 1-10 - [c20]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: 177-190 - [c19]Manuel Fähndrich, Michael Carbin, James R. Larus:
Reflective program generation with patterns. GPCE 2006: 275-284 - 2005
- [c18]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: 144-152 - [e1]J. Gregory Morrisett, Manuel Fähndrich:
Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005. ACM 2005, ISBN 1-58113-999-3 [contents] - 2004
- [j3]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): 27-56 (2004) - [j2]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): 92-100 (2004) - [c17]Robert DeLine, Manuel Fähndrich:
Typestates for Objects. ECOOP 2004: 465-490 - 2003
- [c16]Manuel Fähndrich, K. Rustan M. Leino:
Declaring and checking non-null types in an object-oriented language. OOPSLA 2003: 302-312 - 2002
- [c15]Manuel Fähndrich, Robert DeLine:
Adoption and Focus: Practical Linear Types for Imperative Programming. PLDI 2002: 13-24 - 2001
- [c14]Robert DeLine, Manuel Fähndrich:
Enforcing High-Level Protocols in Low-Level Software. PLDI 2001: 59-69 - [c13]Jakob Rehof, Manuel Fähndrich:
Type-base flow analysis: from polymorphic subtyping to CFL-reachability. POPL 2001: 54-66 - [c12]Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof:
Estimating the Impact of Scalable Pointer Analysis on Optimization. SAS 2001: 260-278 - 2000
- [j1]Alexander Aiken, Manuel Fähndrich, Zhendong Su:
Detecting races in Relay Ladder Logic programs. Int. J. Softw. Tools Technol. Transf. 3(1): 93-105 (2000) - [c11]Manuel Fähndrich, Jakob Rehof, Manuvir Das:
Scalable context-sensitive flow analysis using instantiation constraints. PLDI 2000: 253-263 - [c10]Zhendong Su, Manuel Fähndrich, Alexander Aiken:
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. POPL 2000: 81-95 - [c9]Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken:
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. SAS 2000: 175-198
1990 – 1999
- 1999
- [c8]Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken:
A Theory of Type Qualifiers. PLDI 1999: 192-203 - 1998
- [c7]Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken:
Partial Online Cycle Elimination in Inclusion Constraint Graphs. PLDI 1998: 85-96 - [c6]Alexander Aiken, Manuel Fähndrich, Zhendong Su:
Detecting Races in Relay Ladder Logic Programs. TACAS 1998: 184-200 - [c5]Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su:
A Toolkit for Constructing Type- and Constraint-Based Program Analyses. Types in Compilation 1998: 78-96 - 1997
- [c4]Manuel Fähndrich, John Boyland:
Statically Checkable Pattern Abstractions. ICFP 1997: 75-84 - [c3]Manuel Fähndrich, Alexander Aiken:
Program Analysis Using Mixed Term and Set Constraints. SAS 1997: 114-126 - 1995
- [c2]Alexander Aiken, Manuel Fähndrich:
Dynamic Typing and Subtype Inference. FPCA 1995: 182-191 - [c1]Alexander Aiken, Manuel Fähndrich, Raph Levien:
Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. PLDI 1995: 174-185
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-10 21:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
