3 papers
cs.DB2026
Pipeline Denotational Design: Correct-by-Construction Data Pipelines at Zero Cost
Nikos Karayannidis
Pipeline Denotational Design (PDD) is a design-first methodology for building data pipelines that are correct by construction. As AI agents generate pipeline code at scale, the bot…
cs.DB2026
Grain Theory: Type-Level Granularity Correctness in Data Pipelines
Nikos Karayannidis
Data pipelines fail silently when a transformation changes the grain of the data, the level of detail each element represents, without the designer intending it; fan traps and chas…
cs.CR2021
Babel Fees via Limited Liabilities
Manuel M. T. Chakravarty, Nikos Karayannidis, Aggelos Kiayias +2
Custom currencies (ERC-20) on Ethereum are wildly popular, but they are second class to the primary currency Ether. Custom currencies are more complex and more expensive to handle…