Publications
Research publications from the Data Systems Group.
2026
Agent Flight Recorder: Tamper-Evident Audit Trails with On-Chain Anchoring for Long-Horizon Tool-Using Agents
2026Laurent Bindschaedler, Quentin Botha, Christoph Siebenbrunner
BCCA 2026
Bonded Recourse for Smart-Contract Settlement of Compensable Agent Side Effects
2026Laurent Bindschaedler, Quentin Botha, Christoph Siebenbrunner
BCCA 2026
Whose Oracle Is It? The Authority Problem in Deployed Agentic Program Repair
2026Bardia Mohammadi, Laurent Bindschaedler
APR 2026
Externalization Barriers: An OS Abstraction for Untrusted Agent Exploration
2026Jinhao Hu, Bardia Mohammadi, Ashvin Goel, Laurent Bindschaedler
AgenticOS 2026
The Irreversibility Budget: Fleet-Level Risk Accounting and Admission Control for Agent Operating Systems
2026Bardia Mohammadi, Laurent Bindschaedler
AgenticOS 2026
Don't Trust the Code, Check Its Effects
2026Jinhao Hu, Ashvin Goel, Laurent Bindschaedler
PACMI 2026
IOLM-DB: Instance-Optimized Large Language Model Execution for Column-Scale Semantic Operators
2026Bardia Mohammadi, Laurent Bindschaedler
Information Systems
The Invisible Lottery: How Subtle Cues Steer Algorithm Choice in LLM Code Generation
2026Akanksha Narula, Mofasshara Rafique, Laurent Bindschaedler
ICML 2026
Informed Search for Regular Path Query Reachability
2026Diego Rivera Correa, Laurent Bindschaedler
GRADES-NDA 2026
ClawVM: Harness-Managed Virtual Memory for Stateful Tool-Using LLM Agents
2026Mofasshara Rafique, Laurent Bindschaedler
Rebooting Microreboot: Architectural Support for Safe, Parallel Recovery in Microservice Systems
2026Laurent Bindschaedler
ARCS 2026
Semantic Caching for OLAP via LLM-Based Query Canonicalization
2026Laurent Bindschaedler
DOLAP 2026
2025
SQL-of-Thought: Multi-agentic Text-to-SQL with Guided Error Correction
2025Saumya Chaturvedi, Aman Chadha, Laurent Bindschaedler
DL4C @ NeurIPS 2025
Cache Saver: A Modular Framework for Efficient, Affordable, and Reproducible LLM Inference
2025Nearchos Potamitis, Lars Henning Klein, Bardia Mohammadi, Chongyang Xu, Attreyee Mukherjee, Niket Tandon, Laurent Bindschaedler, Akhil Arora
A Computational Decision Support Workflow for Requirement Engineering in DAOs
2025Quentin Botha, Laurent Bindschaedler, Christoph Siebenbrunner
RE4Web3 2025
A Requirements Analysis for a Decentralized Mathematics Prediction Market
2025Quentin Botha, Laurent Bindschaedler, Christoph Siebenbrunner
RE4Web3 2025
Everything You Wanted to Know About Graph Neural Network Partitioning (But Were Afraid to Ask)
2025Chongyang Xu, Laurent Bindschaedler
GRADES-NDA 2025
F3: An FPGA-accelerated FaaS Framework
2025Charalampos Mainas, Martin Lambeck, Bruno Scheufler, Laurent Bindschaedler, Atsushi Koshiba, Pramod Bhatotia
HPDC 2025
LoRACode: LoRA Adapters for Code Embeddings
2025Saumya Chaturvedi, Aman Chadha, Laurent Bindschaedler
DL4C @ ICLR 2025
May the Memory Be With You: Efficient and Infinitely Updatable State for Large Language Models
2025Excel Chukwu, Laurent Bindschaedler
The Case for Instance-Optimized LLMs in OLAP Databases
2025Bardia Mohammadi, Laurent Bindschaedler
DOLAP 2025
Towards Reliable Latent Knowledge Estimation in LLMs: Zero-Prompt Many-Shot Based Factual Knowledge Extraction
2025Qinyuan Wu, Mohammad Aflah Khan, Soumi Das, Vedant Nanda, Bishwamittra Ghosh, Camila Kolling, Till Speicher, Laurent Bindschaedler, Krishna Gummadi, Evimaria Terzi
WSDM 2025
2024
AlterEgo: A Dedicated Blockchain Node For Analytics
2024Qi Guo, Mahdi Alizadeh, Ali Falahati, Laurent Bindschaedler
EdgeSys 2024
2023
Unshackling Database Benchmarking from Synthetic Workloads
2023Parimarjan Negi*, Laurent Bindschaedler*, Mohammad Alizadeh, Tim Kraska, Jyoti Leeka, Anja Gruenheid, Matteo Interlandi
ICDE 2023 (Demo)