https://focs-lab.comp.nus.edu.sg/news/2025-09-01-michael/2025-09-01T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/news/2025-09-01T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/authors/2025-08-16T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/publication/2025/efficient-decrease-and-conquer-linearizability-monitoring/2025-08-16T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/publication-type/paper-conference/2025-08-16T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/publication_types/2025-08-16T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/publication/2025-08-16T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/umang-mathur/2025-08-16T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/zheng-han-lee/2025-08-16T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/news/2025-08-11-ourp-jed/2025-08-11T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/bo-wang/2025-06-13T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/daniel-lim/2025-06-13T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/publication/2025/efficient-timestamping-for-sampling-based-race-detection/2025-06-13T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/mahesh-viswanathan/2025-06-13T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/minjian-zhang/2025-06-13T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/mosaad-al-thokair/2025-06-13T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/prateek-saxena/2025-06-13T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/publication/2025/program-skeletons-for-automated-program-translation/2025-06-13T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/ruishi-li/2025-06-13T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/tianyu-li/2025-06-13T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/news/2025-01-24-popl-src/2025-01-24T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/abhik-roychoudhury/2025-01-14T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/dylan-wolff/2025-01-14T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/tag/fuzzing/2025-01-14T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/huan-zhao/2025-01-14T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/publication/2025/selective-uniform-concurrency-testing/2025-01-14T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/tags/2025-01-14T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/david-mestel/2025-01-09T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/publication/2025/the-decision-problem-for-regular-first-order-theories/2025-01-09T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/news/2024-11-19-papers/2024-11-19T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/news/2024-11-01-richard/2024-11-01T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/news/2024-08-12-new-members/2024-08-16T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/news/2024-08-12-ourp-zheng-han/2024-08-12T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/news/2024-06-26-alexey/2024-06-26T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/gregory-j.-duck/2024-04-23T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/publication/2024/greybox-fuzzing-for-concurrency-testing/2024-04-23T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/zheng-shi/2024-04-23T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/publication/2024/predictive-monitoring-with-strong-trace-prefixes/2024-04-09T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/tag/predictive-monitoring/2024-04-09T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/zhendong-ang/2024-04-09T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/publication/2024/a-faster-fpras-for-nfa/2024-04-08T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/kuldeep-s.-meel/2024-04-08T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/sourav-chakraborty/2024-04-08T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/andreas-pavlogiannis/2024-01-11T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/publication/2024/optimistic-prediction-of-synchronization-reversal-data-races/2024-01-11T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/george-pirlea/2024-01-09T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/ilya-sergey/2024-01-09T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/qiyuan-zhao/2024-01-09T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/publication/2024/rooting-for-efficiency/2024-01-09T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/tag/tree-clocks/2024-01-09T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/azadeh-farzan/2024-01-05T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/publication/2024/coarser-equivalences-for-causal-concurrency/2024-01-05T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/publication/2024/how-hard-is-weak-memory-testing/2024-01-05T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/tag/memory-model/2024-01-05T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/tag/patterntrack/2024-01-05T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/publication/2024/predictive-monitoring-against-pattern-regular-languages/2024-01-05T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/shankara-narayanan-krishna/2024-01-05T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/author/soham-chakraborty/2024-01-05T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/tag/trace-equivalence/2024-01-05T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/2022-10-24T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/contact/2022-10-24T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/people/2022-10-24T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/tour/2022-10-24T00:00:00+00:00weeklyhttps://focs-lab.comp.nus.edu.sg/event/weeklyhttps://focs-lab.comp.nus.edu.sg/event/example/weeklyhttps://focs-lab.comp.nus.edu.sg/author/alexey-paznikov/weeklyhttps://focs-lab.comp.nus.edu.sg/author/an-jun-lim/weeklyhttps://focs-lab.comp.nus.edu.sg/author/andrew-daniel-janong/weeklyhttps://focs-lab.comp.nus.edu.sg/author/arsyad-kamili/weeklyhttps://focs-lab.comp.nus.edu.sg/blog/weeklyhttps://focs-lab.comp.nus.edu.sg/author/bryan-lim/weeklyhttps://focs-lab.comp.nus.edu.sg/categories/weeklyhttps://focs-lab.comp.nus.edu.sg/author/dasco-gabriel/weeklyhttps://focs-lab.comp.nus.edu.sg/author/david-zhu/weeklyhttps://focs-lab.comp.nus.edu.sg/author/dick-ong/weeklyhttps://focs-lab.comp.nus.edu.sg/author/grace-tan/weeklyhttps://focs-lab.comp.nus.edu.sg/author/guk-yi-siong/weeklyhttps://focs-lab.comp.nus.edu.sg/author/ho-wei-haw/weeklyhttps://focs-lab.comp.nus.edu.sg/author/hong-jung-woo/weeklyhttps://focs-lab.comp.nus.edu.sg/author/hongyi-huang/weeklyhttps://focs-lab.comp.nus.edu.sg/author/hua-jun-teow/weeklyhttps://focs-lab.comp.nus.edu.sg/author/illio-suardi/weeklyhttps://focs-lab.comp.nus.edu.sg/author/ivan-tan/weeklyhttps://focs-lab.comp.nus.edu.sg/author/jed-koh-jin-keat/weeklyhttps://focs-lab.comp.nus.edu.sg/author/jeffrey-lee/weeklyhttps://focs-lab.comp.nus.edu.sg/author/michael-schwarz/weeklyhttps://focs-lab.comp.nus.edu.sg/author/ramanathan-kumarappan/weeklyhttps://focs-lab.comp.nus.edu.sg/author/richard-willie/weeklyhttps://focs-lab.comp.nus.edu.sg/author/wern-lim/weeklyhttps://focs-lab.comp.nus.edu.sg/author/zihan-zhou/weekly