16 citations · 34 across the 4 of their papers we have counts for
7 papers
Comprehending nulls
James Cheney, Wilmer Ricciotti
The Nested Relational Calculus (NRC) has been an influential high-level query language, providing power and flexibility while still allowing translation to standard SQL queries. It…
Query Lifting: Language-integrated query for heterogeneous nested collections
Wilmer Ricciotti, James Cheney
Language-integrated query based on comprehension syntax is a powerful technique for safe database programming, and provides a basis for advanced techniques such as query shredding…
Mixing set and bag semantics
Wilmer Ricciotti, James Cheney
The conservativity theorem for nested relational calculus implies that query expressions can freely use nesting and unnesting, yet as long as the query result type is a flat relati…
Explicit Auditing
Wilmer Ricciotti, James Cheney
The Calculus of Audited Units (CAU) is a typed lambda calculus resulting from a computational interpretation of Artemov's Justification Logic under the Curry-Howard isomorphism; it…
Strongly Normalizing Audited Computation
Wilmer Ricciotti, James Cheney
Auditing is an increasingly important operation for computer programming, for example in security (e.g. to enable history-based access control) and to enable reproducibility and ac…
Imperative Functional Programs that Explain their Work
Wilmer Ricciotti, Jan Stolarek, Roly Perera +1
Program slicing provides explanations that illustrate how program outputs were produced from inputs. We build on an approach introduced in prior work by Perera et al., where dynami…