Ella Bounimova

Artificial Intelligence · 2006

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

Subfields

Whom Ella Bounimova trusts overall

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

  1. Manuvir Das
  2. Thomas Ball
  3. Shaz Qadeer
  4. Seth Hallem
  5. Dawson R. Engler

Who trusts Ella Bounimova overall

  1. Cristiano Calcagno
  2. Ranjit Jhala

Papers from Ella Bounimova's perspective

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

  1. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  4. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  5. Unification-based pointer analysis with directional assignments (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  7. Automatically validating temporal safety properties of interfaces (SPIN)
  8. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  9. Lazy abstraction
  10. A system and language for building system-specific, static analyses (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers