Yang Chen

Information Systems · with Eide · 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,133 of 8,771 by trust here, #3,098 by citations
• Software — 6 citations into it; #442 of 1,227 by trust here, #345 by citations
• Signal Processing — 5 citations into it

Whom Yang Chen trusts overall

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

1. Ghassan Misherghi
2. Andreas Zeller

Who trusts Yang Chen overall

1. Junjie Wang
2. Jibesh Patra
3. Caroline Lemieux
4. Suman Sekhar Jana
5. Bihuan Chen
6. Kexin Pei
7. Emily First
8. Theofilos Petsios
9. George Argyros
10. Chad Brubaker

Papers from Yang Chen's perspective

Ordered by how strongly the researchers Yang Chen 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. An integrated experimental environment for distributed systems and networks (USENIX Symposium on Operating Systems Design and Implementation)
4. HDD: hierarchical delta debugging (International Conference on Software Engineering)
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. DART: directed automated random testing (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