Copertina

Superset Decompilation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Liu, Chang, Sun, Yihao, Gilray, Thomas, Micinski, Kristopher
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Scaling Worst-Case Optimal Datalog to GPUs
di: Sun, Yihao, et al.
Pubblicazione: (2026)

SALT4Decompile: Inferring Source-level Abstract Logic Tree for LLM-Based Binary Decompilation
di: Wang, Yongpan, et al.
Pubblicazione: (2025)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
di: Liu, Peipei, et al.
Pubblicazione: (2025)

Optimizing Datalog for the GPU
di: Sun, Yihao, et al.
Pubblicazione: (2023)

Decompiling Rust: An Empirical Study of Compiler Optimizations and Reverse Engineering Challenges
di: Zhou, Zixu
Pubblicazione: (2025)

Datalog with First-Class Facts
di: Gilray, Thomas, et al.
Pubblicazione: (2024)

JaxDecompiler: Redefining Gradient-Informed Software Design
di: Pochelu, Pierrick
Pubblicazione: (2024)

Self-Constructed Context Decompilation with Fined-grained Alignment Enhancement
di: Feng, Yunlong, et al.
Pubblicazione: (2024)

Zero-shot Evaluation of Deep Learning for Java Code Clone Detection
di: Heinze, Thomas S.
Pubblicazione: (2026)

Type-level Property Based Testing
di: Hansen, Thomas Ekström, et al.
Pubblicazione: (2024)

Software Model Checking via Summary-Guided Search (Extended Version)
di: Fang, Ruijie, et al.
Pubblicazione: (2025)

StoneDetector: Conventional and versatile code clone detection for Java
di: Heinze, Thomas S., et al.
Pubblicazione: (2025)

BugLens: Leveraging Bisection for Lightweight Compiler Bug Deduplication
di: Zhou, Xintong, et al.
Pubblicazione: (2025)

Reflections on the design, applications and implementations of the normative specification language eFLINT
di: van Binsbergen, L. Thomas, et al.
Pubblicazione: (2025)

Solving Package Management via Hypergraph Dependency Resolution
di: Gibb, Ryan, et al.
Pubblicazione: (2025)

LPO: Discovering Missed Peephole Optimizations with Large Language Models
di: Xu, Zhenyang, et al.
Pubblicazione: (2025)

WDD: Weighted Delta Debugging
di: Zhou, Xintong, et al.
Pubblicazione: (2024)

Translating Large-Scale C Repositories to Idiomatic Rust
di: Dehghan, Saman, et al.
Pubblicazione: (2025)

Package Managers à la Carte: A Formal Model of Dependency Resolution
di: Gibb, Ryan, et al.
Pubblicazione: (2026)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
di: Zhu, Qian, et al.
Pubblicazione: (2025)

LPR: Large Language Models-Aided Program Reduction
di: Zhang, Mengxiao, et al.
Pubblicazione: (2023)

Incremental Context-free Grammar Inference in Black Box Settings
di: Li, Feifei, et al.
Pubblicazione: (2024)

ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage
di: Liu, Chang, et al.
Pubblicazione: (2026)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
di: Cai, Jianfeng, et al.
Pubblicazione: (2026)

Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity
di: Zhang, Dylan, et al.
Pubblicazione: (2025)

Automated Code Editing with Search-Generate-Modify
di: Liu, Changshu, et al.
Pubblicazione: (2023)

Column-Oriented Datalog on the GPU
di: Sun, Yihao, et al.
Pubblicazione: (2025)

LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
di: Liu, Yuchen, et al.
Pubblicazione: (2025)

Python Symbolic Execution with LLM-powered Code Generation
di: Wang, Wenhan, et al.
Pubblicazione: (2024)

NESA: Relational Neuro-Symbolic Static Program Analysis
di: Wang, Chengpeng, et al.
Pubblicazione: (2024)

ARSP: Automated Repair of Verilog Designs via Semantic Partitioning
di: Yao, Bingkun, et al.
Pubblicazione: (2025)

Etna: An Evaluation Platform for Property-Based Testing
di: Keles, Alperen, et al.
Pubblicazione: (2026)

ReF Decompile: Relabeling and Function Call Enhanced Decompile
di: Feng, Yunlong, et al.
Pubblicazione: (2025)

QCP: A Practical Separation Logic-based C Program Verification Tool
di: Wu, Xiwei, et al.
Pubblicazione: (2025)

BODHI: Precise OS Kernel Specification Inference
di: Chang, Zhiming, et al.
Pubblicazione: (2026)

How Programming Concepts and Neurons Are Shared in Code Language Models
di: Kargaran, Amir Hossein, et al.
Pubblicazione: (2025)

SK2Decompile: LLM-based Two-Phase Binary Decompilation from Skeleton to Skin
di: Tan, Hanzhuo, et al.
Pubblicazione: (2025)

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing
di: Lin, Teyu, et al.
Pubblicazione: (2026)

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
di: Dau, Anh T. V., et al.
Pubblicazione: (2026)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
di: Amilon, Jesper, et al.
Pubblicazione: (2026)