<?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://goens.org/talk/example-talk/</loc>
    <lastmod>2030-06-01T13:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/event/</loc>
    <lastmod>2030-06-01T13:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publication-type/article-journal/</loc>
    <lastmod>2025-01-01T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publication_types/</loc>
    <lastmod>2025-01-01T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/</loc>
    <lastmod>2025-01-01T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/schneider-pldi-25/</loc>
    <lastmod>2025-01-01T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/zhang-pact-24/</loc>
    <lastmod>2024-10-16T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publication-type/paper-conference/</loc>
    <lastmod>2024-10-16T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publication-type/2/</loc>
    <lastmod>2023-11-23T18:49:27+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/e-graphs/</loc>
    <lastmod>2023-11-23T18:49:27+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/equality-saturation/</loc>
    <lastmod>2023-11-23T18:49:27+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/koehler-popl-24/</loc>
    <lastmod>2023-11-23T18:49:27+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/optimizing-compilers/</loc>
    <lastmod>2023-11-23T18:49:27+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tags/</loc>
    <lastmod>2023-11-23T19:05:26+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/theorem-proving/</loc>
    <lastmod>2023-11-23T18:49:27+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/li-isca-24/</loc>
    <lastmod>2024-01-01T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/fernandez-mir-cicm-24/</loc>
    <lastmod>2024-01-01T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/bhat-itp-24/</loc>
    <lastmod>2024-01-01T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publication-type/1/</loc>
    <lastmod>2023-11-23T19:05:26+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/contribution/</loc>
    <lastmod>2023-11-23T19:05:26+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/rossel-vstte-23/</loc>
    <lastmod>2023-11-23T19:05:26+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/coherence-protocols/</loc>
    <lastmod>2023-09-24T21:44:27+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/compound-memory-models/</loc>
    <lastmod>2023-09-24T21:44:27+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/goens-pldi-23/</loc>
    <lastmod>2023-09-24T21:44:27+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/consistency-models/</loc>
    <lastmod>2023-09-24T21:44:27+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publication-type/6/</loc>
    <lastmod>2023-09-24T21:44:27+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/castrillon-hca-22/</loc>
    <lastmod>2023-09-24T21:44:27+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/</loc>
    <lastmod>2022-10-24T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/khasanov-cases-21/</loc>
    <lastmod>2023-09-24T21:44:27+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/brauckmann-pact-21/</loc>
    <lastmod>2023-09-24T21:44:27+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/goens-samos-21/</loc>
    <lastmod>2023-09-24T21:44:27+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/goens-tcad-21/</loc>
    <lastmod>2023-09-24T21:44:27+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/menard-rapido-21/</loc>
    <lastmod>2023-09-24T21:44:27+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/academic/</loc>
    <lastmod>2020-12-13T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/categories/</loc>
    <lastmod>2020-12-13T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/category/demo/</loc>
    <lastmod>2020-12-13T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/post/</loc>
    <lastmod>2020-12-13T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/post/getting-started/</loc>
    <lastmod>2020-12-13T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/%E5%BC%80%E6%BA%90/</loc>
    <lastmod>2020-12-13T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/category/%E6%95%99%E7%A8%8B/</loc>
    <lastmod>2020-12-13T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/wittig-ict-20/</loc>
    <lastmod>2023-09-24T21:44:27+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/brauckmann-fdl-20/</loc>
    <lastmod>2023-09-24T21:44:26+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/menard-date-20/</loc>
    <lastmod>2023-09-24T21:44:26+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/khan-date-20/</loc>
    <lastmod>2023-09-24T21:44:26+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/brauckmann-cc-20/</loc>
    <lastmod>2023-09-24T21:44:26+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/lohstroh-cyphy-19/</loc>
    <lastmod>2023-09-24T21:44:26+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/ertel-haskell-19/</loc>
    <lastmod>2023-09-24T21:44:26+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/post/writing-technical-content/</loc>
    <lastmod>2019-07-12T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/goens-samos-19/</loc>
    <lastmod>2023-09-24T21:44:26+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/goens-mapl-19/</loc>
    <lastmod>2023-09-24T21:44:26+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/lohstroh-dac-19/</loc>
    <lastmod>2023-09-24T21:44:26+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/ertel-haskellsup-19/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/post/jupyter/</loc>
    <lastmod>2019-09-05T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/slides/</loc>
    <lastmod>2019-02-05T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/slides/example/</loc>
    <lastmod>2019-02-05T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/goens-mcsoc-18/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/castrillon-tmscs-17/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/ertel-cc-18/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/khasanov-parmaditam-18/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/goens-multiprog-18/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/automation/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/clusters/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/design-space-exploration/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/group-theory/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/heterogeneous/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/inverse-semigroups/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/mapping/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/metaheuristics/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/network-on-chip/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/scalability/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/symmetry/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/goens-taco-17/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/hempel-scopes-17/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/goens-scopes-17/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/menard-norcas-16/</loc>
    <lastmod>2023-09-24T21:44:24+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/voelp-16-pmes/</loc>
    <lastmod>2023-09-24T21:44:25+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/goens-mcsoc-16/</loc>
    <lastmod>2023-09-24T21:44:24+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/goens-jsa-16/</loc>
    <lastmod>2023-09-24T21:44:24+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/deep-learning/</loc>
    <lastmod>2016-04-27T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/tag/demo/</loc>
    <lastmod>2016-04-27T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/project/example/</loc>
    <lastmod>2016-04-27T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/project/external-project/</loc>
    <lastmod>2016-04-27T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/project/</loc>
    <lastmod>2016-04-27T00:00:00+00:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/goens-iess-15/</loc>
    <lastmod>2023-09-24T21:44:24+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/odendahl-15/</loc>
    <lastmod>2023-09-24T21:44:24+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/publications/odendahl-date-14/</loc>
    <lastmod>2023-09-24T21:44:24+01:00</lastmod>
    <changefreq>weekly</changefreq>
  </url><url>
    <loc>https://goens.org/admin/</loc>
    <changefreq>weekly</changefreq>
  </url>
</urlset>
