Manuel Fähndrich

Hardware and Architecture · 2001–2006

A researcher in the Science corpus: 5 papers; trusts 6 researchers and is trusted by 36 researchers here, as inferred from the citation graph.

Subfields

Whom Manuel Fähndrich trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. R. Deline
  2. Greg Nelson
  3. Dawson R. Engler

Who trusts Manuel Fähndrich overall

  1. R. Deline
  2. Mike Barnett
  3. Greg Nelson
  4. Martín Abadi
  5. Thomas Ball
  6. John Tang Boyland
  7. Gerwin Klein
  8. David E. Gay
  9. Simon J. Gay
  10. Manuvir Das

Papers from Manuel Fähndrich's perspective

Ordered by how strongly the researchers Manuel Fähndrich trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  3. Ownership types for safe programming: preventing data races and deadlocks (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  4. An overview of JML tools and applications (International Journal on Software Tools for Technology Transfer (STTT))
  5. Typestates for Objects (European Conference on Object-Oriented Programming)
  6. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
  8. IO-Lite (ACM Transactions on Computer Systems)
  9. The Real-Time Specification for Java (Computer)
  10. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION

Their papers