2 papers
cs.PL2021
Stateless Model Checking under a Reads-Value-From Equivalence
Pratyush Agarwal, Krishnendu Chatterjee, Shreya Pathak +2
Stateless model checking (SMC) is one of the standard approaches to the verification of concurrent programs. As scheduling non-determinism creates exponentially large spaces of thr…
eess.IV2020
Improving Lesion Detection by exploring bias on Skin Lesion dataset
Anusua Trivedi, Sreya Muppalla, Shreyaan Pathak +4
All datasets contain some biases, often unintentional, due to how they were acquired and annotated. These biases distort machine-learning models' performance, creating spurious cor…