Login / Signup
Martin Aigner
Publication Activity (10 Years)
Years Active: 2011-2015
Publications (10 Years): 0
Top Topics
Virtual Memory
Sat Solving
Garbage Collection
Multi Valued
Top Venues
CoRR
DLS
OOPSLA
ISMM
</>
Publications
</>
Martin Aigner
,
Christoph M. Kirsch
,
Michael Lippautz
,
Ana Sokolova
Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures.
OOPSLA
(2015)
Martin Aigner
,
Christoph M. Kirsch
,
Michael Lippautz
,
Ana Sokolova
Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures.
CoRR
(2015)
Martin Aigner
,
Thomas Hütter
,
Christoph M. Kirsch
,
Alexander Miller
,
Hannes Payer
,
Mario Preishuber
ACDC-JS: explorative benchmarking of javascript memory management.
DLS
(2014)
Martin Aigner
,
Christoph M. Kirsch
ACDC: towards a universal mutator for benchmarking heap management systems.
ISMM
(2013)
Martin Aigner
,
Armin Biere
,
Christoph M. Kirsch
,
Aina Niemetz
,
Mathias Preiner
Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures.
POS@SAT
(2013)
Martin Aigner
,
Andreas Haas
,
Christoph M. Kirsch
,
Michael Lippautz
,
Ana Sokolova
,
Stephanie Stroka
,
Andreas Unterweger
Short-term memory for self-collecting mutators.
ISMM
(2011)