J. Regehr

Information Systems · 2011–2012

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

Subfields

• Information Systems — 6 citations into it; #3,132 of 8,771 by trust here, #3,098 by citations
• Software — 6 citations into it; #441 of 1,227 by trust here, #345 by citations
• Signal Processing — 5 citations into it

Whom J. Regehr trusts overall

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

1. Ghassan Misherghi
2. Andreas Zeller
3. Bruno Blanchet
4. Zhendong Su

Who trusts J. Regehr overall

1. Kwonsoo Chae
2. Ugur Koc
3. Valentin J. M. Manès
4. Junjie Wang

Papers from J. Regehr's perspective

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

1. Finding and understanding bugs in C compilers
2. A static analyzer for large safety-critical software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
3. HDD: hierarchical delta debugging (International Conference on Software Engineering)
4. An integrated experimental environment for distributed systems and networks (USENIX Symposium on Operating Systems Design and Implementation)
5. Grammar-based whitebox fuzzing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
6. seL4: formal verification of an OS kernel
7. Formal verification of a realistic compiler
8. Bug isolation via remote program sampling (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
9. Isolating cause-effect chains from computer programs (SIGSOFT '02/FSE-10)
10. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers

• Test-case reduction for C compiler bugs (2012) — 418 citations
• Finding and understanding bugs in C compilers (2011) — 1,294 citations