Manu Sridharan
Artificial Intelligence · 2002–2016
A researcher in the Science corpus: 5 papers; trusts 2 researchers and is trusted by 8 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 19 citations into it; #17,126 of 35,345 by trust here, #13,962 by citations
- Software — 11 citations into it; #603 of 1,227 by trust here, #1,006 by citations
Whom Manu Sridharan trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Manu Sridharan overall
- Ravi Mangal
- Marco Pistoia
- Xin Zhang
- Yannis Smaragdakis
- Martin Bravenboer
- Stephen J. Fink
- Aditya V. Nori
Papers from Manu Sridharan's perspective
Ordered by how strongly the researchers Manu Sridharan trusts endorse each paper. Same corpus, a different order for every researcher.
- Cloning-based context-sensitive pointer alias analysis using binary decision diagrams (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Refinement-based context-sensitive points-to analysis for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Towards Type Inference for JavaScript
- Type Analysis for JavaScript
- The ins and outs of gradual type inference
- Design and evaluation of gradual typing for python
- An analysis of the dynamic behavior of JavaScript programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
- Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
Their papers
- Refinement-based context-sensitive points-to analysis for Java (2006) — 339 citations
- Type inference for static compilation of JavaScript (2016) — 42 citations
- In defense of soundiness (2015) — 154 citations
- TAJ: effective taint analysis of web applications (2009) — 414 citations
- Efficient and precise datarace detection for multithreaded object-oriented programs (2002) — 442 citations