3 citations · 7 across the 9 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026★ 1 cited
Optimal Predicate Pushdown Synthesis
Robert Zhang, Eric Hayden Campbell, Dixin Tang +1
Predicate pushdown is a long-standing performance optimization that filters data as early as possible in a computational workflow. In modern data pipelines, this transformation is…
cs.PL2023★ 1 cited
A Pure Demand Operational Semantics with Applications to Program Analysis
Scott Smith, Robert Zhang
This paper develops a novel minimal-state operational semantics for higher-order functional languages that uses only the call stack and a source program point or a lexical level as…