Programming Languages · Computer Science
Growing Mathlib: maintenance of a large scale mathematical library
Anne Baanen, Matthew Robert Ballard, Johan Commelin, Bryan Gin-ge Chen +2
2025-10-08
Software Engineering · Computer Science
Machine Learning Systems are Bloated and Vulnerable
Huaifeng Zhang, Fahmi Abdulqadir Ahmed, Dyako Fatih, Akayou Kitessa +3
2024-01-26
Software Engineering · Computer Science
The Used, the Bloated, and the Vulnerable: Reducing the Attack Surface of an Industrial Application
Serena Elisa Ponta, Wolfram Fischer, Henrik Plate, Antonino Sabetta
2021-08-12
Software Engineering · Computer Science
Focused Dynamic Slicing for Large Applications using an Abstract Memory-Model
Alexis Soifer, Diego Garbervetsky, Victor Braberman, Sebastian Uchitel
2022-11-10
Distributed, Parallel, and Cluster Computing · Computer Science
Efficient Serverless Cold Start: Reducing Library Loading Overhead by Profile-guided Optimization
Syed Salauddin Mohammad Tariq, Ali Al Zein, Soumya Sripad Vaidya, Arati Khanolkar +2
2025-04-29
Software Engineering · Computer Science
Statistical Program Slicing: a Hybrid Slicing Technique for Analyzing Deployed Software
Bogdan Alexandru Stoica, Swarup K. Sahoo, James R. Larus, Vikram S. Adve
2022-01-04
Machine Learning · Computer Science
Distributional MIPLIB: a Multi-Domain Library for Advancing ML-Guided MILP Methods
Weimin Huang, Taoan Huang, Aaron M Ferber, Bistra Dilkina
2024-10-29
Software Engineering · Computer Science
Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
Hao Tang, Keya Hu, Jin Peng Zhou, Sicheng Zhong +3
2024-10-31
Software Engineering · Computer Science
Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding
Pengfei He, Shaowei Wang, Tse-Hsun Chen, Muhammad Asaduzzaman
2026-05-12
Software Engineering · Computer Science
SynthCoder: A Synthetical Strategy to Tune LLMs for Code Completion
Dongjun Yu, Xiao Yan, Zhenrui Li, Jipeng Xiao +5
2025-09-18
Computation and Language · Computer Science
ToolLibGen: Scalable Automatic Tool Creation and Aggregation for LLM Reasoning
Murong Yue, Zhiwei Liu, Liangwei Yang, Jianguo Zhang +7
2025-10-10
Software Engineering · Computer Science
Coverage-Based Debloating for Java Bytecode
César Soto-Valero, Thomas Durieux, Nicolas Harrand, Benoit Baudry
2022-05-20
Software Engineering · Computer Science
Refactoring Codebases through Library Design
Ziga Kovacic, Justin T. Chiu, Celine Lee, Wenting Zhao +1
2025-10-07