Mahmudul Faisal Al Ameen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2009–2022
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | FLOPS | Asynchronous Unfold/Fold Transformation for Fixpoint Logic. | Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato |
| 2021 | APLAS | Function Pointer Eliminator for C Programs. | Daisuke Kimura, Mahmudul Faisal Al Ameen, Makoto Tatsuta, Koji Nakazawa |
| 2018 | VMCAI | A Logical System for Modular Information Flow Verification. | Adi Prabawa, Mahmudul Faisal Al Ameen, Benedict Lee, Wei-Ngan Chin |
| 2009 | SEFM | Completeness of Pointer Program Verification by Separation Logic. | Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen |