Mark Gabel

Information Systems · 2008–2016

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

Subfields

• Information Systems — 40 citations into it; #562 of 8,771 by trust here, #1,586 by citations
• Software — 30 citations into it; #72 of 1,227 by trust here, #185 by citations
• Artificial Intelligence — 17 citations into it; #7,774 of 35,345 by trust here, #15,004 by citations
• Computer Networks and Communications — 8 citations into it; #3,014 of 9,886 by trust here, #6,788 by citations
• Program Analysis & Verification — 8 citations into it; #30 of 301 by trust here, #42 by citations

Whom Mark Gabel trusts overall

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

1. Greg Nelson
2. Thomas Ball
3. Sudheendra Hangal
4. Manuvir Das
5. Glenn Ammons
6. Saul Schleimer
7. Aristides Gionis
8. Andrzej Wasylkowski
9. Davide Lorenzoli
10. Zhenmin Li

Who trusts Mark Gabel overall

1. Premkumar T. Devanbu
2. Miltiadis Allamanis
3. Anh Tuan Nguyen
4. Charles Sutton
5. Hlib Babii
6. Tien Nhut Nguyen
7. Rafael-Michael Karampatsis
8. Michele Tufano
9. Earl T. Barr
10. Hoan Anh Nguyen

Papers from Mark Gabel's perspective

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

1. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
2. Automatically validating temporal safety properties of interfaces (SPIN)
3. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
4. Bugs as deviant behavior: a general approach to inferring errors in systems code
5. Synthesis of interface specifications for Java classes (ACM-SIGACT Symposium on Principles of Programming Languages)
6. Perracotta: mining temporal API rules from imperfect traces (International Conference on Software Engineering)
7. Mining specifications (ACM-SIGACT Symposium on Principles of Programming Languages)
8. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
9. PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code (ESEC/FSE-13)
10. Automatic extraction of object-oriented component interfaces (International Symposium on Software Testing and Analysis)

Their papers

• On the naturalness of software (2016) — 292 citations
• A study of the uniqueness of source code (2010) — 235 citations
• Scalable detection of semantic clones (2008) — 384 citations
• Javert: fully automatic mining of general temporal properties from dynamic traces (2008) — 192 citations