Ravi Mangal

Artificial Intelligence · 2015

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

Subfields

Whom Ravi Mangal trusts overall

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

  1. Benjamin Livshits
  2. Martin Bravenboer
  3. Yannis Smaragdakis
  4. John Whaley
  5. Monica S. Lam
  6. Manu Sridharan
  7. Mayur Naik
  8. Pedro M. Domingos
  9. Rastislav Bodík
  10. A. Aiken

Who trusts Ravi Mangal overall

  1. Miltiadis Allamanis
  2. Kwonsoo Chae
  3. Petar Tsankov
  4. Earl T. Barr
  5. Hakjoo Oh

Papers from Ravi Mangal's perspective

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

  1. Cloning-based context-sensitive pointer alias analysis using binary decision diagrams (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Refinement-based context-sensitive points-to analysis for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. Effective static race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. Strictly declarative specification of sophisticated points-to analyses (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  5. Parameterized object sensitivity for points-to analysis for Java (TSEM)
  6. Discriminative Training of Markov Logic Networks (AAAI Conference on Artificial Intelligence)
  7. Markov Logic: An Interface Layer for Artificial Intelligence (Markov Logic)
  8. The Alchemy System for Statistical Relational AI: User Manual
  9. Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS (Proceedings of the VLDB Endowment)
  10. The DaCapo benchmarks: java benchmarking development and analysis (Conference on Object-Oriented Programming Systems, Languages, and Applications)

Their papers