Julian Erhard | FOCS Lab @ NUShttps://focs-lab.comp.nus.edu.sg/author/julian-erhard/Julian ErhardHugo Blox Builder (https://hugoblox.com)en-usTue, 01 Dec 2026 00:00:00 +0000https://focs-lab.comp.nus.edu.sg/media/icon_hu5d7d4d7c5767fff68bb2045c417d28ca_165_512x512_fill_lanczos_center_3.pngJulian Erhardhttps://focs-lab.comp.nus.edu.sg/author/julian-erhard/Beyond Locks and Thread IDs: Static Data Race Detection Off The Beaten Pathhttps://focs-lab.comp.nus.edu.sg/publication/2026/2026-aplas-bund-beyond-locks/Tue, 01 Dec 2026 00:00:00 +0000https://focs-lab.comp.nus.edu.sg/publication/2026/2026-aplas-bund-beyond-locks/<p>To appear at APLAS 2026.</p>Mixed Flow-Sensitive Static Analysis: Engineering Modularityhttps://focs-lab.comp.nus.edu.sg/publication/2026/2026-fm-seidl-mixed-flow-sensitive-analysis/Fri, 01 May 2026 00:00:00 +0000https://focs-lab.comp.nus.edu.sg/publication/2026/2026-fm-seidl-mixed-flow-sensitive-analysis/Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation (Competition Contribution)https://focs-lab.comp.nus.edu.sg/publication/2026/2026-tacas-saan-goblint-portfolio/Wed, 01 Apr 2026 00:00:00 +0000https://focs-lab.comp.nus.edu.sg/publication/2026/2026-tacas-saan-goblint-portfolio/Data Race Detection by Digest-Driven Abstract Interpretationhttps://focs-lab.comp.nus.edu.sg/publication/2026/2026-vmcai-schwarz-digest-driven-race-detection/Thu, 01 Jan 2026 00:00:00 +0000https://focs-lab.comp.nus.edu.sg/publication/2026/2026-vmcai-schwarz-digest-driven-race-detection/