Dimiter Milushev

Artificial Intelligence · 2012

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

Subfields

Whom Dimiter Milushev trusts overall

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

  1. Koushik Sen
  2. Tachio Terauchi
  3. Patrice Godefroid
  4. Cristian Cadar
  5. Andrei Sabelfeld
  6. A. Aiken
  7. Nils Klarlund
  8. Darko Marinov
  9. A. Myers
  10. Steve Zdancewic

Who trusts Dimiter Milushev overall

  1. Gian Pietro Farina
  2. Stephen Chong

Papers from Dimiter Milushev's perspective

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

  1. Symbolic execution and program testing
  2. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
  4. Language-based information-flow security (IEEE J. Sel. Areas Commun.)
  5. Information flow inference for ML (ACM-SIGACT Symposium on Principles of Programming Languages)
  6. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
  7. Observational determinism for concurrent program security (16th IEEE Computer Security Foundations Workshop, 2003. Proceedings.)
  8. Secure Information Flow as a Safety Problem (Sensors Applications Symposium)
  9. Dimensions and principles of declassification (18th IEEE Computer Security Foundations Workshop (CSFW'05))
  10. Lazy abstraction

Their papers