Todd D. Millstein

Computer Networks and Communications · 2000–2015

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

Subfields

Whom Todd D. Millstein trusts overall

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

  1. Thomas Ball
  2. Manuvir Das
  3. Sriram K. Rajamani
  4. R. Deline

Who trusts Todd D. Millstein overall

  1. Thomas Ball
  2. Sriram K. Rajamani
  3. Rajeev Alur
  4. Cormac Flanagan
  5. Andreas Podelski

Papers from Todd D. Millstein's perspective

Ordered by how strongly the researchers Todd D. Millstein 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. Unification-based pointer analysis with directional assignments (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. Bebop: A Symbolic Model Checker for Boolean Programs (SPIN)
  4. Automatically validating temporal safety properties of interfaces (SPIN)
  5. ReVirt: enabling intrusion analysis through virtual-machine logging and replay (USENIX Symposium on Operating Systems Design and Implementation)
  6. Detecting BGP configuration faults with static analysis
  7. Understanding BGP misconfiguration (Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication)
  8. Discovery of policy anomalies in distributed firewalls (IEEE INFOCOM 2004)
  9. FIREMAN: a toolkit for firewall modeling and analysis (IEEE Symposium on Security and Privacy)
  10. VeriFlow: verifying network-wide invariants in real time (HotSDN '12)

Their papers