Aarti Gupta

Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication · with Beckett · 2006–2017

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

Whom Aarti Gupta trusts overall

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

  1. N. Feamster
  2. Leonardo de Moura
  3. Peyman Kazemian

Who trusts Aarti Gupta overall

  1. Wei-Ngan Chin
  2. Corneliu Popeea

Papers from Aarti Gupta's perspective

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

  1. Detecting BGP configuration faults with static analysis
  2. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  3. The stable paths problem and interdomain routing (TNET)
  4. VeriFlow: verifying network-wide invariants in real time (HotSDN '12)
  5. Header Space Analysis: Static Checking for Networks (Symposium on Networked Systems Design and Implementation)
  6. Debugging the data plane with anteater (Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication)
  7. A static analyzer for large safety-critical software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)
  10. Z3: An Efficient SMT Solver

Their papers