Arnab Sharma -

Registered user since Thu 12 Apr 2018

Name:Arnab Sharma

Country:Germany

Affiliation:University of Paderborn

Research interests:Machine learning, Program Analysis

Contributions

2024

FormaliSE

Committee Member in Artifact Evaluation Committee within the FormaliSE 2024-track

2023

FormaliSE

Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE 2023-track

ISSTA

Committee Member in Artifact Evaluation within the Artifact Evaluation-track

2022

ISSTA

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

FormaliSE

Author of Property-Driven Testing of Black-Box Functions within the FormaliSE 2022-track

2021

ECOOP

Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track

2020

SPLASH

Author of A Property-Based Testing Framework for Machine Learning Programs [ECOOP DS] within the Doctoral Symposium-track

ISSTA

Author of Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models within the Technical Papers-track