• Sign in
  • Sign up
conf.researchr.org / Mahmudul Faisal Al Ameen
  • 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
xTue 5 Jul 12:31
using conf.researchr.org (v1.56.1)
Support page
Sign Up