Ion Stoica
Symposium on Operating Systems Principles · with Altekar · 2009
A researcher in the Science corpus: 1 paper; trusts 6 researchers and is trusted by 4 researchers here, as inferred from the citation graph.
Whom Ion Stoica trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Nicholas Nethercote
- John L. Hennessy
- George W. Dunlap
- Cristian Cadar
- Vijay Ganesh
- Chi-Keung Luk
- Julian Seward
- David A. Patterson
Who trusts Ion Stoica overall
Papers from Ion Stoica's perspective
Ordered by how strongly the researchers Ion Stoica trusts endorse each paper. Same corpus, a different order for every researcher.
- EXE: automatically generating inputs of death
- Symbolic execution and program testing
- A Decision Procedure for Bit-Vectors and Arrays (International Conference on Computer Aided Verification)
- Debugging Operating Systems with Time-Traveling Virtual Machines (Awarded General Track Best Paper Award!) (USENIX ATC, General Track)
- Pin: building customized program analysis tools with dynamic instrumentation (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Valgrind: a framework for heavyweight dynamic binary instrumentation (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Computer Architecture, Fifth Edition: A Quantitative Approach
- Execution replay of multiprocessor virtual machines (International Conference on Virtual Execution Environments)
- Efficient, transparent, and comprehensive runtime code manipulation
- Dynamic Taint Analysis for Automatic Detection, Analysis, and SignatureGeneration of Exploits on Commodity Software (Network and Distributed System Security Symposium)
Their papers
- ODR: output-deterministic replay for multicore debugging (2009) — 315 citations