collaborators

14 papers

cs.HC2026

Who's Keeping Score? Interactive Steering of LLM-Powered Scoring with Attune

Bhavya Chopra, Meng Chen, Rebecca Dang +5

Large language models (LLMs) are increasingly used to score text records at scale (e.g., rating candidate resumes on a 1-5 scale). However, existing LLM-powered approaches do not a…

cs.DB2026

The Time is Here for Just-in-Time Systems: Challenges and Opportunities

Shu Liu, Alexander Krentsel, Shubham Agarwal +8

Core systems like key-value stores have historically taken years to build, and are designed to be general so as to amortize cost across deployments, paying a significant performanc…

cs.AI2026

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems

Shubham Agarwal, Alexander Krentsel, Shu Liu +10

AI agents increasingly excel at generating, testing, and refining code. However, they fall short on tasks requiring formal guarantees of full coverage that testing alone cannot pro…

cs.DB2026

PLOP: Cost-Based Placement of Semantic Operators in Hybrid Query Plans

Qiuyang Mang, Yufan Xiang, Hangrui Zhou +5

Recent database systems have introduced semantic operators that leverage large language models (LLMs) to filter, join, and project over structured data using natural language predi…

cs.DB2026

Semantic Data Processing with Holistic Data Understanding

Youran Sun, Sepanta Zeighami, Bhavya Chopra +2

Semantic operators have increasingly become integrated within data systems to enable processing data using Large Language Models (LLMs). Despite significant recent effort in improv…

cs.DB2026

Multi-Objective Agentic Rewrites for Unstructured Data Processing

Lindsey Linxi Wei, Shreya Shankar, Sepanta Zeighami +3

One year ago, we open-sourced DocETL, a declarative system for LLM-powered data processing that, as of March 2026, has 3.7K GitHub stars and users across domains (e.g., journalism,…