Dimitrios Stamatios Bouras

According to our database, Dimitrios Stamatios Bouras authored at least 5 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code.

Dimitrios Stamatios Bouras, Sergey Mechtaev

CoRR, March, 2026

2025

Statistical Independence Aware Caching for LLM Workflows.

Yihan Dai, Dimitrios Stamatios Bouras, Haoxiang Jia, Sergey Mechtaev

CoRR, November, 2025

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language.

Dimitrios Stamatios Bouras, Yihan Dai, Tairan Wang, Yingfei Xiong, Sergey Mechtaev

CoRR, March, 2025

Optimised Fitness Functions for Automated Improvement of Software's Execution Time.

Dimitrios Stamatios Bouras, Carol Hanna, Justyna Petke

Proceedings of the Search-Based Software Engineering, 2025

Llm-Assisted Crossover in Genetic Improvement of Software.

Dimitrios Stamatios Bouras, Sergey Mechtaev, Justyna Petke

Proceedings of the IEEE/ACM International Workshop on Genetic Improvement, 2025