<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"
  xmlns:xhtml="http://www.w3.org/1999/xhtml">
  <url>
    <loc>https://halek.co/publication-type/1/</loc>
    <lastmod>2026-02-24T13:22:03-08:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication_types/</loc>
    <lastmod>2026-02-24T13:22:03-08:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/yang-2026-shipyard/</loc>
    <lastmod>2026-02-23T11:23:30-08:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/ds/</loc>
    <lastmod>2026-02-23T11:26:47-08:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/networking/</loc>
    <lastmod>2026-02-23T11:26:47-08:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/xincheng-ipdps26/</loc>
    <lastmod>2026-02-23T11:26:47-08:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/systems/</loc>
    <lastmod>2026-02-23T11:30:25-08:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tags/</loc>
    <lastmod>2026-02-23T11:30:25-08:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/tauro-2025-cards/</loc>
    <lastmod>2026-02-24T13:17:50-08:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/yang-2025-coppar/</loc>
    <lastmod>2026-02-24T13:14:54-08:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/arch/</loc>
    <lastmod>2026-02-23T11:30:25-08:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/teaching/mem-systems/</loc>
    <lastmod>2026-02-23T11:30:25-08:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/os/</loc>
    <lastmod>2026-02-23T11:30:25-08:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/teaching/comp-arch/</loc>
    <lastmod>2024-10-02T13:16:40-07:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/tauro-2024-trackfm/</loc>
    <lastmod>2026-02-24T13:22:03-08:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/jaime-src-sc23/</loc>
    <lastmod>2023-11-20T11:35:19-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/trackfm-asplos-24/</loc>
    <lastmod>2023-08-30T21:11:40-05:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/teaching/netsec/</loc>
    <lastmod>2024-10-02T13:17:38-07:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/security/</loc>
    <lastmod>2024-10-02T13:17:38-07:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/funding/ndp-medium/</loc>
    <lastmod>2023-08-09T10:48:39-05:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/pl/</loc>
    <lastmod>2024-02-21T10:33:26-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/nsf-award-ndp-2023/</loc>
    <lastmod>2023-08-09T10:54:28-05:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/funding/career/</loc>
    <lastmod>2023-04-28T11:10:08-05:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/compilers/</loc>
    <lastmod>2024-02-21T10:33:26-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/nsf-award-career/</loc>
    <lastmod>2023-03-10T15:59:36-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/virt/</loc>
    <lastmod>2024-10-02T13:17:38-07:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/teaching/edge-serverless/</loc>
    <lastmod>2023-08-09T10:50:48-05:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/seminar/</loc>
    <lastmod>2023-08-09T10:50:48-05:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/</loc>
    <lastmod>2023-03-07T14:01:27-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/romero-2022-bolt/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication-type/2/</loc>
    <lastmod>2023-03-10T15:59:46-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/tauro-2021-speedup/</loc>
    <lastmod>2023-03-10T15:59:46-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/teaching/intro-os/</loc>
    <lastmod>2023-03-04T12:18:01-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/teaching/ugrad-research/</loc>
    <lastmod>2023-08-09T10:50:48-05:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/db/</loc>
    <lastmod>2024-02-21T10:38:02-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/hpc/</loc>
    <lastmod>2024-02-21T10:38:02-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/funding/bigdatax23/</loc>
    <lastmod>2024-02-21T10:35:07-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/theory/</loc>
    <lastmod>2024-02-21T10:38:02-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/virtines-best-artifact/</loc>
    <lastmod>2023-03-04T12:21:14-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/virtines-eurosys-22/</loc>
    <lastmod>2023-03-04T12:21:14-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/wanninger-2022-virtines/</loc>
    <lastmod>2023-03-06T14:27:16-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/nookala-2021-xqueue/</loc>
    <lastmod>2023-03-06T14:27:16-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/hale-2021-interweaving/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/speedup-tpds21/</loc>
    <lastmod>2023-03-04T12:21:14-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/workshops-21/</loc>
    <lastmod>2023-03-04T12:21:14-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/openmp-sc21/</loc>
    <lastmod>2023-03-04T12:21:14-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/hale-2021-coalescent/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/romero-2021-cadm/</loc>
    <lastmod>2023-03-06T14:27:16-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/zeng-2021-cat/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/tpal-pldi21/</loc>
    <lastmod>2023-03-04T12:21:14-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/kyle-teaching-s21/</loc>
    <lastmod>2023-03-04T12:21:14-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/nick-research-award-s21/</loc>
    <lastmod>2023-03-04T12:21:14-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication-type/0/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/rizvi-2021-julia/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/granularity-control/</loc>
    <lastmod>2023-03-06T14:27:16-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/openmp/</loc>
    <lastmod>2023-03-06T14:27:16-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/operating-systems/</loc>
    <lastmod>2023-03-06T14:27:16-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/parallel-programming-languages/</loc>
    <lastmod>2023-03-06T14:27:16-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/parallelism/</loc>
    <lastmod>2023-03-06T14:27:16-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/ma-2021-openmp/</loc>
    <lastmod>2023-03-06T14:27:16-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/rainey-2021-tpal/</loc>
    <lastmod>2023-03-06T14:27:16-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/nsf-award-pposs-ndp/</loc>
    <lastmod>2023-03-04T12:21:14-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/funding/pposs-ndp/</loc>
    <lastmod>2023-03-04T12:18:01-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/nsf-award-pposs-zero/</loc>
    <lastmod>2023-03-04T12:21:14-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/funding/ppossz/</loc>
    <lastmod>2024-02-21T10:33:26-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/ncl-spring-20/</loc>
    <lastmod>2023-03-04T12:21:14-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/kyle-vhpc20/</loc>
    <lastmod>2023-03-04T12:21:14-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/brian-vmware-2020/</loc>
    <lastmod>2023-03-04T12:21:14-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/gradschool-iris-hussain/</loc>
    <lastmod>2023-03-04T12:21:14-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/teaching/phd-seminar/</loc>
    <lastmod>2023-03-04T12:18:01-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/kyle-nsf-pi-19/</loc>
    <lastmod>2023-03-04T12:21:14-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/teaching/virtual-machines/</loc>
    <lastmod>2024-10-02T13:17:38-07:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/brian-mascots19/</loc>
    <lastmod>2023-03-04T12:21:14-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/tauro-2019-speedup/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/hetland-2019-fat/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/liu-2019-diver/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/hale-2018-nemo/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/funding/interweaving/</loc>
    <lastmod>2023-03-04T12:18:01-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/architecture/</loc>
    <lastmod>2023-03-04T12:18:01-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/teaching/comp-org/</loc>
    <lastmod>2023-03-04T12:18:01-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/funding/bigdatax/</loc>
    <lastmod>2024-02-21T10:38:02-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/funding/sosr/</loc>
    <lastmod>2023-03-04T12:18:01-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/funding/mystic/</loc>
    <lastmod>2023-03-04T12:18:01-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/hardware/</loc>
    <lastmod>2023-03-04T12:18:01-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/hale-2017-mverse/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/teaching/os-runtime-design/</loc>
    <lastmod>2023-03-04T12:18:01-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/hale-2016-hrthvm/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/runtime-systems/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/automatic-hybridization/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/hale-2016-multiverse/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/hybrid-runtimes/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/multiverse/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication-type/4/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/hale-2016-nemo/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/hale-2015-nautilus/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/hrts/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/nautilus/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/parallel-runtimes/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/hale-2015-nautilus-tr/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/xia-2014-concord/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/content-sharing/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/hale-2014-guardmods/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/memory-deduplication/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/virtualization/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/swiech-2014-vmmhtm/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/code-transformation/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/services/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/hale-2012-gears/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/tag/virtual-machines/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/hale-2009-seggate/</loc>
    <lastmod>2023-03-04T13:43:00-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/admin/</loc>
    <lastmod>2023-03-03T13:03:25-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/categories/</loc>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/funding/</loc>
    <lastmod>2023-03-04T12:18:01-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/lab/</loc>
    <lastmod>2026-04-02T10:20:18-07:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/other/</loc>
    <lastmod>2023-03-04T12:18:01-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/ugrad-research/</loc>
    <lastmod>2025-05-08T15:25:12-07:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/recruiting/</loc>
    <lastmod>2025-05-08T15:32:52-07:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/news/</loc>
    <lastmod>2023-03-04T12:21:14-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/publication/</loc>
    <lastmod>2023-03-04T12:18:01-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/service/</loc>
    <lastmod>2026-01-14T14:20:51-08:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://halek.co/teaching/</loc>
    <lastmod>2023-03-04T12:18:01-06:00</lastmod>
    <changefreq>weekly</changefreq>
  </url>
</urlset>
