Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Manuel Fähndrich" ( http://dblp.L3S.de/Authors/Manuel_Fähndrich )

URL (Homepage):  http://research.microsoft.com/~maf/  Author page on DBLP  Author page in RDF  Community of Manuel Fähndrich in ASPL-2

Publication years (Num. hits)
1995-2001 (15) 2002-2008 (17) 2009-2012 (13)
Publication types (Num. hits)
article(8) inproceedings(36) proceedings(1)
Venues (Conferences, Journals, ...)
PLDI(6) SAS(5) OOPSLA(4) EuroSys(2) Journal of Object Technology(2) POPL(2) SAC(2) CC(1) Commun. ACM(1) CoRR(1) ECOOP(1) ESOP(1) FoVeOOS(1) FPCA(1) GPCE(1) Haskell(1) More (+10 of total 29)
Authors
Manuel Fähndrich(45) Alexander Aiken(10) Francesco Logozzo(9) Robert DeLine(6) Zhendong Su(6) James R. Larus(5) Wolfram Schulte(5) Jakob Rehof(4) Jeffrey S. Foster(4) K. Rustan M. Leino(4) Michael Barnett(4) Chris Hawblitzel(3) Galen C. Hunt(3) Herman Venter(3) Manuvir Das(3) Mark Aiken(3) More (+10 of total 48)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 39 occurrences of 30 keywords
Results
Found 45 publication records. Showing 45 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Mark Marron, Cesar Sanchez, Zhendong Su, Manuel Fähndrich Abstracting Runtime Heaps for Program Understanding Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Nikolai 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). Search on Bibsonomy SIGCSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv Eventually Consistent Transactions. Search on Bibsonomy ESOP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter Specification and verification: the Spec# experience. Search on Bibsonomy Commun. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Daan Leijen, Manuel Fähndrich, Sebastian Burckhardt Prettier concurrency: purely functional concurrent revisions. Search on Bibsonomy Haskell The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francesco Logozzo, Manuel Fähndrich Pentagons: A weakly relational abstract domain for the efficient validation of array accesses. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Manuel Fähndrich, Michael Barnett, Francesco Logozzo Embedded contract languages. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF CodeContracts, C#, NET
1Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter SPUR: a trace-based JIT compiler for CIL. Search on Bibsonomy OOPSLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Manuel Fähndrich Static Verification for Code Contracts. Search on Bibsonomy SAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Manuel Fähndrich, Francesco Logozzo Static Contract Checking with Abstract Interpretation. Search on Bibsonomy FoVeOOS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Manuel Fähndrich Language-agnostic specification and verification: invited talk. Search on Bibsonomy PLPV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF specifications, static analysis, abstract interpretation, contracts, net
1Songtao Xia, Manuel Fähndrich, Francesco Logozzo Inferring Dataflow Properties of User Defined Table Processors. Search on Bibsonomy SAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann Exploiting the synergy between automated-test-generation and programming-by-contract. Search on Bibsonomy ICSE Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Manuel Fähndrich, Jakob Rehof Type-based flow analysis and context-free language reachability. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Manuel Fähndrich, Diego Garbervetsky, Wolfram Schulte A Static Analysis to Detect Re-Entrancy in Object Oriented Programs. Search on Bibsonomy Journal of Object Technology The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Francesco Logozzo, Manuel Fähndrich Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF NET framework, bounds checking, numerical domains, static analysis, abstract interpretation, abstract domains
1Francesco Logozzo, Manuel Fähndrich On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. Search on Bibsonomy CC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich Safer unsafe code for .NET. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF bounds checking, pointer indexing, static analysis, abstract interpretation, design by contract, NET, abstract domains
1Manuel Fähndrich, Songtao Xia Establishing object invariants with delayed types. Search on Bibsonomy OOPSLA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF non-null types, object invariants, initialization
1Galen 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. Search on Bibsonomy EuroSys The full citation details ... 2007 DBLP  DOI  BibTeX  RDF open process architecture, sealed kernel, sealed process architecture, software isolated process (SIP)
1Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Galen C. Hunt, James R. Larus Deconstructing process isolation. Search on Bibsonomy Memory System Performance and Correctness The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hardware isolated process (HIP), hardware protection domain, software isolated process (SIP), singularity
1Manuel Fähndrich, Michael Carbin, James R. Larus Reflective program generation with patterns. Search on Bibsonomy GPCE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF patterns, reflection, generative programming, templates
1Manuel 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. Search on Bibsonomy EuroSys The full citation details ... 2006 DBLP  DOI  BibTeX  RDF data ownership, protocols, asynchronous communication, channels, static checking
1Michael Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs 0002, K. Rustan M. Leino, Wolfram Schulte, Herman Venter The Spec# Programming System: Challenges and Directions. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1J. Gregory Morrisett, Manuel Fähndrich (eds.) Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005 Search on Bibsonomy TLDI The full citation details ... 2005 DBLP  BibTeX  RDF
1James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy Righting Software. Search on Bibsonomy IEEE Software The full citation details ... 2004 DBLP  DOI  BibTeX  RDF software engineering, model checking, formal methods, coding tools and techniques
1Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte Verification of Object-Oriented Programs with Invariants. Search on Bibsonomy Journal of Object Technology The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Robert DeLine, Manuel Fähndrich Typestates for Objects. Search on Bibsonomy ECOOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Manuel Fähndrich, K. Rustan M. Leino Declaring and checking non-null types in an object-oriented language. Search on Bibsonomy OOPSLA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF non-null types, null references, Java, type system, c#
1Manuel Fähndrich, Robert DeLine Adoption and Focus: Practical Linear Types for Imperative Programming. Search on Bibsonomy PLDI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF heap aliasing, linear types, region-based memory management
1Robert DeLine, Manuel Fähndrich Enforcing High-Level Protocols in Low-Level Software. Search on Bibsonomy PLDI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jakob Rehof, Manuel Fähndrich Type-base flow analysis: from polymorphic subtyping to CFL-reachability. Search on Bibsonomy POPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof Estimating the Impact of Scalable Pointer Analysis on Optimization. Search on Bibsonomy SAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Alexander Aiken, Manuel Fähndrich, Zhendong Su Detecting races in Relay Ladder Logic programs. Search on Bibsonomy STTT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Verification, Testing, Static analysis, Constraints, Software
1Manuel Fähndrich, Jakob Rehof, Manuvir Das Scalable context-sensitive flow analysis using instantiation constraints. Search on Bibsonomy PLDI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Zhendong Su, Manuel Fähndrich, Alexander Aiken Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. Search on Bibsonomy POPL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. Search on Bibsonomy SAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken A Theory of Type Qualifiers. Search on Bibsonomy PLDI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken Partial Online Cycle Elimination in Inclusion Constraint Graphs. Search on Bibsonomy PLDI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Alexander Aiken, Manuel Fähndrich, Zhendong Su Detecting Races in Relay Ladder Logic Programs. Search on Bibsonomy TACAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su A Toolkit for Constructing Type- and Constraint-Based Program Analyses. Search on Bibsonomy Types in Compilation The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Manuel Fähndrich, John Boyland Statically Checkable Pattern Abstractions. Search on Bibsonomy ICFP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ML
1Manuel Fähndrich, Alexander Aiken Program Analysis Using Mixed Term and Set Constraints. Search on Bibsonomy SAS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Alexander Aiken, Manuel Fähndrich, Raph Levien Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. Search on Bibsonomy PLDI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Alexander Aiken, Manuel Fähndrich Dynamic Typing and Subtype Inference. Search on Bibsonomy FPCA The full citation details ... 1995 DBLP  BibTeX  RDF
Displaying result #1 - #45 of 45 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.