Imagen de Portada

SpaceTime Programming: Live and Omniscient Exploration of Code and Execution

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Döderlein, Jean-Baptiste, Khelladi, Djamel Eddine, Acher, Mathieu, Combemale, Benoit
Formato:	Preprint
Publicado:	2026
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

Towards a Science of Developer eXperience (DevX)
por: Combemale, Benoit
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

Abstraction Engineering
por: Bencomo, Nelly, et al.
Publicado: (2024)

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

Execution-free Program Repair
por: Huang, Li, et al.
Publicado: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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