Mykel Kochenderfer
2 indexed papers
Recent (6 mo)
2With code
0Influential cites
0Benchmarked
0Publications per year
226
Top categories
Robotics×1Crypto×1NLP×1Society×1
Frequent co-authors
Research Timeline
2026
SecureForge: Finding and Preventing Vulnerabilities in LLM-Generated Code via Prompt Optimization
SecureForge is an automated pipeline that significantly reduces cybersecurity vulnerabilities in LLM-generated code by optimizing system prompts, achieving up to a 48% reduction in output vulnerabilities.
Retriever: Composing Closed-Loop Asynchronous Robot Programs
This paper introduces Retriever, an asynchronous decision model and runtime system for building long-horizon robot agents with explicit clock and input-consumption semantics.
Highlighted terms show continued research focus across papers
Papers
cs.ROTheoreticalRecentJul 19, 2026
Retriever: Composing Closed-Loop Asynchronous Robot Programs
Linfeng Zhao, Haojie Huang, Jiayuan Mao, Weiyu Liu +2 more
This paper introduces Retriever, an asynchronous decision model and runtime system for building long-horizon robot agents with explicit clock and input-consumption semantics.
View →
cs.CRcs.CLcs.CYRecentMay 8, 2026