Image de couverture de livre

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Antoniadis, Anastasios, Tsatiris, Ilias, Grech, Nevill, Smaragdakis, Yannis
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis
par: Diamantakis, Panagiotis, et autres
Publié: (2025)

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
par: Smaragdakis, Yannis, et autres
Publié: (2025)

What Do Developers Discuss in Their Workplace? An Analysis of Workplace StackExchange Discussions
par: Grech, Natasha, et autres
Publié: (2024)

Inferring Non-Failure Conditions for Declarative Programs
par: Hanus, Michael
Publié: (2024)

A Declarative Framework for Hand-Crafted Mutation Analysis and Management
par: Keles, Alperen
Publié: (2026)

SieveFL: Hierarchical Runtime-Aware Pruning for Scalable LLM-Based Fault Localization
par: Farzandway, Mahdi, et autres
Publié: (2026)

Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis
par: Li, Fengjie, et autres
Publié: (2024)

Combining Static Analysis Techniques for Program Comprehension Using Slicito
par: Husák, Robert, et autres
Publié: (2025)

Combining Example-Based and Rule-Based Program Transformations to Resolve Build Conflicts
par: Towqir, Sheikh Shadab, et autres
Publié: (2025)

Declarative Policy Control for Data Spaces: A DSL-Based Approach for Manufacturing-X
par: Pfeiffer, Jérôme, et autres
Publié: (2025)

GITER: A Git-Based Declarative Exchange Model Using Kubernetes-Style Custom Resources
par: Tranoris, Christos
Publié: (2025)

On Developers' Self-Declaration of AI-Generated Code: An Analysis of Practices
par: Kashif, Syed Mohammad, et autres
Publié: (2025)

Bridging Design and Development with Automated Declarative UI Code Generation
par: Zhou, Ting, et autres
Publié: (2024)

An Analysis of MLOps Architectures: A Systematic Mapping Study
par: Najafabadi, Faezeh Amou, et autres
Publié: (2024)

Scalable Deductive Verification of Data-Level Parallel Programs
par: Haak, Lars B. van den, et autres
Publié: (2026)

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
par: Alhanahnah, Mohannad, et autres
Publié: (2024)

DADL: A Declarative Description Language for Enterprise Tool Libraries in LLM Agent Systems
par: Dunkel, Axel
Publié: (2026)

JEDI: Java Evaluation of Declarative and Imperative Queries
par: Schiavio, Filippo, et autres
Publié: (2026)

Towards a Declarative Agentic Layer for Intelligent Agents in MCP-Based Server Ecosystems
par: Rodriguez-Sanchez, Maria Jesus, et autres
Publié: (2026)

TGMM: Combining Parse Tree with GPU for Scalable Multilingual and Multi-Granularity Code Clone Detection
par: Ye, Yuhang, et autres
Publié: (2024)

SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents
par: Chang, Jianming, et autres
Publié: (2025)

SparseCoder: Advancing Source Code Analysis with Sparse Attention and Learned Token Pruning
par: Yang, Xueqi, et autres
Publié: (2023)

A Systematic Review of MLOps Tools: Tool Adoption, Lifecycle Coverage, and Critical Insights
par: Micallef, Zakkarija, et autres
Publié: (2026)

SeqTG: Scalable Combinatorial Test Generation via Sequential Integer Linear Programming
par: Yang, Sitong, et autres
Publié: (2026)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
par: Lanzinger, Florian, et autres
Publié: (2024)

Scalable Thread-Safety Analysis of Java Classes with CodeQL
par: Jåtten, Bjørnar Haugstad, et autres
Publié: (2025)

Cache-a-lot: Pushing the Limits of Unsatisfiable Core Reuse in SMT-Based Program Analysis
par: Sadykov, Rustam, et autres
Publié: (2025)

Parallel Program Analysis on Path Ranges
par: Haltermanna, Jan, et autres
Publié: (2024)

Program Decomposition and Translation with Static Analysis
par: Ibrahimzada, Ali Reza
Publié: (2024)

A Multimodal Approach Combining Biometrics and Self-Report Instruments for Monitoring Stress in Programming: Methodological Insights
par: Montes, Cristina Martinez, et autres
Publié: (2025)

From Tea Leaves to System Maps: A Survey and Framework on Context-aware Machine Learning Monitoring
par: Leest, Joran, et autres
Publié: (2025)

Monitoring and Observability of Machine Learning Systems: Current Practices and Gaps
par: Leest, Joran, et autres
Publié: (2025)

Tracing Distribution Shifts with Causal System Maps
par: Leest, Joran, et autres
Publié: (2025)

A Slice-Based Change Impact Analysis for Regression Test Case Prioritization of Object-Oriented Programs
par: Panda, S., et autres
Publié: (2025)

Selecting and Combining Large Language Models for Scalable Code Clone Detection
par: Chochlov, Muslim, et autres
Publié: (2025)

On the Limitations of Combining Sentiment Analysis Tools in a Cross-Platform Setting
par: Obaidi, Martin, et autres
Publié: (2025)

Retrograde Program Analysis: A Practical Tutorial
par: Perisic, Aleksandar
Publié: (2010)

Declarative Techniques for NL Queries over Heterogeneous Data
par: Khabiri, Elham, et autres
Publié: (2025)

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
par: Wen, Cheng, et autres
Publié: (2024)

Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization
par: Yan, Jiwei, et autres
Publié: (2024)