Michael C. Martin

Information Systems · 2002–2005

A researcher in the Science corpus: 2 papers; trusts 5 researchers and is trusted by 6 researchers here, as inferred from the citation graph.

Subfields

• Information Systems — 11 citations into it; #3,823 of 8,771 by trust here, #2,604 by citations
• Artificial Intelligence — 9 citations into it; #18,727 of 35,345 by trust here, #15,004 by citations
• Software — 8 citations into it; #524 of 1,227 by trust here, #298 by citations
• Computer Networks and Communications — 5 citations into it

Whom Michael C. Martin trusts overall

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

1. Glenn Ammons
2. Thomas Ball
3. R. Deline
4. Dawson R. Engler

Who trusts Michael C. Martin overall

1. Benjamin Livshits
2. Raymond P. L. Buse
3. Mithun P. Acharya
4. Paolo Milani Comparetti
5. Rajeev Alur
6. Tao Xie
7. Hao Zhong
8. Zhendong Su

Papers from Michael C. Martin's perspective

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

1. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
2. Automatically validating temporal safety properties of interfaces (SPIN)
3. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
4. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
5. Mining specifications (ACM-SIGACT Symposium on Principles of Programming Languages)
6. Bugs as deviant behavior: a general approach to inferring errors in systems code
7. Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
8. The SLAM project: debugging system software via static analysis
9. A system and language for building system-specific, static analyses (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
10. Flow-sensitive type qualifiers (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers

• Finding application errors and security flaws using PQL: a program query language (2005) — 507 citations
• Automatic extraction of object-oriented component interfaces (2002) — 304 citations