Pradeep Varma

2009

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

Whom Pradeep Varma trusts overall

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

  1. Olatunji Ruwase
  2. George C. Necula
  3. Wei Xu
  4. Trevor Jim
  5. Monica S. Lam
  6. Nicholas Nethercote
  7. Julian Seward
  8. Scott McPeak
  9. Daniel C. DuVarney
  10. Emery D. Berger

Who trusts Pradeep Varma overall

  1. Da-Wei Zhou

Papers from Pradeep Varma's perspective

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

  1. Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
  2. CCured: type-safe retrofitting of legacy code (ACM-SIGACT Symposium on Principles of Programming Languages)
  3. A Practical Dynamic Buffer Overflow Detector (Network and Distributed System Security Symposium)
  4. Using Valgrind to Detect Undefined Value Errors with Bit-Precision (USENIX ATC, General Track)
  5. An efficient and backwards-compatible transformation to ensure memory safety of C programs
  6. Valgrind: a framework for heavyweight dynamic binary instrumentation (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. DieHard: probabilistic memory safety for unsafe languages (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)
  9. Adam: A Method for Stochastic Optimization (International Conference on Learning Representations)
  10. BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding (North American Chapter of the Association for Computational Linguistics)

Their papers