paper-with-me

홈 › Papers

Analysis of Failures and Risks in Deep Learning Model Converters: A Case Study in the ONNX Ecosystem

2023-03-30 · Purvish Jajal, Wenxin Jiang, Arav Tewari, Erik Kocinare, Joseph Woo, Anusha Sarraf, Yung-Hsiang Lu, George K. Thiruvathukal, James C. Davis

Software engineers develop, fine-tune, and deploy deep learning (DL) models using a variety of development frameworks and runtime environments. DL model converters move models between frameworks and to runtime environments. Conversion errors compromise model quality and disrupt deployment. However, the failure characteristics of DL model converters are unknown, adding risk when using DL interoperability technologies. This paper analyzes failures in DL model converters. We survey software engineers about DL interoperability tools, use cases, and pain points (N=92). Then, we characterize failures in model converters associated with the main interoperability tool, ONNX (N=200 issues in PyTorch and TensorFlow). Finally, we formulate and test two hypotheses about structural causes for the failures we studied. We find that the node conversion stage of a model converter accounts for ~75% of the defects and 33% of reported failure are related to semantically incorrect models. The cause of semantically incorrect models is elusive, but models with behaviour inconsistencies share operator sequences. Our results motivate future research on making DL interoperability software simpler to maintain, extend, and validate. Research into behavioural tolerances and architectural coverage metrics could be fruitful.

📄 PDF Abstract BibTeX arXiv:2303.17708

Code (1)

purduedualitylab/issta24-onnx-artifact 공식 구현 pytorch

Methods 이 논문이 사용한 방법론

fail 설명 없음

Similar Papers 제목 키워드 기반

Identifying the Risks of LM Agents with an LM-Emulated Sandbox

2023-09-25 · Yangjun Ruan, Honghua Dong, Andrew Wang, Silviu Pitis 외

Recent advances in Language Model (LM) agents and tool use, exemplified by applications like ChatGPT Plugins, enable a rich set of capabilities but also amplify potential risks - such as leaking private data or causing f…

Language Modellingvalid

How Many Grid-Forming Converters Do We Need? A Perspective From Small Signal Stability and Power Grid Strength

2022-09-21 · Huanhai Xin, Chenxi Liu, Xia Chen, Yuxuan Wang 외

Grid-forming (GFM) control has been considered a promising solution for accommodating large-scale power electronics converters into modern power grids thanks to its grid-friendly dynamics, in particular, voltage source b…

A Categorical Archive of ChatGPT Failures

2023-02-06 · Ali Borji

Large language models have been demonstrated to be valuable in different fields. ChatGPT, developed by OpenAI, has been trained using massive amounts of data and simulates human conversation by comprehending context and …

Math

Modeling and Analysis of Switched-Capacitor Converters as a Multi-port Network for Covert Communication

2021-06-09 · Yerzhan Mustafa, Selçuk Köse

Switched-capacitor (SC) DC-DC voltage converters are widely used in power delivery and management of modern integrated circuits. Connected to a common supply voltage, SC converters exhibit cross-regulation/coupling effec…

Management

Stability Assessment for Multi-Infeed Grid-Connected VSCs Modeled in the Admittance Matrix Form

2021-09-22 · Luis Orellana, Luis Sainz, Eduardo Prieto-Araujo, Oriol Gomis-Bellmunt

The increasing use of power electronics converters to integrate renewable energy sources has been subject of concern due to the resonance oscillatory phenomena caused by their interaction with poorly damped AC networks. …

Form