Corneliu Popeea

2006

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

Whom Corneliu Popeea trusts overall

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

  1. Cormac Flanagan
  2. Jack J. Dongarra
  3. Sriram Sankaranarayanan
  4. Bruno Blanchet
  5. Shaz Qadeer
  6. Piotr Luszczek
  7. Antoine Petitet
  8. Kousha Etessami

Who trusts Corneliu Popeea overall

  1. Timon Gehr
  2. Matthew Mirman

Papers from Corneliu Popeea's perspective

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

  1. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  2. Automatic discovery of linear restraints among variables of a program
  3. A static analyzer for large safety-critical software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. The LINPACK Benchmark: past, present and future (Concurrency and Computation)
  5. Predicate abstraction for software verification (ACM-SIGACT Symposium on Principles of Programming Languages)
  6. Static Analysis in Disjunctive Numerical Domains
  7. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Lazy abstraction
  10. The SLAM project: debugging system software via static analysis

Their papers