4 papers
Complete CALM: A Coordination Criterion for Specifications
Joseph M. Hellerstein
The CALM theorem connects coordination-freedom to monotonicity, but is tied to relational transducers and set-inclusion growth. We generalize it to arbitrary concurrent specificati…
Towards Relational Contextual Equality Saturation
Tyler Hou, Shadaj Laddad, Joseph M. Hellerstein
Equality saturation is a powerful technique for program optimization. Contextual equality saturation extends this to support rewrite rules that are conditioned on where a term appe…
Steering Semantic Data Processing With DocWrangler
Shreya Shankar, Bhavya Chopra, Mawil Hasan +5
Unstructured text has long been difficult to automatically analyze at scale. Large language models (LLMs) now offer a way forward by enabling {\em semantic data processing}, where…
The Free Termination Property of Queries Over Time
Conor Power, Paraschos Koutris, Joseph M Hellerstein
Building on prior work on distributed databases and the CALM Theorem, we define and study the question of free termination: in the absence of distributed coordination, what query p…