Time to retire the full length SIGPLAN paper format. Multi-year vision still needed. But individual ideas get executed far too quickly to warrant the long format.
How do we make sure an AI agent actually follows the rules?
At NeurIPS26, Timothy Zhou (w/ me+@polikarn) proposes Language-Based Agent Control (LBAC) which follows a programming languages approach to the problem: make the agent correct by writing programs that type-check. 1/
What gets lost when AI is used in code translation?
AI translated code can compile successfully but still behave differently from the original. But in safety-critical environments, this behavioral gap is unacceptable - and can have serious consequences.
Our latest research blog
Applications for the Code Metal Verified Code Translation Research Awards are now closed, and the research community did not disappoint!
We received 5X as many submissions as we were anticipating, with applicants across 5 continents, 22 countries, and 74 institutions. The