Parth V. Patil

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

Collaborative distances:

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

2026

Beyond Local Code Optimization: Multi-Agent Reasoning for Software System Optimization.

Huiyun Peng, Parth V. Patil, Antonio Zhong Qiu, George K. Thiruvathukal, James C. Davis

CoRR, March, 2026

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 47th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, ICSE 2025 - NIER, Ottawa, ON, Canada, April 27, 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