2 papers
cs.LG2025
On Robustness of Linear Classifiers to Targeted Data Poisoning
Nakshatra Gupta, Sumanth Prabhu, Supratik Chakraborty +1
Data poisoning is a training-time attack that undermines the trustworthiness of learned models. In a targeted data poisoning attack, an adversary manipulates the training dataset t…
cs.SE2024
A shallow dive into the depths of non-termination checking for C programs
Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar +3
Checking for Non-Termination (NT) of a given program P, i.e., determining if P has at least one non-terminating run, is an undecidable problem that continues to garner significant…