VLDB 2026 Research / reviewers in the wild / expert

Mahmudul Faisal Al Ameen

dblp:16/7640 · DBLP profile ↗
← Back
6ranked-venue papers
2as first author
2since 2021 · last 2024
0000-0002-2388-4908ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 4 · 1 first-author · 2 since 2021Theory of computation · 2 · 1 first-author
YearPublicationVenuePosition
2024 Asynchronous unfold/fold transformation for fixpoint logic
Mahmudul Faisal Al Ameen, Naoki Kobayashi 0001, Ryosuke Sato 0001
 Sci. Comput. Program.1
2021 Function Pointer Eliminator for C Programs
Daisuke Kimura, Mahmudul Faisal Al Ameen, Makoto Tatsuta, Koji Nakazawa
 APLAS2
2019 Completeness and expressiveness of pointer program verification by separation logic
Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen
 Inf. Comput.3
2018 A Logical System for Modular Information Flow Verification
Adi Prabawa, Mahmudul Faisal Al Ameen, Benedict Lee, Wei-Ngan Chin
 VMCAI2
2016 Completeness for recursive procedures in separation logic
Mahmudul Faisal Al Ameen, Makoto Tatsuta
 Theor. Comput. Sci.1
2009 Completeness of Pointer Program Verification by Separation Logic
abstract
Reynolds' separation logical system for pointer program verification is investigated. This paper proves its completeness theorem as well as the expressiveness theorem that states the weakest precondition of every program and every assertion can be expressed by some assertion. This paper also introduces the predicate that represents the next new cell, and proves the completeness and the soundness of the extended system under deterministic semantics.
Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen
 SEFM3