| 2026 | CC | GraalMHC: ML-Based Method-Hotness Classification for Binary-Size Reduction in Optimizing Compilers. | Milan Cugurovic, Aleksandar Prokopec, Boris Spasojevic, Vojin Jovanovic, Milena Vujosevic-Janicic |
| 2026 | CGO | Partial-Evaluation Templates: Accelerating Partial Evaluation with Pre-compiled Templates. | Florian Huemer, Aleksandar Prokopec, David Leopoldseder, Raphael Mosaner, Hanspeter Mssenbck |
| 2025 | CGO | Improving Native-Image Startup Performance. | Matteo Basso, Aleksandar Prokopec, Andrea Ros, Walter Binder |
| 2024 | ECOOP | Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization. | Florian Huemer, David Leopoldseder, Aleksandar Prokopec, Raphael Mosaner, Hanspeter Mssenbck |
| 2022 | OOPSLA | Inlining-Benefit Prediction with Interprocedural Partial Escape Analysis. | Matthew Edwin Weingarten, Theodoros Theodoridis, Aleksandar Prokopec |
| 2020 | PPoPP | Non-blocking interpolation search trees with doubly-logarithmic running time. | Trevor Brown, Aleksandar Prokopec, Dan Alistarh |
| 2019 | CGO | An Optimization-Driven Incremental Inline Substitution Algorithm for Just-in-Time Compilers. | Aleksandar Prokopec, Gilles Duboscq, David Leopoldseder, Thomas Wrthinger |
| 2019 | OOPSLA | Renaissance: a modern benchmark suite for parallel applications on the JVM. | Aleksandar Prokopec, Andrea Ros, David Leopoldseder, Gilles Duboscq, Petr Tuma, Martin Studener, Lubomr Bulej, Yudi Zheng, Alex Villazn, Doug Simon, Thomas Wrthinger, Walter Binder |
| 2019 | PLDI | Renaissance: benchmarking suite for parallel applications on the JVM. | Aleksandar Prokopec, Andrea Ros, David Leopoldseder, Gilles Duboscq, Petr Tuma, Martin Studener, Lubomr Bulej, Yudi Zheng, Alex Villazn, Doug Simon, Thomas Wrthinger, Walter Binder |
| 2018 | ECOOP | Theory and Practice of Coroutines with Snapshots. | Aleksandar Prokopec, Fengyun Liu |
| 2018 | EuroPar | Efficient Lock-Free Removing and Compaction for the Cache-Trie Data Structure. | Aleksandar Prokopec |
| 2018 | PPoPP | Cache-tries: concurrent lock-free hash tries with constant-time operations. | Aleksandar Prokopec |
| 2017 | EuroPar | Accelerating by Idling: How Speculative Delays Improve Performance of Message-Oriented Systems. | Aleksandar Prokopec |
| 2017 | OOPSLA | Encoding the building blocks of communication. | Aleksandar Prokopec |
| 2015 | OOPSLA | Isolates, channels, and event streams for composable distributed programming. | Aleksandar Prokopec, Martin Odersky |
| 2015 | PDP | Efficient Lock-Free Work-Stealing Iterators for Data-Parallel Collections. | Aleksandar Prokopec, Dmitry Petrashko, Martin Odersky |
| 2015 | PLDI | SnapQueue: lock-free queue with constant time snapshots. | Aleksandar Prokopec |
| 2014 | ECOOP | Containers and aggregates, mutators and isolates for reactive programming. | Aleksandar Prokopec, Philipp Haller, Martin Odersky |
| 2013 | ECOOP | Composition and Reuse with Compiled Domain-Specific Languages. | Arvind K. Sujeeth, Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Victoria Popic, Michael Wu, Aleksandar Prokopec, Vojin Jovanovic, Martin Odersky, Kunle Olukotun |
| 2012 | PPoPP | Concurrent tries with efficient non-blocking snapshots. | Aleksandar Prokopec, Nathan Grasso Bronson, Phil Bagwell, Martin Odersky |
| 2011 | EuroPar | A Generic Parallel Collection Framework. | Aleksandar Prokopec, Phil Bagwell, Tiark Rompf, Martin Odersky |