https://halek.co/ https://halek.co/lab/ https://halek.co/news/ https://halek.co/other/ https://halek.co/publication/ https://halek.co/publication/hale-2009-seggate/ https://halek.co/publication/hale-2012-gears/ https://halek.co/publication/hale-2014-guardmods/ https://halek.co/publication/hale-2015-nautilus-tr/ https://halek.co/publication/hale-2015-nautilus/ https://halek.co/publication/hale-2016-hrthvm/ https://halek.co/publication/hale-2016-multiverse/ https://halek.co/publication/hale-2016-nemo/ https://halek.co/publication/hale-2017-mverse/ https://halek.co/publication/hale-2018-nemo/ https://halek.co/publication/hale-2021-coalescent/ https://halek.co/publication/hale-2021-interweaving/ https://halek.co/publication/hetland-2019-fat/ https://halek.co/publication/liu-2019-diver/ https://halek.co/publication/ma-2021-openmp/ https://halek.co/publication/nookala-2021-xqueue/ https://halek.co/publication/rainey-2021-tpal/ https://halek.co/publication/rizvi-2021-julia/ https://halek.co/publication/romero-2021-cadm/ https://halek.co/publication/romero-2022-bolt/ https://halek.co/publication/swiech-2014-vmmhtm/ https://halek.co/publication/tauro-2019-speedup/ https://halek.co/publication/tauro-2021-speedup/ https://halek.co/publication/tauro-2024-trackfm/ https://halek.co/publication/tauro-2025-cards/ https://halek.co/publication/velugoti-2026-mempower/ https://halek.co/publication/wanninger-2022-virtines/ https://halek.co/publication/xia-2014-concord/ https://halek.co/publication/yang-2025-coppar/ https://halek.co/publication/yang-2026-shipyard/ https://halek.co/publication/zeng-2021-cat/ https://halek.co/recruiting/ https://halek.co/teaching/ https://halek.co/ugrad-research/