We have 3 of 14 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
This work formalizes a core calculus and state preservation, progress, type/effect soundness, handler trace-transparency, and policy safety, and implements ETAS in Rust with a command-line interface, typed HIR checks, effect and policy diagnostics, handler checks, and trace-aware execution hooks.
A large-scale empirical study comparing representative code translation techniques across methodological paradigms and translation granularities, which shows that LLMs and LLM-based methods generally outperform learning-based methods in method-level correctness, although similarity metrics alone do not reliably reflect...
The first empirical study focused on agent-reactive (AR) bugs is conducted, constructing a two-axis taxonomy covering observable symptoms and the LLM behaviors that trigger them and highlights challenges specific to LLM agents.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
