Chandrasekhar Boyapati

Artificial Intelligence · 2001–2002

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

Subfields

• Artificial Intelligence — 10 citations into it; #11,433 of 35,345 by trust here, #16,471 by citations
• Computational Theory and Mathematics — 8 citations into it; #3,431 of 12,182 by trust here, #6,165 by citations
• Software — 8 citations into it; #171 of 1,227 by trust here, #383 by citations
• Hardware and Architecture — 7 citations into it; #269 of 1,551 by trust here, #494 by citations
• Computer Networks and Communications — 5 citations into it

Whom Chandrasekhar Boyapati trusts overall

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

1. Cormac Flanagan
2. Anders Møller
3. Stephen N. Freund
4. Christoph von Praun
5. Yoonsik Cheon
6. Darko Marinov
7. D. Clarke
8. Daniel Jackson
9. Michael I. Schwartzbach
10. Jong-Deok Choi

Who trusts Chandrasekhar Boyapati overall

1. Koushik Sen
2. Patrice Godefroid
3. Cormac Flanagan
4. Peter W. O'Hearn
5. Paolo Tonella
6. Sarfraz Khurshid
7. Willem Visser
8. Shaz Qadeer
9. John Tang Boyland
10. Corina S. Pasareanu

Papers from Chandrasekhar Boyapati's perspective

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

1. Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
2. A parameterized type system for race-free Java programs (Conference on Object-Oriented Programming Systems, Languages, and Applications)
3. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
4. Bandera: extracting finite-state models from Java source code (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
5. Object race detection (Conference on Object-Oriented Programming Systems, Languages, and Applications)
6. Introduction to algorithms
7. The unified modeling language reference manual
8. Test-infected: programmers love writing tests
9. Efficient and precise datarace detection for multithreaded object-oriented programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
10. The pointer assertion logic engine (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers

• Korat: automated testing based on Java predicates (2002) — 778 citations
• Ownership types for safe programming: preventing data races and deadlocks (2002) — 626 citations
• A parameterized type system for race-free Java programs (2001) — 308 citations