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
2022
FLOPS
Author of Asynchronous Unfolding for Fold/Unfold Transformation of Fixpoint Logic Formula within the FLOPS 2022-track
2021
APLAS
Author of Function Pointer Eliminator for C Programs within the Research Papers-track
Share
x
Mon 18 Nov 21:22