ParPerOS Publications
To Appear
-
Journal
SMASH
Memento
SMAUG
ParPerOS
PIMPMe
NEON
HetCIM
Charting the Benchmarking Landscape – A Survey of Benchmarks for Modern Memory Architectures -
BenchCouncil Transactions on Benchmarks, Standards and Evaluations2026to appear.
[BibTex]
-
Workshop
ParPerOS
C
Lost Bytes At The Crossroads Between User- And Kernel-Level Memory Allocation -
Proceedings of the 14th SOSP Workshop on Programming Languages and Operating Systems (PLOS '26)Association for Computing Machinery2026to appear.
PDF Raw Data 10.1145/3831586.3838144 [BibTex]
-
Conference
ParPerOS
Towards a Vertically Integrated Compiler Infrastructure to Improve Solver Time during Symbolic Execution -
Proceedings of the 8th International Workshop on Automated and Verifiable Software System DevelopmentAssociation for Computing Machinery2026to appear.
PDF Raw Data 10.1145/3843777.3844530 [BibTex]
2025
-
ParPerOS
A
HyperAlloc: Efficient VM Memory De/Inflation via Hypervisor-Shared Page-Frame Allocators -
Proceedings of the Twentieth European Conference on Computer SystemsAssociation for Computing Machinery2025.
10.1145/3689031.3717484 [BibTex]
-
Conference
ParPerOS
FOSSIL
A*
MettEagle: Costs and Benefits of Implementing Containers on Microkernels -
Proceedings of the 19th Symposium on Operating System Design and ImplementationUSENIX Association2025.
Slides [BibTex]
2024
-
ParPerOS
Analyzing the memory ordering models of the Apple M1 -
Journal of Systems Architecture1492024.
10.1016/j.sysarc.2024.103102 [BibTex]
-
ParPerOS
A*
Cloud-Native Database Systems and Unikernels: Reimagining OS Abstractions for Modern Hardware -
Proceedings of the VLDB EndowmentVLDB Endowment2024.
10.14778/3659437.3659462 [BibTex]
-
ParPerOS
Best Paper Award
The New Costs of Physical Memory Fragmentation -
Proceedings of the 2nd Workshop on Disruptive Memory SystemsAssociation for Computing Machinery2024Best Paper Award.
10.1145/3698783.3699378 [BibTex]
2023
-
ParPerOS
Evaluation and Refinement of an Explicit Virtual-Memory Primitive -
IEEE Access11IEEE2023.
10.1109/ACCESS.2023.3338149 [BibTex]
-
ParPerOS
A
Distinguished Artifact Award
LLFree: Scalable and Optionally-Persistent Page-Frame Allocation -
2023 USENIX Annual Technical Conference (USENIX ATC 23)USENIX Association2023Distinguished Artifact Award.
[BibTex]
-
ParPerOS
A
MELF: Multivariant Executables for a Heterogeneous World -
2023 USENIX Annual Technical Conference (USENIX ATC 23)USENIX Association2023.
[BibTex]
-
ParPerOS
Morsels: Explicit Virtual Memory Objects -
Proceedings of the 1st Workshop on Disruptive Memory SystemsAssociation for Computing Machinery2023.
10.1145/3609308.3625267 [BibTex]
-
ParPerOS
A*
Virtual-Memory Assisted Buffer Management -
Proceedings of the ACM SIGMOD/PODS International Conference on Management of Data (SIGMOD'23)Association for Computing Machinery2023.
10.1145/3588687 [BibTex]