Amit Vasudevan
Artificial Intelligence · 2011–2016
A researcher in the Science corpus: 2 papers; trusts 4 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 18 citations into it
- Signal Processing — 9 citations into it
- Hardware and Architecture — 6 citations into it
Whom Amit Vasudevan trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Derek Bruening
- Nicholas Nethercote
- Monirul I. Sharif
- Samuel T. King
- Arvind Seshadri
- Florent Kirchner
- Julian Seward
- Wenke Lee
- George W. Dunlap
- Mark Luk
Who trusts Amit Vasudevan overall
Papers from Amit Vasudevan's perspective
Ordered by how strongly the researchers Amit Vasudevan trusts endorse each paper. Same corpus, a different order for every researcher.
- Efficient, transparent, and comprehensive runtime code manipulation
- seL4: formal verification of an OS kernel
- A Virtual Machine Introspection Based Architecture for Intrusion Detection (Network and Distributed System Security Symposium)
- Valgrind: a framework for heavyweight dynamic binary instrumentation (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Debugging Operating Systems with Time-Traveling Virtual Machines (Awarded General Track Best Paper Award!) (USENIX ATC, General Track)
- SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes (Symposium on Operating Systems Principles)
- Secure in-VM monitoring using hardware virtualization (Conference on Computer and Communications Security)
- PTLsim: A Cycle Accurate Full System x86-64 Microarchitectural Simulator (IEEE International Symposium on Performance Analysis of Systems and Software)
- Ether: malware analysis via hardware virtualization extensions (Conference on Computer and Communications Security)
- Terra: a virtual machine-based platform for trusted computing (Symposium on Operating Systems Principles)