Built with and by Teycir Ben Soltane•
How to Use•FAQ•GitHub•arXiv.org•
Share:
ArXivCSExplorer
☆☆Bookmarks🏆RSSHow to UseFAQ
Home/Authors/Timothy Zhou

Timothy Zhou

1 indexed paper

Recent (6 mo)
1
With code
0
Influential cites
0
Benchmarked
0

Publications per year

1
26

Top categories

Prog. Lang.×1AI×1Crypto×1

Frequent co-authors

Loris D'Antoni1×
Nadia Polikarpova1×

Research Timeline

2026
Language-Based Agent Control

The paper introduces Language-Based Agent Control (LBAC), a new programming model that extends static typing and runtime enforcement guarantees to agentic applications, ensuring that agent-generated code adheres to specified security and policy constraints.

Highlighted terms show continued research focus across papers

Papers

cs.PLcs.AIcs.CRRecentMay 13, 2026

Language-Based Agent Control

Timothy Zhou, Loris D'Antoni, Nadia Polikarpova

The paper introduces Language-Based Agent Control (LBAC), a new programming model that extends static typing and runtime enforcement guarantees to agentic applications, ensuring that agent-generated c…

View →