Jiasi Shen
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Prog. Lang.×1AI×1ML×1Multiagent×1
Frequent co-authors
Research Timeline
2026
ETAS: An Effect-Typed Language for Agent Systems
ETAS is a programming language for agent systems that separates deterministic computation from agentic nondeterminism and provides a foundation for reasoning about authorization, nondeterminism, recovery, and audit evidence.
Highlighted terms show continued research focus across papers
Papers
cs.PLcs.AIcs.LGTheoreticalRecentJul 20, 2026
ETAS: An Effect-Typed Language for Agent Systems
Huiri Tan, Yikun Wang, Puyang Zhang, Shangyu Li +1 more
ETAS is a programming language for agent systems that separates deterministic computation from agentic nondeterminism and provides a foundation for reasoning about authorization, nondeterminism, recov…
View →