Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Antoniadis, Anastasios, Tsatiris, Ilias, Grech, Nevill, Smaragdakis, Yannis
Formato:	Preprint
Publicado:	2025
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis
por: Diamantakis, Panagiotis, et al.
Publicado: (2025)

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
por: Smaragdakis, Yannis, et al.
Publicado: (2025)

What Do Developers Discuss in Their Workplace? An Analysis of Workplace StackExchange Discussions
por: Grech, Natasha, et al.
Publicado: (2024)

Inferring Non-Failure Conditions for Declarative Programs
por: Hanus, Michael
Publicado: (2024)

A Declarative Framework for Hand-Crafted Mutation Analysis and Management
por: Keles, Alperen
Publicado: (2026)

SieveFL: Hierarchical Runtime-Aware Pruning for Scalable LLM-Based Fault Localization
por: Farzandway, Mahdi, et al.
Publicado: (2026)

Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis
por: Li, Fengjie, et al.
Publicado: (2024)

Combining Static Analysis Techniques for Program Comprehension Using Slicito
por: Husák, Robert, et al.
Publicado: (2025)

Combining Example-Based and Rule-Based Program Transformations to Resolve Build Conflicts
por: Towqir, Sheikh Shadab, et al.
Publicado: (2025)

Declarative Policy Control for Data Spaces: A DSL-Based Approach for Manufacturing-X
por: Pfeiffer, Jérôme, et al.
Publicado: (2025)

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

On Developers' Self-Declaration of AI-Generated Code: An Analysis of Practices
por: Kashif, Syed Mohammad, et al.
Publicado: (2025)

Bridging Design and Development with Automated Declarative UI Code Generation
por: Zhou, Ting, et al.
Publicado: (2024)

An Analysis of MLOps Architectures: A Systematic Mapping Study
por: Najafabadi, Faezeh Amou, et al.
Publicado: (2024)

Scalable Deductive Verification of Data-Level Parallel Programs
por: Haak, Lars B. van den, et al.
Publicado: (2026)

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
por: Alhanahnah, Mohannad, et al.
Publicado: (2024)

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

JEDI: Java Evaluation of Declarative and Imperative Queries
por: Schiavio, Filippo, et al.
Publicado: (2026)

Towards a Declarative Agentic Layer for Intelligent Agents in MCP-Based Server Ecosystems
por: Rodriguez-Sanchez, Maria Jesus, et al.
Publicado: (2026)

TGMM: Combining Parse Tree with GPU for Scalable Multilingual and Multi-Granularity Code Clone Detection
por: Ye, Yuhang, et al.
Publicado: (2024)

SLICEMATE: Accurate and Scalable Static Program Slicing via LLM-Powered Agents
por: Chang, Jianming, et al.
Publicado: (2025)

SparseCoder: Advancing Source Code Analysis with Sparse Attention and Learned Token Pruning
por: Yang, Xueqi, et al.
Publicado: (2023)

A Systematic Review of MLOps Tools: Tool Adoption, Lifecycle Coverage, and Critical Insights
por: Micallef, Zakkarija, et al.
Publicado: (2026)

SeqTG: Scalable Combinatorial Test Generation via Sequential Integer Linear Programming
por: Yang, Sitong, et al.
Publicado: (2026)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
por: Lanzinger, Florian, et al.
Publicado: (2024)

Scalable Thread-Safety Analysis of Java Classes with CodeQL
por: Jåtten, Bjørnar Haugstad, et al.
Publicado: (2025)

Cache-a-lot: Pushing the Limits of Unsatisfiable Core Reuse in SMT-Based Program Analysis
por: Sadykov, Rustam, et al.
Publicado: (2025)

Parallel Program Analysis on Path Ranges
por: Haltermanna, Jan, et al.
Publicado: (2024)

Program Decomposition and Translation with Static Analysis
por: Ibrahimzada, Ali Reza
Publicado: (2024)

A Multimodal Approach Combining Biometrics and Self-Report Instruments for Monitoring Stress in Programming: Methodological Insights
por: Montes, Cristina Martinez, et al.
Publicado: (2025)

From Tea Leaves to System Maps: A Survey and Framework on Context-aware Machine Learning Monitoring
por: Leest, Joran, et al.
Publicado: (2025)

Monitoring and Observability of Machine Learning Systems: Current Practices and Gaps
por: Leest, Joran, et al.
Publicado: (2025)

Tracing Distribution Shifts with Causal System Maps
por: Leest, Joran, et al.
Publicado: (2025)

A Slice-Based Change Impact Analysis for Regression Test Case Prioritization of Object-Oriented Programs
por: Panda, S., et al.
Publicado: (2025)

Selecting and Combining Large Language Models for Scalable Code Clone Detection
por: Chochlov, Muslim, et al.
Publicado: (2025)

On the Limitations of Combining Sentiment Analysis Tools in a Cross-Platform Setting
por: Obaidi, Martin, et al.
Publicado: (2025)

Retrograde Program Analysis: A Practical Tutorial
por: Perisic, Aleksandar
Publicado: (2010)

Declarative Techniques for NL Queries over Heterogeneous Data
por: Khabiri, Elham, et al.
Publicado: (2025)

Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification
por: Wen, Cheng, et al.
Publicado: (2024)

Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization
por: Yan, Jiwei, et al.
Publicado: (2024)