• Publications
  • Influence
Symmetric lenses
TLDR
It is shown how the methods of universal algebra can be applied to build iterator lenses for structured data such as lists and trees, yielding lenses for operations like mapping, filtering, and concatenation from first principles. Expand
Edit lenses
TLDR
This work identifies a simple notion of "editable structure"--a set of states plus a monoid of edits with a partial monoid action on the states--and construct a semantic space of lenses between such structures, with natural laws governing their behavior. Expand
Differential privacy for collaborative security
TLDR
It is argued that existing work on differential privacy and type systems can be leveraged to build a programmable query mechanism that can express a wide range of queries while limiting what can be learned about individual customers. Expand
Symmetric Edit Lenses: A New Foundation for Bidirectional Languages
TLDR
This work constructs a semantic space of edit lenses between “editable structures”—monoids of edits with a partial monoid action for applying edits—with natural laws governing their behavior, and presents a new symmetric formulation which works with descriptions of changes to structures, rather than with the structures themselves. Expand
Edit languages for information trees
TLDR
The sheaves automata from Foster et al's "A Logic Your Typechecker Can Count On" are used and are based on Dal Zilio et al and provide an algorithm for deciding whether a complex edit preserves membership in a tree language. Expand
Edit lenses
Symmetric lenses
Electronic Communications of the EASST Volume 57 ( 2013 ) Proceedings of the Second International Workshop on Bidirectional Transformations ( BX 2013 ) Edit languages for information trees
We consider a simple set of edit operations for unordered, edge-labeled trees, called information trees by Dal Zilio et al [DLM04]. We define tree languages using the sheaves automata from [FPS07]Expand
Electronic Communications of the EASST Second International Workshop on Bidirectional Transformations ( BX 2013 ) Edit languages for information trees
We consider a simple set of edit operations for unordered, edge-labeled trees, called information trees by Dal Zilio et al [DLM04]. We define tree languages using the sheaves automata from [FPS07]Expand
Symmetric Lenses (Full version)
Lenses—bidirectional transformations between pairs of connected structures—have been extensively studied and are beginning to find their way into industrial practice. However, some aspects of theirExpand
...
1
2
...