Rupak Majumdar

Computational Theory and Mathematics · 2001–2009

A researcher in the Science corpus: 9 papers; trusts 52 researchers and is trusted by 60 researchers here, as inferred from the citation graph.

Subfields

• Computational Theory and Mathematics — 68 citations into it; #609 of 12,182 by trust here, #845 by citations
• Software — 67 citations into it; #60 of 1,227 by trust here, #114 by citations
• Artificial Intelligence — 52 citations into it; #7,885 of 35,345 by trust here, #10,798 by citations
• Control and Systems Engineering — 23 citations into it
• Computer Networks and Communications — 22 citations into it
• Information Systems — 18 citations into it; #2,553 of 8,771 by trust here, #5,078 by citations
• Hardware and Architecture — 15 citations into it; #430 of 1,551 by trust here, #471 by citations
• Signal Processing — 11 citations into it

Whom Rupak Majumdar trusts overall

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

1. Thomas Ball
2. Patrice Godefroid
3. Sriram K. Rajamani
4. Greg Nelson
5. Koushik Sen
6. Willem Visser
7. Manuvir Das
8. George C. Necula
9. Nils Klarlund
10. Kenneth L. McMillan

Who trusts Rupak Majumdar overall

1. Thomas Ball
2. Kenneth L. McMillan
3. Koushik Sen
4. Cristian Cadar
5. Wontae Choi
6. Patrice Godefroid
7. Sang Kil Cha
8. Sriram K. Rajamani
9. Sanjay Rawat
10. Timon Gehr

Papers from Rupak Majumdar's perspective

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

1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
2. The SLAM project: debugging system software via static analysis
3. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
4. Lazy abstraction
5. Automatically validating temporal safety properties of interfaces (SPIN)
6. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
7. Symbolic execution and program testing
8. Simplify: a theorem prover for program checking (JACM)
9. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
10. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers

• Lazy abstraction (2002) — 1,248 citations
• Automatic predicate abstraction of C programs (2001) — 676 citations
• Abstractions from proofs (2004) — 465 citations
• Software Verification with BLAST (2003) — 527 citations
• Software model checking (2009) — 465 citations
• Symbolic Robustness Analysis (2009) — 56 citations
• The software model checker Blast (2007) — 546 citations
• Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach (2009) — 577 citations
• Hybrid Concolic Testing (2007) — 443 citations