6 papers
VADER: Filtered Vector Search with Declarative Recall
Manos Chatzakis, Duo Lu, Helena Caminal +7
Approximate filtered vector search (FVS), a core operation in many data management tasks that combine structured data with vector embeddings, exhibits increased complexity due to t…
Credo: Reusable Declarative Primitives for Agentic Workflows
Duo Lu, Andrew Crotty, Uğur Çetintemel
An LLM application depends on both a model and a harness: the program that determines what each call sees, how many calls to make, and which answers to trust. Coding agents can now…
Declarative Data Services: Structured Agentic Discovery for Composing Data Systems
Shanshan Ye, Duo Lu
Agentic discovery has shown that LLM-driven search can find novel algorithms, designs, and code under benchmark conditions. Translating the paradigm to multi-system data backends s…
Credo: Declarative Control of LLM Pipelines via Beliefs and Policies
Duo Lu, Andrew Crotty, Uğur Çetintemel
Agentic AI systems are becoming commonplace in domains that require long-lived, stateful decision-making in continuously evolving conditions. As such, correctness depends not only…
An In-Depth Study of Filter-Agnostic Vector Search on a PostgreSQL Database System: [Experiments and Analysis]
Duo Lu, Helena Caminal, Manos Chatzakis +4
Filtered Vector Search (FVS) is critical for supporting semantic search and GenAI applications in modern database systems. However, existing research most often evaluates algorithm…
Evaluating Persistent Memory Range Indexes: Part Two [Extended Version]
Yuliang He, Duo Lu, Kaisong Huang +1
Scalable persistent memory (PM) has opened up new opportunities for building indexes that operate and persist data directly on the memory bus, potentially enabling instant recovery…