Derek Bruening

Artificial Intelligence · 2002–2012

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

Subfields

• Artificial Intelligence — 15 citations into it; #17,784 of 35,345 by trust here, #24,417 by citations
• Hardware and Architecture — 13 citations into it; #585 of 1,551 by trust here, #954 by citations
• Information Systems — 10 citations into it
• Computer Networks and Communications — 9 citations into it
• Software — 7 citations into it; #500 of 1,227 by trust here, #718 by citations
• Signal Processing — 5 citations into it

Whom Derek Bruening trusts overall

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

1. David A. Wagner
2. Julian Seward
3. Nicholas Nethercote
4. George C. Necula
5. Vladimir Kiriansky
6. Emery D. Berger
7. Fred B. Schneider
8. Leslie Lamport
9. Saman P. Amarasinghe
10. Jeffrey S. Foster

Who trusts Derek Bruening overall

1. Charles E. Leiserson
2. Kostya Serebryany
3. Nicholas Nethercote
4. Amit Vasudevan
5. Olatunji Ruwase
6. Ori Or-Meir
7. Valentin J. M. Manès
8. Jeff H. Perkins
9. R. Vuduc
10. Ning Qu

Papers from Derek Bruening's perspective

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

1. Using Valgrind to Detect Undefined Value Errors with Bit-Precision (USENIX ATC, General Track)
2. Efficient, transparent, and comprehensive runtime code manipulation
3. LIFT: A Low-Overhead Practical Information Flow Tracking System for Detecting Security Attacks (Micro)
4. DieHard: probabilistic memory safety for unsafe languages (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
5. Valgrind: a framework for heavyweight dynamic binary instrumentation (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
6. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
7. Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
8. Automatically validating temporal safety properties of interfaces (SPIN)
9. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)
10. Dynamo: a transparent dynamic optimization system (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers

• AddressSanitizer: A Fast Address Sanity Checker (2012) — 1,300 citations
• Efficient, transparent, and comprehensive runtime code manipulation (2004) — 485 citations
• An infrastructure for adaptive dynamic optimization (2003) — 618 citations
• Secure Execution via Program Shepherding (2002) — 641 citations