Mahmudul Faisal Al Ameen

According to our database, Mahmudul Faisal Al Ameen authored at least 6 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Asynchronous unfold/fold transformation for fixpoint logic.

Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato

Sci. Comput. Program., January, 2024

2021

Function Pointer Eliminator for C Programs.

Daisuke Kimura, Mahmudul Faisal Al Ameen, Makoto Tatsuta, Koji Nakazawa

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2019

Completeness and expressiveness of pointer program verification by separation logic.

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen

Inf. Comput., 2019

2018

A Logical System for Modular Information Flow Verification.

Adi Prabawa, Mahmudul Faisal Al Ameen, Benedict Lee, Wei-Ngan Chin

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

2016

Completeness for recursive procedures in separation logic.

Mahmudul Faisal Al Ameen, Makoto Tatsuta

Theor. Comput. Sci., 2016

2009

Completeness of Pointer Program Verification by Separation Logic.

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009