The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Manuel Fähndrich: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Robert DeLine, Manuel Fähndrich
    Typestates for Objects. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2004, pp:465-490 [Conf]
  2. Alexander Aiken, Manuel Fähndrich
    Dynamic Typing and Subtype Inference. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:182-191 [Conf]
  3. Manuel Fähndrich, Michael Carbin, James R. Larus
    Reflective program generation with patterns. [Citation Graph (0, 0)][DBLP]
    GPCE, 2006, pp:275-284 [Conf]
  4. Manuel Fähndrich, John Boyland
    Statically Checkable Pattern Abstractions. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:75-84 [Conf]
  5. Manuel Fähndrich, K. Rustan M. Leino
    Declaring and checking non-null types in an object-oriented language. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2003, pp:302-312 [Conf]
  6. Alexander Aiken, Manuel Fähndrich, Raph Levien
    Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages. [Citation Graph (0, 0)][DBLP]
    PLDI, 1995, pp:174-185 [Conf]
  7. Robert DeLine, Manuel Fähndrich
    Enforcing High-Level Protocols in Low-Level Software. [Citation Graph (0, 0)][DBLP]
    PLDI, 2001, pp:59-69 [Conf]
  8. Manuel Fähndrich, Robert DeLine
    Adoption and Focus: Practical Linear Types for Imperative Programming. [Citation Graph (0, 0)][DBLP]
    PLDI, 2002, pp:13-24 [Conf]
  9. Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken
    Partial Online Cycle Elimination in Inclusion Constraint Graphs. [Citation Graph (0, 0)][DBLP]
    PLDI, 1998, pp:85-96 [Conf]
  10. Manuel Fähndrich, Jakob Rehof, Manuvir Das
    Scalable context-sensitive flow analysis using instantiation constraints. [Citation Graph (0, 0)][DBLP]
    PLDI, 2000, pp:253-263 [Conf]
  11. Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken
    A Theory of Type Qualifiers. [Citation Graph (0, 0)][DBLP]
    PLDI, 1999, pp:192-203 [Conf]
  12. Jakob Rehof, Manuel Fähndrich
    Type-base flow analysis: from polymorphic subtyping to CFL-reachability. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:54-66 [Conf]
  13. Zhendong Su, Manuel Fähndrich, Alexander Aiken
    Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:81-95 [Conf]
  14. Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof
    Estimating the Impact of Scalable Pointer Analysis on Optimization. [Citation Graph (0, 0)][DBLP]
    SAS, 2001, pp:260-278 [Conf]
  15. Manuel Fähndrich, Alexander Aiken
    Program Analysis Using Mixed Term and Set Constraints. [Citation Graph (0, 0)][DBLP]
    SAS, 1997, pp:114-126 [Conf]
  16. Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken
    Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:175-198 [Conf]
  17. Alexander Aiken, Manuel Fähndrich, Zhendong Su
    Detecting Races in Relay Ladder Logic Programs. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:184-200 [Conf]
  18. Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su
    A Toolkit for Constructing Type- and Constraint-Based Program Analyses. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:78-96 [Conf]
  19. 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. [Citation Graph (0, 0)][DBLP]
    EuroSys, 2006, pp:177-190 [Conf]
  20. Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte
    Verification of Object-Oriented Programs with Invariants. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2004, v:3, n:6, pp:27-56 [Journal]
  21. James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy
    Righting Software. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2004, v:21, n:3, pp:92-100 [Journal]
  22. Alexander Aiken, Manuel Fähndrich, Zhendong Su
    Detecting races in Relay Ladder Logic programs. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:3, n:1, pp:93-105 [Journal]
  23. Manuel Fähndrich, Songtao Xia
    Establishing object invariants with delayed types. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2007, pp:337-350 [Conf]
  24. 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. [Citation Graph (0, 0)][DBLP]
    EuroSys, 2007, pp:341-354 [Conf]

  25. Deconstructing process isolation. [Citation Graph (, )][DBLP]


  26. On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. [Citation Graph (, )][DBLP]


  27. Exploiting the synergy between automated-test-generation and programming-by-contract. [Citation Graph (, )][DBLP]


  28. Safer unsafe code for .NET. [Citation Graph (, )][DBLP]


  29. Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. [Citation Graph (, )][DBLP]


  30. Embedded contract languages. [Citation Graph (, )][DBLP]


  31. Inferring Dataflow Properties of User Defined Table Processors. [Citation Graph (, )][DBLP]


  32. Static Verification for Code Contracts. [Citation Graph (, )][DBLP]


  33. Language-agnostic specification and verification: invited talk. [Citation Graph (, )][DBLP]


  34. The Spec# Programming System: Challenges and Directions. [Citation Graph (, )][DBLP]


Search in 0.762secs, Finished in 0.764secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002