Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mahmudul Faisal Al Ameen
conf.researchr.org general profile
FLOPS 2022 profile
SPLASH 2021 profile
Registered user since Sun 20 Mar 2022
Name:
Mahmudul Faisal Al Ameen
Affiliation:
University of Tokyo
Contributions
FLOPS 2022
Author of Asynchronous Unfolding for Fold/Unfold Transformation of Fixpoint Logic Formula within the FLOPS 2022-track
APLAS 2021
Author of Function Pointer Eliminator for C Programs within the Research Papers-track
Share
x
Tue 5 Jul 12:31