Skip to main content

Showing 1–5 of 5 results for author: Patil, P V

Searching in archive cs. Search in all archives.
.
  1. arXiv:2503.13762  [pdf, other

    cs.SE

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

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

    Abstract: Memory safety defects pose a major threat to software reliability, enabling cyberattacks, outages, and crashes. To mitigate these risks, organizations adopt Compositional Bounded Model Checking (BMC), using unit proofs to formally verify memory safety. However, methods for creating unit proofs vary across organizations and are inconsistent within the same project, leading to errors and missed defe… ▽ More

    Submitted 17 March, 2025; originally announced March 2025.

    Comments: 13 pages

    ACM Class: D.2.4; F.3.1

  2. arXiv:2412.18972  [pdf, other

    cs.LG cs.AI cs.SE

    Recommending Pre-Trained Models for IoT Devices

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

    Abstract: The availability of pre-trained models (PTMs) has enabled faster deployment of machine learning across applications by reducing the need for extensive training. Techniques like quantization and distillation have further expanded PTM applicability to resource-constrained IoT hardware. Given the many PTM options for any given task, engineers often find it too costly to evaluate each model's suitabil… ▽ More

    Submitted 25 December, 2024; originally announced December 2024.

    Comments: Accepted at SERP4IOT'25

  3. arXiv:2410.14818  [pdf, other

    cs.SE

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

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

    Abstract: Formal verification provides mathematical guarantees that a software is correct. Design-level verification tools ensure software specifications are correct, but they do not expose defects in actual implementations. For this purpose, engineers use code-level tools. However, such tools struggle to scale to large software. The process of "Unit Proofing" mitigates this by decomposing the software and… ▽ More

    Submitted 30 April, 2025; v1 submitted 18 October, 2024; originally announced October 2024.

    Comments: 5 pages, 2 figures

    ACM Class: D.2.4; F.3.1

  4. arXiv:2002.09943  [pdf, other

    cs.LG cs.SI stat.ML

    Network Clustering Via Kernel-ARMA Modeling and the Grassmannian The Brain-Network Case

    Authors: Cong Ye, Konstantinos Slavakis, Pratik V. Patil, Johan Nakuci, Sarah F. Muldoon, John Medaglia

    Abstract: This paper introduces a clustering framework for networks with nodes annotated with time-series data. The framework addresses all types of network-clustering problems: State clustering, node clustering within states (a.k.a. topology identification or community detection), and even subnetwork-state-sequence identification/tracking. Via a bottom-up approach, features are first extracted from the raw… ▽ More

    Submitted 18 February, 2020; originally announced February 2020.

    Comments: arXiv admin note: substantial text overlap with arXiv:1906.02292

  5. arXiv:1906.02292  [pdf, other

    cs.LG eess.SP stat.ML

    Brain-Network Clustering via Kernel-ARMA Modeling and the Grassmannian

    Authors: Cong Ye, Konstantinos Slavakis, Pratik V. Patil, Sarah F. Muldoon, John Medaglia

    Abstract: Recent advances in neuroscience and in the technology of functional magnetic resonance imaging (fMRI) and electro-encephalography (EEG) have propelled a growing interest in brain-network clustering via time-series analysis. Notwithstanding, most of the brain-network clustering methods revolve around state clustering and/or node clustering (a.k.a. community detection or topology inference) within s… ▽ More

    Submitted 5 June, 2019; originally announced June 2019.