Travelled to:1 × Turkey
1 × United Kingdom
2 × USA
Collaborated with:D.Tsafrir A.Schuster M.Ben-Yehuda M.Malka A.Ayoub E.Shlomo A.Gordon N.Har'El A.Landau Elazar Gershuni A.Gurfinkel N.Narodytska J.A.Navas N.Rinetzky L.Ryzhyk M.Sagiv Ilya Lesokhin Haggai Eran Shachar Raindel Guy Shapiro Sagi Grimberg L.Liss
Talks about:virtual (3) swapper (2) untrust (1) support (1) perform (1) network (1) environ (1) control (1) analysi (1) static (1)
Person: Nadav Amit
DBLP: Amit:Nadav
Contributed to:
2015
201520142012
20192017Wrote 6 papers:
- ASPLOS-2015-MalkaABT #named #performance
- rIOMMU: Efficient IOMMU for I/O Devices that Employ Ring Buffers (MM, NA, MBY, DT), pp. 355–368.
- SOSP-2015-AmitTSAS #cpu #validation
- Virtual CPU validation (NA, DT, AS, AA, ES), pp. 311–327.
- ASPLOS-2014-AmitTS #memory management #named
- VSwapper: a memory swapper for virtualized environments (NA, DT, AS), pp. 349–366.
- ASPLOS-2012-GordonAHBLST #eli #named #performance
- ELI: bare-metal performance for I/O virtualization (AG, NA, NH, MBY, AL, AS, DT), pp. 411–422.
- PLDI-2019-GershuniAGNNRRS #kernel #linux #precise #static analysis
- Simple and precise static analysis of untrusted Linux kernel extensions (EG, NA, AG, NN, JAN, NR, LR, MS), pp. 1069–1084.
- ASPLOS-2017-LesokhinERSGLBA #fault #network
- Page Fault Support for Network Controllers (IL, HE, SR, GS, SG, LL, MBY, NA, DT), pp. 449–466.