Rupak Majumdar | FOCS Lab @ NUShttps://focs-lab.comp.nus.edu.sg/author/rupak-majumdar/Rupak MajumdarHugo Blox Builder (https://hugoblox.com)en-usSat, 04 Apr 2026 00:00:00 +0000https://focs-lab.comp.nus.edu.sg/media/icon_hu5d7d4d7c5767fff68bb2045c417d28ca_165_512x512_fill_lanczos_center_3.pngRupak Majumdarhttps://focs-lab.comp.nus.edu.sg/author/rupak-majumdar/State Space Estimation for DPOR-based Model Checkershttps://focs-lab.comp.nus.edu.sg/publication/2026/2026-pldi-balasubramanian-dpor-estimation/Sat, 04 Apr 2026 00:00:00 +0000https://focs-lab.comp.nus.edu.sg/publication/2026/2026-pldi-balasubramanian-dpor-estimation/