Xuejun Yang

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

Whom Xuejun Yang trusts overall

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

1. Gerwin Klein
2. Xavier Leroy
3. Ghassan Misherghi

Who trusts Xuejun Yang 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 Xuejun Yang's perspective

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

1. Finding and understanding bugs in C compilers
2. An integrated experimental environment for distributed systems and networks (USENIX Symposium on Operating Systems Design and Implementation)
3. Grammar-based whitebox fuzzing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
4. HDD: hierarchical delta debugging (International Conference on Software Engineering)
5. A static analyzer for large safety-critical software (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. Terra: a virtual machine-based platform for trusted computing (Symposium on Operating Systems Principles)
9. Software Verification with BLAST (SPIN)
10. The protection of information in computer systems

Their papers

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