Parth Vinod Patil -

Registered user since Sun 16 Feb 2025

Name:Parth Vinod Patil

Country:United States

Affiliation:Purdue University

Personal website: https://parthvpatil.github.io

GitHub: https://github.com/parth1811

Contributions

2026

ICSE

Author of Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification within the Research Track-track

2025

ICSE

Author of A Unit Proofing Framework for Code-level Verification: A Research Agenda within the New Ideas and Emerging Results (NIER)-track

SERP4IoT

Author of Recommending Pre-Trained Models for IoT Devices within the SE for the Internet of Things-track