| Formal specification of the x86 instruction set architecture U Degenbaev | 44 | 2012 |
| Idle time garbage collection scheduling U Degenbaev, J Eisinger, M Ernst, R McIlroy, H Payer ACM SIGPLAN Notices 51 (6), 570-583, 2016 | 29 | 2016 |
| Invariants, modularity, and rights E Cohen, E Alkassar, V Boyarinov, M Dahlweid, U Degenbaev, ... Perspectives of Systems Informatics: 7th International Andrei Ershov …, 2010 | 13 | 2010 |
| Cross-component garbage collection U Degenbaev, J Eisinger, K Hara, M Hlopko, M Lippautz, H Payer Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-24, 2018 | 12 | 2018 |
| Pervasive theory of memory U Degenbaev, WJ Paul, N Schirmer Efficient Algorithms: Essays Dedicated to Kurt Mehlhorn on the Occasion of …, 2009 | 9 | 2009 |
| Concurrent marking of shape-changing objects U Degenbaev, M Lippautz, H Payer Proceedings of the 2019 ACM SIGPLAN International Symposium on Memory …, 2019 | 5 | 2019 |
| Optimal Encoding of Partial Orders A Mokhov, U Degenbaev, A Yakovlev Technical report, 2009 | 3 | 2009 |
| Garbage collection as a joint venture U Degenbaev, M Lippautz, H Payer Communications of the ACM 62 (6), 36-41, 2019 | 2 | 2019 |
| Decentralized and Stateful Serverless Computing on the Internet Computer Blockchain M Arutyunyan, A Berestovskyy, A Bratschi-Kaye, U Degenbaev, M Drijvers, ... 2023 USENIX Annual Technical Conference (USENIX ATC 23), 329-343, 2023 | 1 | 2023 |
| Collecting Garbage on the Blockchain L Bläser, C Russo, U Degenbaev, ÖS Ağacan, G Greif, J Ibrahim Proceedings of the 15th ACM SIGPLAN International Workshop on Virtual …, 2023 | | 2023 |
| Garbage Collection as a Joint Venture: A collaborative approach to reclaiming memory in heterogeneous software systems U Degenbaev, M Lippautz, H Payer Queue 17 (1), 98-115, 2019 | | 2019 |
| Unified concurrent write barrier M Lippautz, U Degenbaev, H Payer | | 2019 |
| Idle-Time Garbage-Collection Scheduling: Taking advantage of idleness to reduce dropped frames and memory consumption U Degenbaev, J Eisinger, M Ernst, R McIlroy, H Payer Queue 14 (3), 35-52, 2016 | | 2016 |
