Mahmudul Faisal Al Ameen

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 6

Top Topics

Semantics For Logic Programs

Top Venues

Sci. Comput. Program.

Publications

Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato
Asynchronous unfold/fold transformation for fixpoint logic. Sci. Comput. Program. 231 (2024)
Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato
Asynchronous Unfold/Fold Transformation for Fixpoint Logic. FLOPS (2022)
Daisuke Kimura, Mahmudul Faisal Al Ameen, Makoto Tatsuta, Koji Nakazawa
Function Pointer Eliminator for C Programs. APLAS (2021)
Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen
Completeness and expressiveness of pointer program verification by separation logic. Inf. Comput. 267 (2019)
Adi Prabawa, Mahmudul Faisal Al Ameen, Benedict Lee, Wei-Ngan Chin
A Logical System for Modular Information Flow Verification. VMCAI (2018)
Mahmudul Faisal Al Ameen, Makoto Tatsuta
Completeness for recursive procedures in separation logic. Theor. Comput. Sci. 631 (2016)
Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen
Completeness of Pointer Program Verification by Separation Logic. SEFM (2009)