Ding Yuan
Information Systems · 2007–2010
A researcher in the Science corpus: 2 papers; trusts 2 researchers and is trusted by 2 researchers here, as inferred from the citation graph.
Subfields
- Information Systems — 11 citations into it; #7,407 of 8,771 by trust here, #5,713 by citations
- Artificial Intelligence — 10 citations into it
- Software — 7 citations into it; #1,034 of 1,227 by trust here, #572 by citations
Whom Ding Yuan trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Ding Yuan overall
Papers from Ding Yuan's perspective
Ordered by how strongly the researchers Ding Yuan trusts endorse each paper. Same corpus, a different order for every researcher.
- Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
- Bugs as deviant behavior: a general approach to inferring errors in systems code
- A system and language for building system-specific, static analyses (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Isolating cause-effect chains from computer programs (SIGSOFT '02/FSE-10)
- From symptom to cause: localizing errors in counterexample traces
- Pi: a path identification mechanism to defend against DDoS attacks (2003 Symposium on Security and Privacy, 2003.)
- RacerX: effective, static detection of race conditions and deadlocks (Symposium on Operating Systems Principles)
- PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code (ESEC/FSE-13)
- Debugging Operating Systems with Time-Traveling Virtual Machines (Awarded General Track Best Paper Award!) (USENIX ATC, General Track)
- A Maximum Entropy Model for Part-Of-Speech Tagging
Their papers
- SherLog: error diagnosis by connecting clues from run-time logs (2010) — 344 citations
- /*icomment: bugs or bad comments?*/ (2007) — 328 citations