Killian Carlsen-Phelan on Verifying Agent-Written Code

AI Engineer17m 45s
Killian Carlsen-Phelan beside the words Verify AI Code.
1 VIEW
0 comments · 0 votesOpen discussionClose discussion
Sign in to join the discussion

    Killian Carlsen-Phelan explains that coding agentsAn AI coding agent is a tool-using AI system that can inspect, modify, and validate software within a repository. start without knowledge of a project’s architecture, conventions and approved librariesContext engineering designs how relevant instructions, evidence, state and tool information are assembled for a model's task.. He presents Sonar Vortex as a way to provide that context and run independent analysis during edits.

    In a recorded Java example, an agent implements a log-file task and writes a test, while the analysis flags a temporary-file permissions issueStatic analysis examines code or files for defects and risks without executing the program being analyzed.. An initial fix does not satisfy the rule, so the agent revises the implementation and runs the checks again.

    Carlsen-Phelan works for Sonar, the maker of the tool being demonstrated. His claims about efficiency and outage reductions are vendor-reported, and deterministic checksDeterministic software verification checks an output with a repeatable procedure that produces the same result for the same inputs and state. do not establish that every defect has been found.

    Original YouTube thumbnailWatch on YouTube

    Video topic coverage

    • Agents & workflows75
    • Coding & tools100
    • Models & learning0
    • Infrastructure & compute0
    • Research & evaluation25
    • Safety & security75
    • Business & productivity25
    • Creative & media0
    • Robotics & perception0
    • Society & policy0

    Share this video

    Killian Carlsen-Phelan beside the words Verify AI Code. With WWW.ARTIFICIAL-INTELLIGENCE.VIDEO, 30 October 2026 and duration 17m 45s.

    Killian Carlsen-Phelan demonstrates how project context and code analysis can guide an AI coding agent and flag a security issue.