Parthasarathy Madhusudan

Artificial Intelligence · 2004–2006

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

Subfields

• Artificial Intelligence — 18 citations into it; #27,328 of 35,345 by trust here, #10,798 by citations
• Computational Theory and Mathematics — 14 citations into it; #9,478 of 12,182 by trust here, #1,700 by citations
• Software — 14 citations into it; #1,215 of 1,227 by trust here, #269 by citations

Whom Parthasarathy Madhusudan trusts overall

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

1. Thomas Ball
2. Sriram K. Rajamani
3. Hao Chen
4. Dana Angluin
5. John E. Hopcroft
6. Rajeev Alur
7. David A. Wagner
8. Bernhard Beckert

Who trusts Parthasarathy Madhusudan overall

1. Tao Xie
2. Jian Pei
3. Rajeev Alur

Papers from Parthasarathy Madhusudan's perspective

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

1. The SLAM project: debugging system software via static analysis
2. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
3. Bebop: A Symbolic Model Checker for Boolean Programs (SPIN)
4. Abstractions from proofs (ACM-SIGACT Symposium on Principles of Programming Languages)
5. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
6. Automatic extraction of object-oriented component interfaces (International Symposium on Software Testing and Analysis)
7. Mining specifications (ACM-SIGACT Symposium on Principles of Programming Languages)
8. Automatic discovery of linear restraints among variables of a program
9. Learning Regular Sets from Queries and Counterexamples
10. Dynamic logic (SIGA)

Their papers

• Synthesis of interface specifications for Java classes (2005) — 352 citations
• A Temporal Logic of Nested Calls and Returns (2004) — 3,365 citations
• Adding nesting structure to words (2006) — 405 citations
• Visibly pushdown languages (2004) — 608 citations