conf.researchr.org / Ranadeep Biswas
Ranadeep Biswas

Registered user since Thu 18 Jun 2020

Name:Ranadeep Biswas
Country:France
Affiliation:Informal Systems
Personal website:https://me.rnbguy.at/
Twitter:https://twitter.com/i_rnb
GitHub:https://github.com/rnbguy
Research interests:Testing, Formal Methods, Verification, Machine Learning, Blockchain

Contributions

SAS 2021 Committee Member in Artifact Evaluation Committee within the SAS-track
SPLASH 2021 Author of MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels within the OOPSLA-track
SPLASH 2019 Author of On the Complexity of Checking Transactional Consistency within the OOPSLA Artifacts-track
Author of On the Complexity of Checking Transactional Consistency within the OOPSLA-track