Manuvir Das

Software · 2000–2006

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

Subfields

• Software — 16 citations into it; #62 of 1,227 by trust here, #298 by citations
• Information Systems — 13 citations into it; #8,025 of 8,771 by trust here, #5,078 by citations
• Artificial Intelligence — 7 citations into it; #3,571 of 35,345 by trust here, #11,750 by citations
• Computational Theory and Mathematics — 5 citations into it; #2,311 of 12,182 by trust here, #3,339 by citations

Whom Manuvir Das trusts overall

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

1. Greg Nelson
2. Dawson R. Engler
3. Thomas Ball
4. Cormac Flanagan
5. R. Deline
6. Glenn Ammons
7. Jeffrey S. Foster
8. Sriram K. Rajamani
9. Andy Chou
10. Manuel Fähndrich

Who trusts Manuvir Das overall

1. Thomas Ball
2. Shaz Qadeer
3. Derek M. Jones
4. Sriram K. Rajamani
5. Stephen J. Fink
6. Ondřej Lhoták
7. Gogul Balakrishnan
8. Dawson R. Engler
9. Patrice Godefroid
10. Ranjit Jhala

Papers from Manuvir Das's perspective

Ordered by how strongly the researchers Manuvir Das 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. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
3. Houdini, an Annotation Assistant for ESC/Java (FME)
4. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
5. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
6. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
7. Flow-sensitive type qualifiers (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. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
10. A system and language for building system-specific, static analyses (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers

• ESP: path-sensitive program verification in polynomial time (2002) — 610 citations
• Perracotta: mining temporal API rules from imperfect traces (2006) — 428 citations
• Unification-based pointer analysis with directional assignments (2000) — 333 citations