<?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://focs-lab.comp.nus.edu.sg/news/ra-ankit-joining/</loc><lastmod>2026-09-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication-type/article-journal/</loc><lastmod>2026-09-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/authors/</loc><lastmod>2026-09-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2026/2026-cacm-zhang-dynamic-race-detection/</loc><lastmod>2026-09-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/acceptance-2026-cacm-zhang-dynamic-race-detection/</loc><lastmod>2026-09-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2026-go-tier2/</loc><lastmod>2026-09-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/mahesh-viswanathan/</loc><lastmod>2026-09-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/minjian-zhang/</loc><lastmod>2026-09-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/mosaad-al-thokair/</loc><lastmod>2026-09-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/</loc><lastmod>2026-09-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication_types/</loc><lastmod>2026-09-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/</loc><lastmod>2026-09-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2026-robert-brown/</loc><lastmod>2026-09-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/umang-mathur/</loc><lastmod>2026-09-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2026-intern-aniket/</loc><lastmod>2026-08-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2026-06-16-plmw-talk/</loc><lastmod>2026-06-16T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2026-06-02-temasek/</loc><lastmod>2026-06-02T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2026-hua-jun-ocp/</loc><lastmod>2026-06-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/a.-r.-balasubramanian/</loc><lastmod>2026-04-04T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2026/2026-pldi-lee-fpt-linearizability-monitoring/</loc><lastmod>2026-04-04T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/mohammad-hossein-khoshechin-jorshari/</loc><lastmod>2026-04-04T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication-type/paper-conference/</loc><lastmod>2026-04-04T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/rupak-majumdar/</loc><lastmod>2026-04-04T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2026/2026-pldi-balasubramanian-dpor-estimation/</loc><lastmod>2026-04-04T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/zheng-han-lee/</loc><lastmod>2026-04-04T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2026-03-25-cmu-talk/</loc><lastmod>2026-03-25T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/aditya-ranjan-jha/</loc><lastmod>2026-03-22T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2026/2026-asplos-yu-anvil-hdl/</loc><lastmod>2026-03-22T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/jason-zhijingcheng-yu/</loc><lastmod>2026-03-22T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/prateek-saxena/</loc><lastmod>2026-03-22T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/trevor-e.-carlson/</loc><lastmod>2026-03-22T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/acceptance-pldi-2026/</loc><lastmod>2026-03-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2026-02-01-ppopp-tutorial/</loc><lastmod>2026-02-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/alexis-de-colnet/</loc><lastmod>2026-01-08T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/andreas-pavlogiannis/</loc><lastmod>2026-01-08T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2026/2026-popl-decolnet-counting-sampling-traces/</loc><lastmod>2026-01-08T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/kuldeep-s.-meel/</loc><lastmod>2026-01-08T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/lasse-m%C3%B8ldrup/</loc><lastmod>2026-01-08T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/random-author-order/</loc><lastmod>2026-01-08T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2026/2026-popl-shi-message-passing-consistency/</loc><lastmod>2026-01-08T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/zheng-shi/</loc><lastmod>2026-01-08T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2026-memory-safety-tier2/</loc><lastmod>2026-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2025-11-24-sg-pl-summit/</loc><lastmod>2025-11-24T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/acceptance-popl-2026/</loc><lastmod>2025-11-06T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/acceptance-2026-asplos-yu-anvil-hdl/</loc><lastmod>2025-11-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2025-10-splash-src/</loc><lastmod>2025-10-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2025-09-01-michael/</loc><lastmod>2025-09-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2025/efficient-decrease-and-conquer-linearizability-monitoring/</loc><lastmod>2025-08-16T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2025-08-11-ourp-jed/</loc><lastmod>2025-08-11T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/acceptance-efficient-decrease-and-conquer-linearizability-monitoring/</loc><lastmod>2025-08-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/bo-wang/</loc><lastmod>2025-06-13T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/daniel-lim/</loc><lastmod>2025-06-13T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2025/efficient-timestamping-for-sampling-based-race-detection/</loc><lastmod>2025-06-13T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2025/program-skeletons-for-automated-program-translation/</loc><lastmod>2025-06-13T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/ruishi-li/</loc><lastmod>2025-06-13T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/tianyu-li/</loc><lastmod>2025-06-13T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2025-05-19-vds-talk/</loc><lastmod>2025-05-19T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/acceptance-pldi-2025/</loc><lastmod>2025-03-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2025-02-sigplan-highlight/</loc><lastmod>2025-02-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2025-01-24-popl-src/</loc><lastmod>2025-01-24T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/abhik-roychoudhury/</loc><lastmod>2025-01-14T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/dylan-wolff/</loc><lastmod>2025-01-14T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/tag/fuzzing/</loc><lastmod>2025-01-14T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/huan-zhao/</loc><lastmod>2025-01-14T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2025/selective-uniform-concurrency-testing/</loc><lastmod>2025-01-14T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/tags/</loc><lastmod>2025-01-14T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/david-mestel/</loc><lastmod>2025-01-09T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2025/the-decision-problem-for-regular-first-order-theories/</loc><lastmod>2025-01-09T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2025-rhpl-talk/</loc><lastmod>2025-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2025-merlion/</loc><lastmod>2025-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2025-intern-omar/</loc><lastmod>2025-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2025-plmw-organizing/</loc><lastmod>2025-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2025-intern-ziyue/</loc><lastmod>2025-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2024-11-07-popl-acceptance/</loc><lastmod>2024-11-07T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2024-11-01-richard/</loc><lastmod>2024-11-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2024-11-19-papers/</loc><lastmod>2024-10-02T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2024-08-12-new-members/</loc><lastmod>2024-08-16T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2024-08-12-ourp-zheng-han/</loc><lastmod>2024-08-12T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2024-06-26-alexey/</loc><lastmod>2024-06-26T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2024-06-pldi-src-zheng-han/</loc><lastmod>2024-06-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/gregory-j.-duck/</loc><lastmod>2024-04-23T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2024/greybox-fuzzing-for-concurrency-testing/</loc><lastmod>2024-04-23T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2024/predictive-monitoring-with-strong-trace-prefixes/</loc><lastmod>2024-04-09T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/tag/predictive-monitoring/</loc><lastmod>2024-04-09T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/zhendong-ang/</loc><lastmod>2024-04-09T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2024/a-faster-fpras-for-nfa/</loc><lastmod>2024-04-08T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/sourav-chakraborty/</loc><lastmod>2024-04-08T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2024/optimistic-prediction-of-synchronization-reversal-data-races/</loc><lastmod>2024-01-11T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/george-pirlea/</loc><lastmod>2024-01-09T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/ilya-sergey/</loc><lastmod>2024-01-09T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/qiyuan-zhao/</loc><lastmod>2024-01-09T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2024/rooting-for-efficiency/</loc><lastmod>2024-01-09T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/tag/tree-clocks/</loc><lastmod>2024-01-09T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/azadeh-farzan/</loc><lastmod>2024-01-05T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2024/coarser-equivalences-for-causal-concurrency/</loc><lastmod>2024-01-05T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2024/how-hard-is-weak-memory-testing/</loc><lastmod>2024-01-05T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/tag/memory-model/</loc><lastmod>2024-01-05T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/tag/patterntrack/</loc><lastmod>2024-01-05T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2024/predictive-monitoring-against-pattern-regular-languages/</loc><lastmod>2024-01-05T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/shankara-narayanan-krishna/</loc><lastmod>2024-01-05T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/soham-chakraborty/</loc><lastmod>2024-01-05T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/tag/trace-equivalence/</loc><lastmod>2024-01-05T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2024-intern-anish/</loc><lastmod>2024-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2024-ra-daniel-joining/</loc><lastmod>2024-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2024-intern-pratik/</loc><lastmod>2024-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2024-intern-thomas/</loc><lastmod>2024-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2023-04-13-nus-feature/</loc><lastmod>2023-04-13T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2023/2023-popl-thokair-rpt-sampling-race-detection/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2023-fuzz-testing-grant/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/hunkar-can-tunc/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2023/2023-pldi-tunc-ra-reads-from/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/parosh-a.-abdulla/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2023-pyp-grant/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/shankaranarayanan-krishna/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2023/2023-pldi-tunc-syncp-deadlock-prediction/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2023-startup-grant/</loc><lastmod>2023-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/</loc><lastmod>2022-10-24T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/contact/</loc><lastmod>2022-10-24T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/people/</loc><lastmod>2022-10-24T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/tour/</loc><lastmod>2022-10-24T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2022-03-31-asplos-award/</loc><lastmod>2022-03-31T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2022/2022-asplos-mathur-tree-clocks/</loc><lastmod>2022-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/chuchu-fan/</loc><lastmod>2022-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2022/2022-tac-fan-controller-synthesis/</loc><lastmod>2022-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/news/2022-google-award/</loc><lastmod>2022-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/qiang-ning/</loc><lastmod>2022-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/sayan-mitra/</loc><lastmod>2022-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication-type/thesis/</loc><lastmod>2022-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/zengyi-qin/</loc><lastmod>2022-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2021/2021-fse-zhang-compressed-ltl/</loc><lastmod>2021-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2021/2021-concur-kulkarni-fine-grained-complexity-race-detection/</loc><lastmod>2021-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/edward-yao/</loc><lastmod>2021-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2021/2021-popl-mathur-syncp-race-prediction/</loc><lastmod>2021-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/rucha-kulkarni/</loc><lastmod>2021-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/satish-chandra/</loc><lastmod>2021-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2021/2021-icse-murali-root-cause-analysis/</loc><lastmod>2021-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/vijayaraghavan-murali/</loc><lastmod>2021-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/a.-prasad-sistla/</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/adithya-murali/</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2020/2020-asplos-mathur-aerodrome-atomicity-checking/</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2020/2020-cav-krogmeier-synthesis-of-coherent-programs/</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2020/2020-popl-mathur-decidable-memory-safety/</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2020/2020-fmsd-mathur-rationalsearch/</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/matthew-s.-bauer/</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/p.-madhusudan/</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/paul-krogmeier/</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/rohit-chadha/</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2020/2020-lics-mathur-complexity-race-prediction/</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2020/2020-tacas-mathur-decidable-verification-modulo-axioms/</loc><lastmod>2020-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2019/2019-popl-mathur-verification-of-coherent-programs/</loc><lastmod>2019-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2018/2018-cav-fan-controller-synthesis/</loc><lastmod>2018-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2018/2018-fse-kini-compressed-race-detection/</loc><lastmod>2018-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2018/2018-csl-madhusudan-eqsmt/</loc><lastmod>2018-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/dileep-kini/</loc><lastmod>2018-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/shambwaditya-saha/</loc><lastmod>2018-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2018/2018-oopsla-mathur-shb-race-detection/</loc><lastmod>2018-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/adria-gascon/</loc><lastmod>2017-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/ashish-tiwari/</loc><lastmod>2017-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/brent-carmer/</loc><lastmod>2017-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2017/2017-pldi-kini-wcp-race-prediction/</loc><lastmod>2017-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2017/2017-fmcad-bauer-rationalsearch/</loc><lastmod>2017-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2017/2017-cav-gascon-proof-search/</loc><lastmod>2017-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/ashutosh-trivedi/</loc><lastmod>2014-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2014/2014-fsttcs-chadha-information-flow/</loc><lastmod>2014-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/stefan-schwoon/</loc><lastmod>2014-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/publication/2014/2014-formats-krishna-weak-singular-hybrid-automata/</loc><lastmod>2014-01-01T00:00:00+00:00</lastmod><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/event/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/event/example/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/abhinav-barnawal/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/alexey-paznikov/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/an-jun-lim/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/andrew-daniel-janong/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/aniket-mishra/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/anish-kulkarni/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/ankit-jayant/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/arhaan-ahmad/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/arnav-singh/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/arsyad-kamili/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/aryan-soltani/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/bryan-lim/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/categories/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/dasco-gabriel/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/david-zhu/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/dick-ong/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/grace-tan/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/guk-yi-siong/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/hien-huynh/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/ho-wei-haw/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/hong-jung-woo/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/hongyi-huang/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/hua-jun-teow/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/illio-suardi/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/ivan-tan/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/jed-koh-jin-keat/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/jeffrey-lee/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/michael-schwarz/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/omar-islam-laskar/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/pratik-sahoo/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/ramanathan-kumarappan/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/support/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/richard-willie/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/thomas-cheeramvelil/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/wern-lim/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/zengyan-hao/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/zihan-zhou/</loc><changefreq>weekly</changefreq></url><url><loc>https://focs-lab.comp.nus.edu.sg/author/ziyue-jin/</loc><changefreq>weekly</changefreq></url></urlset>