Michal Töpfer

collaborators

3 papers

cs.SE2026

Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study

Michal TÃ¶pfer, FrantiÅ¡ek PlÃ¡Å¡il, TomÃ¡Å¡ BureÅ¡ +1

Vibe coding inherently assumes iterative refinement of LLM-generated code through feedback loops. While effective for conventional software tasks, its reliability in runtime-adapti…

cs.AI2026

Feedback-based Automated Verification in Vibe Coding of CAS Adaptation Built on Constraint Logic

Michal TÃ¶pfer, FrantiÅ¡ek PlÃ¡Å¡il, TomÃ¡Å¡ BureÅ¡ +1

In CAS adaptation, a challenge is to define the dynamic architecture of the system and changes in its behavior. Implementation-wise, this is projected into an adaptation mechanism,…

cs.DC2025

Tutoring LLM into a Better CUDA Optimizer

MatyÃ¡Å¡ Brabec, JiÅÃ Klepl, Michal TÃ¶pfer +1

Recent leaps in large language models (LLMs) caused a revolution in programming tools (like GitHub Copilot) that can help with code generation, debugging, and even performance opti…