Anton Burtsev
Anton Burtsev
Assistant Professor, University of Utah
Verified email at - Homepage
Cited by
Cited by
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
Fido: Fast Inter-Virtual-Machine Communication for Enterprise Appliances.
A Burtsev, K Srinivasan, P Radhakrishnan, K Voruganti, GR Goodson
USENIX Annual technical conference, 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
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
{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
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
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
{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
Abstractions for practical virtual machine replay
A Burtsev, D Johnson, M Hibler, E Eide, J Regehr
ACM SIGPLAN Notices 51 (7), 93-106, 2016
Deterministic systems analysis
A Burtsev
School of Computing, University of Utah, 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
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
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
Remote attestation of SEV-SNP confidential VMs using e-vTPMs
V Narayanan, C Carvalho, A Ruocco, G Almási, J Bottomley, M Ye, ...
arXiv preprint arXiv:2303.16463, 2023
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
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
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
Aggressive server consolidation through pageable virtual machines
A Burtsev, M Hibler, J Lepreau
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
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
The system can't perform the operation now. Try again later.
Articles 1–20