Feng Chen

Artificial Intelligence · with Roşu · 2007

A researcher in the Science corpus: 1 paper; trusts 6 researchers and is trusted by 2 researchers here, as inferred from the citation graph.

Subfields

Whom Feng Chen trusts overall

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

  1. Klaus Havelund
  2. Howard Barringer
  3. Grigore Roşu
  4. Fred B. Schneider
  5. Allen Goldberg
  6. Laurie J. Hendren

Who trusts Feng Chen overall

  1. Martin Leucker
  2. Christian Schallhart

Papers from Feng Chen's perspective

Ordered by how strongly the researchers Feng Chen trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Monitoring Java Programs with Java PathExplorer (RV@CAV)
  2. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
  3. Advanced SQL Injection In SQL Server Applications
  4. The DaCapo benchmarks: java benchmarking development and analysis (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  5. abc: an extensible AspectJ compiler (Aspect-Oriented Software Development)
  6. Enforceable security policies (Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems])
  7. Rule-Based Runtime Verification (International Conference on Verification, Model Checking and Abstract Interpretation)
  8. Adding trace matching with free variables to AspectJ (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  9. A system and language for building system-specific, static analyses (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. Optimizing Java Bytecode Using the Soot Framework: Is It Feasible? (International Conference on Compiler Construction)

Their papers