Copertina

SpaceTime Programming: Live and Omniscient Exploration of Code and Execution

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Döderlein, Jean-Baptiste, Khelladi, Djamel Eddine, Acher, Mathieu, Combemale, Benoit
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Piloting Copilot, Codex, and StarCoder2: Hot Temperature, Cold Prompts, or Black Magic?
di: Döderlein, Jean-Baptiste, et al.
Pubblicazione: (2022)

Unify and Triumph: Polyglot, Diverse, and Self-Consistent Generation of Unit Tests with LLMs
di: Khelladi, Djamel Eddine, et al.
Pubblicazione: (2025)

LLM Code Customization with Visual Results: A Benchmark on TikZ
di: Reux, Charly, et al.
Pubblicazione: (2025)

Linux Kernel Configurations at Scale: A Dataset for Performance and Evolution Analysis
di: Borges, Heraldo, et al.
Pubblicazione: (2025)

Towards a Science of Developer eXperience (DevX)
di: Combemale, Benoit
Pubblicazione: (2025)

Modeling Sampling Workflows for Code Repositories
di: Lefeuvre, Romain, et al.
Pubblicazione: (2026)

Policy Testing with MDPFuzz (Replicability Study)
di: Mazouni, Quentin, et al.
Pubblicazione: (2025)

Testing for Fault Diversity in Reinforcement Learning
di: Mazouni, Quentin, et al.
Pubblicazione: (2024)

Mutation‐Guided Metamorphic Testing of Optimality in AI Planning
di: Quentin Mazouni, et al.
Pubblicazione: (2024)

Small Yet Configurable: Unveiling Null Variability in Software
di: Tërnava, Xhevahire, et al.
Pubblicazione: (2026)

Efficiently Ranking Software Variants with Minimal Benchmarks
di: Matricon, Théo, et al.
Pubblicazione: (2025)

Software Frugality in an Accelerating World: the Case of Continuous Integration
di: Perez, Quentin, et al.
Pubblicazione: (2024)

Exploring Performance Trade-offs in JHipster
di: Guégain, Edouard, et al.
Pubblicazione: (2024)

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
di: Yaacov, Tom, et al.
Pubblicazione: (2024)

Did You Forkget It? Detecting One-Day Vulnerabilities in Open-source ForksWith Global History Analysis
di: Lefeuvre, Romain, et al.
Pubblicazione: (2025)

Towards a Unifying Reference Model for Digital Twins of Cyber-Physical Systems
di: Pfeiffer, Jerome, et al.
Pubblicazione: (2025)

Abstraction Engineering
di: Bencomo, Nelly, et al.
Pubblicazione: (2024)

CodeScore: Evaluating Code Generation by Learning Code Execution
di: Dong, Yihong, et al.
Pubblicazione: (2023)

Execution-free Program Repair
di: Huang, Li, et al.
Pubblicazione: (2024)

Compiling Code LLMs into Lightweight Executables
di: Shi, Jieke, et al.
Pubblicazione: (2026)

Trustworthy Distributed Certification of Program Execution
di: Wolf, Alex, et al.
Pubblicazione: (2024)

FIKA: Expanding Dependency Reachability with Executability Guarantees
di: Gamage, Yogya, et al.
Pubblicazione: (2026)

Towards Effectively Leveraging Execution Traces for Program Repair with Code LLMs
di: Haque, Mirazul, et al.
Pubblicazione: (2025)

Reclaiming Software Engineering as the Enabling Technology for the Digital Age
di: Vos, Tanja E. J., et al.
Pubblicazione: (2026)

CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution
di: Gu, Alex, et al.
Pubblicazione: (2024)

TRACE: Evaluating Execution Efficiency of LLM-Based Code Translation
di: Gong, Zhihao, et al.
Pubblicazione: (2026)

Implementing and Executing Static Analysis Using LLVM and CodeChecker
di: Horvath, Gabor, et al.
Pubblicazione: (2024)

TRACE: Evaluating Execution Efficiency of LLM-Based Code Translation
di: Gong, Zhihao, et al.
Pubblicazione: (2025)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
di: Yang, Fanpeng, et al.
Pubblicazione: (2025)

Understanding and Estimating the Execution Time of Quantum Circuits
di: Ma, Ning, et al.
Pubblicazione: (2024)

Towards Explorative IRBL: Combining Semantic Retrieval with LLM-driven Iterative Code Exploration
di: Asad, Moumita, et al.
Pubblicazione: (2025)

Assessing Coherency and Consistency of Code Execution Reasoning by Large Language Models
di: Liu, Changshu, et al.
Pubblicazione: (2025)

SelfPiCo: Self-Guided Partial Code Execution with LLMs
di: Xue, Zhipeng, et al.
Pubblicazione: (2024)

Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
di: Xiao, Yuan-An, et al.
Pubblicazione: (2023)

Software Space Analytics: Towards Visualization and Statistics of Internal Software Execution
di: Saito, Shinobu
Pubblicazione: (2026)

RedCode: Risky Code Execution and Generation Benchmark for Code Agents
di: Guo, Chengquan, et al.
Pubblicazione: (2024)

Serializing Java Objects in Plain Code
di: Wachter, Julian, et al.
Pubblicazione: (2024)

Identifying Inaccurate Descriptions in LLM-generated Code Comments via Test Execution
di: Kang, Sungmin, et al.
Pubblicazione: (2024)

Sifting through the Chaff: On Utilizing Execution Feedback for Ranking the Generated Code Candidates
di: Sun, Zhihong, et al.
Pubblicazione: (2024)

ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution
di: Gröninger, Lars, et al.
Pubblicazione: (2024)