Bridging the PLC Binary Analysis Gap: A Cross-Compiler Dataset and Neural Framework for Industrial Control Systems
Fuente:
arXiv
Salvato in:
| Autori principali: | Achamyeleh, Yonatan Gizachew, Yu, Shih-Yuan, Araya, Gustavo Quirós, Faruque, Mohammad Abdullah Al |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
HELIOS: Hierarchical Graph Abstraction for Structure-Aware LLM Decompilation
di: Achamyeleh, Yonatan Gizachew, et al.
Pubblicazione: (2026)
di: Achamyeleh, Yonatan Gizachew, et al.
Pubblicazione: (2026)
AGNOMIN -- Architecture Agnostic Multi-Label Function Name Prediction
di: Achamyeleh, Yonatan Gizachew, et al.
Pubblicazione: (2025)
di: Achamyeleh, Yonatan Gizachew, et al.
Pubblicazione: (2025)
LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
di: Fakih, Mohamad, et al.
Pubblicazione: (2024)
di: Fakih, Mohamad, et al.
Pubblicazione: (2024)
LLM4CVE: Enabling Iterative Automated Vulnerability Repair with Large Language Models
di: Fakih, Mohamad, et al.
Pubblicazione: (2025)
di: Fakih, Mohamad, et al.
Pubblicazione: (2025)
Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents
di: Liu, Zihan, et al.
Pubblicazione: (2024)
di: Liu, Zihan, et al.
Pubblicazione: (2024)
Bridging the Gap Between Binary and Source Based Package Management in Spack
di: Gouwar, John, et al.
Pubblicazione: (2025)
di: Gouwar, John, et al.
Pubblicazione: (2025)
Bridging Solidity Evolution Gaps: An LLM-Enhanced Approach for Smart Contract Compilation Error Resolution
di: Ye, Likai, et al.
Pubblicazione: (2025)
di: Ye, Likai, et al.
Pubblicazione: (2025)
Towards an Oracle for Binary Decomposition Under Compilation Variance
di: Jia, Ang, et al.
Pubblicazione: (2025)
di: Jia, Ang, et al.
Pubblicazione: (2025)
"TODO: Fix the Mess Gemini Created": Towards Understanding GenAI-Induced Self-Admitted Technical Debt
di: Mujahid, Abdullah Al, et al.
Pubblicazione: (2026)
di: Mujahid, Abdullah Al, et al.
Pubblicazione: (2026)
Bridging the Gap Between Domain-specific Frameworks and Multiple Hardware Devices
di: Wen, Xu, et al.
Pubblicazione: (2024)
di: Wen, Xu, et al.
Pubblicazione: (2024)
Vendor-Aware Industrial Agents: RAG-Enhanced LLMs for Secure On-Premise PLC Code Generation
di: Kersting, Joschka, et al.
Pubblicazione: (2025)
di: Kersting, Joschka, et al.
Pubblicazione: (2025)
Be a Partner, not a Bystander in Software Engineering Practice: Bridging the Gaps between Academia and Industry
di: Rahman, Mohammad Masudur, et al.
Pubblicazione: (2026)
di: Rahman, Mohammad Masudur, et al.
Pubblicazione: (2026)
The Devil Is in the Command Line: Associating the Compiler Flags With the Binary and Build Metadata
di: Kudrjavets, Gunnar, et al.
Pubblicazione: (2023)
di: Kudrjavets, Gunnar, et al.
Pubblicazione: (2023)
Dataset of Yul Contracts to Support Solidity Compiler Research
di: Fonal, Krzysztof
Pubblicazione: (2025)
di: Fonal, Krzysztof
Pubblicazione: (2025)
Compiler.next: A Search-Based Compiler to Power the AI-Native Future of Software Engineering
di: Cogo, Filipe R., et al.
Pubblicazione: (2025)
di: Cogo, Filipe R., et al.
Pubblicazione: (2025)
Bridging the Gap Between Agility and Planning
di: Miranda, Eduardo
Pubblicazione: (2026)
di: Miranda, Eduardo
Pubblicazione: (2026)
LogICL: Distilling LLM Reasoning to Bridge the Semantic Gap in Cross-Domain Log Anomaly Detection
di: Ye, Jingwei, et al.
Pubblicazione: (2025)
di: Ye, Jingwei, et al.
Pubblicazione: (2025)
An MLIR-Based Compilation Framework for Control Flow Management on Coarse Grained Reconfigurable Arrays
di: Wang, Yuxuan, et al.
Pubblicazione: (2025)
di: Wang, Yuxuan, et al.
Pubblicazione: (2025)
Spec2Control: Automating PLC/DCS Control-Logic Engineering from Natural Language Requirements with LLMs - A Multi-Plant Evaluation
di: Koziolek, Heiko, et al.
Pubblicazione: (2025)
di: Koziolek, Heiko, et al.
Pubblicazione: (2025)
Fixturize: Bridging the Fixture Gap in Test Generation
di: Wang, Chengyi, et al.
Pubblicazione: (2026)
di: Wang, Chengyi, et al.
Pubblicazione: (2026)
AutoPLC: Generating Vendor-Aware Structured Text for Programmable Logic Controllers
di: Yang, Donghao, et al.
Pubblicazione: (2024)
di: Yang, Donghao, et al.
Pubblicazione: (2024)
Bridging the Gap: Adapting Evidence to Decision Frameworks to support the link between Software Engineering academia and industry
di: Matsubara, Patricia G. F., et al.
Pubblicazione: (2026)
di: Matsubara, Patricia G. F., et al.
Pubblicazione: (2026)
LLM-Based Repair of C++ Implicit Data Loss Compiler Warnings: An Industrial Case Study
di: You, Chansong, et al.
Pubblicazione: (2026)
di: You, Chansong, et al.
Pubblicazione: (2026)
Bridging the Gap between Real-world and Synthetic Images for Testing Autonomous Driving Systems
di: Amini, Mohammad Hossein, et al.
Pubblicazione: (2024)
di: Amini, Mohammad Hossein, et al.
Pubblicazione: (2024)
Deciphering Refactoring Branch Dynamics in Modern Code Review: An Empirical Study on Qt
di: AlOmar, Eman Abdullah
Pubblicazione: (2024)
di: AlOmar, Eman Abdullah
Pubblicazione: (2024)
An Empirical Study on the Impact of Code Duplication-aware Refactoring Practices on Quality Metrics
di: AlOmar, Eman Abdullah
Pubblicazione: (2025)
di: AlOmar, Eman Abdullah
Pubblicazione: (2025)
4D-ARE: Bridging the Attribution Gap in LLM Agent Requirements Engineering
di: Yu, Bo, et al.
Pubblicazione: (2026)
di: Yu, Bo, et al.
Pubblicazione: (2026)
Towards Bridging Language Gaps in OSS with LLM-Driven Documentation Translation
di: Adejumo, Elijah Kayode, et al.
Pubblicazione: (2025)
di: Adejumo, Elijah Kayode, et al.
Pubblicazione: (2025)
Isolating Compiler Bugs through Compilation Steps Analysis
di: Liu, Yujie, et al.
Pubblicazione: (2025)
di: Liu, Yujie, et al.
Pubblicazione: (2025)
QOPS: A Compiler Framework for Quantum Circuit Simulation Acceleration with Profile Guided Optimizations
di: Wu, Yu-Tsung, et al.
Pubblicazione: (2024)
di: Wu, Yu-Tsung, et al.
Pubblicazione: (2024)
Dynamic Test Case Prioritization in Industrial Test Result Datasets
di: Torbunova, Alina, et al.
Pubblicazione: (2024)
di: Torbunova, Alina, et al.
Pubblicazione: (2024)
ResearchBot: Bridging the Gap between Academic Research and Practical Programming Communities
di: Farzanehpour, Sahar, et al.
Pubblicazione: (2024)
di: Farzanehpour, Sahar, et al.
Pubblicazione: (2024)
Reusing Legacy Code in WebAssembly: Key Challenges of Cross-Compilation and Code Semantics Preservation
di: Baradaran, Sara, et al.
Pubblicazione: (2024)
di: Baradaran, Sara, et al.
Pubblicazione: (2024)
A Hybrid, Knowledge-Guided Evolutionary Framework for Personalized Compiler Auto-Tuning
di: Pan, Haolin, et al.
Pubblicazione: (2025)
di: Pan, Haolin, et al.
Pubblicazione: (2025)
Bridging the Gap Between Modern UX Design and Particle Accelerator Control Room Interfaces
di: Hill, Rachael, et al.
Pubblicazione: (2025)
di: Hill, Rachael, et al.
Pubblicazione: (2025)
Isolating Compiler Faults via Multiple Pairs of Adversarial Compilation Configurations
di: Li, Qingyang, et al.
Pubblicazione: (2025)
di: Li, Qingyang, et al.
Pubblicazione: (2025)
Model Cards Revisited: Bridging the Gap Between Theory and Practice for Ethical AI Requirements
di: Puhlfürß, Tim, et al.
Pubblicazione: (2025)
di: Puhlfürß, Tim, et al.
Pubblicazione: (2025)
Bridging the Gap: A Comparative Study of Academic and Developer Approaches to Smart Contract Vulnerabilities
di: Salzano, Francesco, et al.
Pubblicazione: (2025)
di: Salzano, Francesco, et al.
Pubblicazione: (2025)
Beyond the Classroom: Bridging the Gap Between Academia and Industry with a Hands-on Learning Approach
di: Xu, Mingyang, et al.
Pubblicazione: (2025)
di: Xu, Mingyang, et al.
Pubblicazione: (2025)
Position Paper: Programming Language Techniques for Bridging LLM Code Generation Semantic Gaps
di: Du, Yalong, et al.
Pubblicazione: (2025)
di: Du, Yalong, et al.
Pubblicazione: (2025)
Documenti analoghi
-
HELIOS: Hierarchical Graph Abstraction for Structure-Aware LLM Decompilation
di: Achamyeleh, Yonatan Gizachew, et al.
Pubblicazione: (2026) -
AGNOMIN -- Architecture Agnostic Multi-Label Function Name Prediction
di: Achamyeleh, Yonatan Gizachew, et al.
Pubblicazione: (2025) -
LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
di: Fakih, Mohamad, et al.
Pubblicazione: (2024) -
LLM4CVE: Enabling Iterative Automated Vulnerability Repair with Large Language Models
di: Fakih, Mohamad, et al.
Pubblicazione: (2025) -
Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents
di: Liu, Zihan, et al.
Pubblicazione: (2024)