| System programming in rust: Beyond safety A Balasubramanian, MS Baranowski, A Burtsev, A Panda, Z Rakamariĉ, ... Proceedings of the 16th workshop on hot topics in operating systems, 156-161, 2017 | 135 | 2017 |
| Fido: Fast Inter-Virtual-Machine Communication for Enterprise Appliances. A Burtsev, K Srinivasan, P Radhakrishnan, K Voruganti, GR Goodson USENIX Annual technical conference, 2009 | 100 | 2009 |
| {RedLeaf}: isolation and communication in a safe operating system V Narayanan, T Huang, D Detweiler, D Appel, Z Li, G Zellweger, ... 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2020 | 87 | 2020 |
| Lightweight kernel isolation with virtualization and VM functions V Narayanan, Y Huang, G Tan, T Jaeger, A Burtsev Proceedings of the 16th ACM SIGPLAN/SIGOPS international conference on …, 2020 | 50 | 2020 |
| {LXDs}: Towards isolation of kernel subsystems V Narayanan, A Balasubramanian, C Jacobsen, S Spall, S Bauer, ... 2019 USENIX Annual Technical Conference (USENIX ATC 19), 269-284, 2019 | 50 | 2019 |
| Transparent checkpoints of closed distributed systems in emulab A Burtsev, P Radhakrishnan, M Hibler, J Lepreau Proceedings of the 4th ACM European conference on Computer systems, 173-186, 2009 | 45 | 2009 |
| {KSplit}: Automating device driver isolation Y Huang, V Narayanan, D Detweiler, K Huang, G Tan, T Jaeger, ... 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2022 | 27 | 2022 |
| Lightweight capability domains: towards decomposing the linux kernel C Jacobsen, M Khole, S Spall, S Bauer, A Burtsev Proceedings of the 8th Workshop on Programming Languages and Operating …, 2015 | 23 | 2015 |
| Abstractions for practical virtual machine replay A Burtsev, D Johnson, M Hibler, E Eide, J Regehr ACM SIGPLAN Notices 51 (7), 93-106, 2016 | 21 | 2016 |
| Remote attestation of confidential VMs using ephemeral vTPMs V Narayanan, C Carvalho, A Ruocco, G Almási, J Bottomley, M Ye, ... Proceedings of the 39th Annual Computer Security Applications Conference …, 2023 | 17 | 2023 |
| Advances in cryptography and secure hardware for data outsourcing S Sharma, A Burtsev, S Mehrotra 2020 IEEE 36th International Conference on Data Engineering (ICDE), 1798-1801, 2020 | 10 | 2020 |
| Deterministic systems analysis A Burtsev School of Computing, University of Utah, 2013 | 10 | 2013 |
| Capnet: security and least authority in a capability-enabled cloud A Burtsev, D Johnson, J Kunz, E Eide, J Van der Merwe Proceedings of the 2017 Symposium on Cloud Computing, 128-141, 2017 | 9 | 2017 |
| RedLeaf: Towards an operating system for safe and verified firmware V Narayanan, MS Baranowski, L Ryzhyk, Z Rakamariĉ, A Burtsev Proceedings of the Workshop on Hot Topics in Operating Systems, 37-44, 2019 | 8 | 2019 |
| Isolation in Rust: What is Missing? A Burtsev, D Appel, D Detweiler, T Huang, Z Li, V Narayanan, ... Proceedings of the 11th Workshop on Programming Languages and Operating …, 2021 | 7 | 2021 |
| Understanding the overheads of hardware and language-based ipc mechanisms Z Li, T Huang, V Narayanan, A Burtsev Proceedings of the 11th Workshop on Programming Languages and Operating …, 2021 | 6 | 2021 |
| Weir: A streaming language for performance analysis A Burtsev, N Mishrikoti, E Eide, R Ricci ACM SIGOPS Operating Systems Review 48 (1), 65-70, 2014 | 5 | 2014 |
| DRAMHiT: A Hash Table Architected for the Speed of DRAM V Narayanan, D Detweiler, T Huang, A Burtsev Proceedings of the Eighteenth European Conference on Computer Systems, 817-834, 2023 | 4 | 2023 |
| Increased PD-L1 and p16 expression are common in oropharyngeal squamous cell carcinoma A Shestakova, J Tarabay, A Burtsev, I Ibe, J Kim, V Chandan, ... Future science OA 7 (9), FSO768, 2021 | 4 | 2021 |
| Atmosphere: Towards Practical Verified Kernels in Rust X Chen, Z Li, L Mesicek, V Narayanan, A Burtsev Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification …, 2023 | 3 | 2023 |
