# Publications

The following publications and awards describe Feldera's theoretical foundation, DBSP.

## Awards

* :trophy: [DBSP in ACM SIGMOD Research Highlights](https://www.feldera.com/blog/sigmod-research-highlights/)
* :trophy: [DBSP wins Best Paper award at VLDB 2023 ](https://www.feldera.com/blog/Best-Research-Paper-VLDB-2023/)

## Publications

* [DBSP: automatic incremental view maintenance for rich query languages](https://rdcu.be/elhs5)
  *Mihai Budiu, Leonid Ryzhyk, Gerd Zellweger, Ben Pfaff, Lalith Suresh, Simon Kassing, Abhinav Gyawali,
  Matei Budiu, Tej Chajed, Frank McSherry, and Val Tannen*, VLDB Journal, Vol 34 no 39, April 2025.
  A longer version of the paper.

* [DBSP: Incremental Computation on Streams and Its Applications to Databases](https://sigmodrecord.org/?smd_process_download=1&download_id=13708)
  *Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, and Val Tannen*
  SIGMOD Research Highlights, Vol. 53, March, 2024
  A shorter and simpler version of the VLDB 2023 DBSP paper.

* [DBSP: Automatic Incremental View Maintenance for Rich Query
  Languages](/vldb23.pdf)
  *Mihai Budiu, Tej Chajed, Frank McSherry, Leonid Ryzhyk, and Val
  Tannen*, Proceedings of the VLDB Endowment (VLDB), Vancouver,
  Canada, August, 2023, pages 1601-1614.

* [DBSP mathematical specification](https://mihaibudiu.github.io/work/dbsp-spec.pdf).

* [DBSP mathematical formalization](https://github.com/tchajed/database-stream-processing-theory) using the Lean theorem
  prover, *Tej Chajed*, 2022
