Parth V. Patil

According to our database, Parth V. Patil authored at least 5 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification.

Paschal C. Amusuo, Owen Cochell, Taylor Le Lievre, Parth V. Patil, Aravind Machiry, James C. Davis

CoRR, March, 2025

Recommending Pre-Trained Models for IoT Devices.

Parth V. Patil, Wenxin Jiang, Huiyun Peng, Daniel Lugo, Kelechi G. Kalu, Josh LeBlanc, Lawrence Smith, Hyeonwoo Heo, Nathanael Aou, James C. Davis

Proceedings of the 7th IEEE/ACM International Workshop on Software Engineering Research & Practices for the IoT, 2025

A Unit Proofing Framework for Code-level Verification: A Research Agenda.

Paschal C. Amusuo, Parth V. Patil, Owen Cochell, Taylor Le Lievre, James C. Davis

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, ICSE 2025 - NIER, Ottawa, ON, Canada, April 27, 2025

2024

Recommending Pre-Trained Models for IoT Devices.

Parth V. Patil, Wenxin Jiang, Huiyun Peng, Daniel Lugo, Kelechi G. Kalu, David J. LeBlanc, Lawrence Smith, Hyeonwoo Heo, Nathanael Aou, James C. Davis

CoRR, 2024

Enabling Unit Proofing for Software Implementation Verification.

Paschal C. Amusuo, Parth V. Patil, Owen Cochell, Taylor Le Lievre, James C. Davis

CoRR, 2024