Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Md Syadus Sefat
conf.researchr.org general profile
ECOOP and ISSTA 2021 profile
POPL 2025 profile
Registered user since Mon 5 Apr 2021
Name:
Md Syadus Sefat
Country:
United States
Affiliation:
Virginia Tech
Contributions
2025
POPL
Author of On Extending Incorrectness Logic with Backwards Reasoning within the POPL-track
2021
ISSTA
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Share
x
Thu 21 Nov 13:04