7 citations · 10 across the 6 of their papers we have counts for
6 papers · 1 filter
Lenses for Partially-Specified States (Extended Version)
Kazutaka Matsuda, Minh Nguyen, Meng Wang
A bidirectional transformation is a pair of transformations satisfying certain well-behavedness properties: one maps source data into view data, and the other translates changes on…
Cognacy Queries over Dependence Graphs for Transparent Visualisations
Joseph Bond, Cristina David, Minh Nguyen +2
Charts, figures, and text derived from data play an important role in decision making, from data-driven policy development to day-to-day choices informed by online articles. Making…
Effect Handlers for Programmable Inference
Minh Nguyen, Roly Perera, Meng Wang +1
Inference algorithms for probabilistic programming are complex imperative programs with many moving parts. Efficient inference often requires customising an algorithm to a particul…
Folding over Neural Networks
Minh Nguyen, Nicolas Wu
Neural networks are typically represented as data structures that are traversed either through iteration or by manual chaining of method calls. However, a deeper analysis reveals t…
Modular Probabilistic Models via Algebraic Effects
Minh Nguyen, Roly Perera, Meng Wang +1
Probabilistic programming languages (PPLs) allow programmers to construct statistical models and then simulate data or perform inference over them. Many PPLs restrict models to a p…
Linked visualisations via Galois dependencies
Roly Perera, Minh Nguyen, Tomas Petricek +1
We present new language-based dynamic analysis techniques for linking visualisations and other structured outputs to data in a fine-grained way, allowing a user to interactively ex…