Cover Image

PrediPrune: Reducing Verification Overhead in Souper with Machine Learning Driven Pruning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ishimwe, Ange-Thierry, Shivakumar, Raghuveer, Kim, Heewoo, Lehman, Tamara, Izraelevitz, Joseph
Format:	Preprint
Published:	2025
Subjects:	Emerging Technologies Programming Languages Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Verification of Digital Twins using Classical and Statistical Model Checking
by: Gunasekaran, Raghavendran, et al.
Published: (2025)

A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4 code interpreter
by: Bouafif, Mohamed Salah, et al.
Published: (2024)

TwinArch: A Digital Twin Reference Architecture
by: Somma, Alessandra, et al.
Published: (2025)

Process Analytics -- Data-driven Business Process Management
by: Stierle, Matthias, et al.
Published: (2025)

The Rise of the Software-Defined Vehicle: Architectures, Enabling Technologies, and Future Opportunities
by: Liotou, Eirini, et al.
Published: (2026)

Towards Change Impact Analysis in Microservices-based System Evolution
by: Cerny, Tomas, et al.
Published: (2025)

Reformulating Regression Test Suite Optimization using Quantum Annealing -- an Empirical Study
by: Trovato, Antonio, et al.
Published: (2024)

From over-reliance to smart integration: using Large-Language Models as translators between specialized modeling and simulation tools
by: Giabbanelli, Philippe J., et al.
Published: (2025)

A Semantic Framework for Patient Digital Twins in Chronic Care
by: Elgammal, Amal, et al.
Published: (2025)

A Domain-specific Language and Architecture for Detecting Process Activities from Sensor Streams in IoT
by: Seiger, Ronny, et al.
Published: (2025)

Service Weaver: A Promising Direction for Cloud-native Systems?
by: Johnson, Jacoby, et al.
Published: (2024)

Beyond words and actions: Exploring Multimodal Analytics and Collaboration in the Digital Age
by: Miranda, Diego, et al.
Published: (2024)

Digital Twin Evolution for Sustainable Smart Ecosystems
by: Michael, Judith, et al.
Published: (2024)

Software-Defined Vehicle Ecosystems in Transformation -- A Systematic Literature Review
by: Hietala, Heidi, et al.
Published: (2026)

Quantum Software Architecture Framework (QSAF): A Component-Based Framework for Designing Hybrid Quantum-Classical Systems
by: Kiwelekar, Arvind W., et al.
Published: (2026)

DevOps Automation Pipeline Deployment with IaC (Infrastructure as Code)
by: Saxena, Adarsh, et al.
Published: (2025)

Programmers Aren't Obsolete Yet: A Syllabus for Teaching CS Students to Responsibly Use Large Language Models for Code Generation
by: Cipriano, Bruno Pereira, et al.
Published: (2025)

Model Context Protocol (MCP) Tool Descriptions Are Smelly! Towards Improving AI Agent Efficiency with Augmented MCP Tool Descriptions
by: Hasan, Mohammed Mehedi, et al.
Published: (2026)

Using quantum annealing to generate test cases for cyber-physical systems
by: Araujo, Hugo, et al.
Published: (2025)

Systems of Twinned Systems: A Systematic Literature Review
by: Adesanya, Feyi, et al.
Published: (2025)

A Construction-Phase Digital Twin Framework for Quality Assurance and Decision Support in Civil Infrastructure Projects
by: Islam, Md Asiful, et al.
Published: (2026)

Model Context Protocol (MCP) at First Glance: Studying the Security and Maintainability of MCP Servers
by: Hasan, Mohammed Mehedi, et al.
Published: (2025)

Nix: A Solution With Problems
by: Zwinger, Matias
Published: (2026)

A Curated List of Open-source Software-only Energy Efficiency Measurement Tools: A GitHub Mining Study
by: Cannizza, Manuela Bechara, et al.
Published: (2026)

Establishment of a Blockchain-based Architecture for Fake News Detection
by: Graciano-Neto, Valdemar Vicente, et al.
Published: (2024)

LLMs Still Can't Avoid Instanceof: An Investigation Into GPT-3.5, GPT-4 and Bard's Capacity to Handle Object-Oriented Programming Assignments
by: Cipriano, Bruno Pereira, et al.
Published: (2024)

Investigating the Role of Cultural Values in Adopting Large Language Models for Software Engineering
by: Lambiase, Stefano, et al.
Published: (2024)

LLM4VV: Evaluating Cutting-Edge LLMs for Generation and Evaluation of Directive-Based Parallel Programming Model Compiler Tests
by: Sollenberger, Zachariah, et al.
Published: (2025)

Utilizing Composer Packages to Accelerate Laravel-Based Project Development Among Students: A Pedagogical and Practical Framework
by: Wahid, Rohaizah Abdul, et al.
Published: (2025)

An Empirical Study of Testing Practices in Open Source AI Agent Frameworks and Agentic Applications
by: Hasan, Mohammed Mehedi, et al.
Published: (2025)

Design and Implementation of Flutter based Multi-platform Docker Controller App
by: Saxena, Adarsh, et al.
Published: (2025)

Collaborative Distributed Machine Learning
by: Jin, David, et al.
Published: (2023)

LLM as a code generator in Agile Model Driven Development
by: Sadik, Ahmed R., et al.
Published: (2024)

Lessons Learned from the Use of Generative AI in Engineering and Quality Assurance of a WEB System for Healthcare
by: Travassos, Guilherme H., et al.
Published: (2025)

MoT: A Model-Driven Low-Code Approach for Simplifying Cloud-of-Things Application Development
by: Welter, Cristiano, et al.
Published: (2025)

Design and Validation of Learning Aware HMI For Learning-Enabled Increasingly Autonomous Systems
by: Ganeriwala, Parth, et al.
Published: (2025)

Automatic Qiskit Code Refactoring Using Large Language Models
by: Suárez, José Manuel, et al.
Published: (2025)

TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
by: Wang, Shuzheng, et al.
Published: (2025)

LuGo: an Enhanced Quantum Phase Estimation Implementation
by: Lu, Chao, et al.
Published: (2025)

An AST-guided LLM Approach for SVRF Code Synthesis
by: Abdelmalak, Abanoub E., et al.
Published: (2025)