Dimitrios Stamatios Bouras

Orcid: 0009-0001-3171-5194

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code.
CoRR, March, 2026

2025
Statistical Independence Aware Caching for LLM Workflows.
CoRR, November, 2025

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language.
CoRR, March, 2025

Optimised Fitness Functions for Automated Improvement of Software's Execution Time.
Proceedings of the Search-Based Software Engineering, 2025

Llm-Assisted Crossover in Genetic Improvement of Software.
Proceedings of the IEEE/ACM International Workshop on Genetic Improvement, 2025


  Loading...