• Sign in
  • Sign up
conf.researchr.org / Ranadeep Biswas
  • SPLASH 2019 profile
  • SPLASH 2021 profile
Ranadeep Biswas

Registered user since Thu 18 Jun 2020

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

Contributions

2021

Static Analysis Symposium

  • Committee Member in Artifact Evaluation Committee within the SAS-track

SPLASH

  • Author of MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels within the OOPSLA-track

2019

SPLASH

  • 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
Share
xThu 17 Jul 14:12
using conf.researchr.org (v1.69.1)
Support page
Sign Up