Cover Image

Cognacy Queries over Dependence Graphs for Transparent Visualisations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bond, Joseph, David, Cristina, Nguyen, Minh, Orchard, Dominic, Perera, Roly
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Literate Execution
by: Bond, Joe, et al.
Published: (2026)

Modular Probabilistic Models via Algebraic Effects
by: Nguyen, Minh, et al.
Published: (2022)

Effect Handlers for Programmable Inference
by: Nguyen, Minh, et al.
Published: (2023)

Galois Slicing as Automatic Differentiation
by: Atkey, Robert, et al.
Published: (2025)

Functional Ownership through Fractional Uniqueness
by: Marshall, Danielle, et al.
Published: (2023)

Graded Modal Types for Integrity and Confidentiality
by: Marshall, Danielle, et al.
Published: (2023)

Incremental units-of-measure verification
by: Danish, Matthew, et al.
Published: (2024)

AI-Assisted Authoring for Transparent, Data-Driven Documents
by: Piscitelli, Alfonso, et al.
Published: (2025)

Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types
by: Marshall, Danielle, et al.
Published: (2022)

A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
by: Vollmer, Victoria, et al.
Published: (2024)

Formal Simulation and Visualisation of Hybrid Programs
by: Mendes, Pedro, et al.
Published: (2024)

Querying Graph-Relational Data
by: Sullivan, Michael J., et al.
Published: (2025)

The Parallel Semantics Program Dependence Graph
by: Homerding, Brian, et al.
Published: (2024)

Graphiti: Bridging Graph and Relational Database Queries
by: He, Yang, et al.
Published: (2025)

Coverage Semantics for Dependent Pattern Matching
by: Eremondi, Joseph, et al.
Published: (2025)

Lenses for Partially-Specified States (Extended Version)
by: Matsuda, Kazutaka, et al.
Published: (2026)

&inator: Correct, Precise C-to-Rust Interface Translation
by: Chen, Victor, et al.
Published: (2026)

Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs
by: Cai, Xuran, et al.
Published: (2026)

Synthesizing Trajectory Queries from Examples
by: Mell, Stephen, et al.
Published: (2026)

Language-Integrated Recursive Queries (Full Version)
by: Herlihy, Anna, et al.
Published: (2025)

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)
by: Xu, Yichen, et al.
Published: (2025)

The Free Termination Property of Queries Over Time
by: Power, Conor, et al.
Published: (2025)

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
by: Geng, Chujun, et al.
Published: (2024)

Adaptive Recursive Query Optimization
by: Herlihy, Anna, et al.
Published: (2023)

Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
by: Liesnikov, Bohdan, et al.
Published: (2025)

Cocoon: Static Information Flow Control in Rust
by: Lamba, Ada, et al.
Published: (2023)

Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices
by: Binder, David, et al.
Published: (2024)

Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
by: Barnaby, Celeste, et al.
Published: (2026)

Raqlet: Cross-Paradigm Compilation for Recursive Queries
by: Shaikhha, Amir, et al.
Published: (2025)

Galley: Modern Query Optimization for Sparse Tensor Programs
by: Deeds, Kyle, et al.
Published: (2024)

Dependent-Type-Preserving Memory Allocation
by: Koronkevich, Paulette, et al.
Published: (2025)

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
by: Huot, Mathieu, et al.
Published: (2024)

Dependent Session Types for Verified Concurrent Programming
by: Fu, Qiancheng, et al.
Published: (2025)

Kernel-FFI: Transparent Foreign Function Interfaces for Interactive Notebooks
by: Li, Hebi, et al.
Published: (2025)

JEDI: Java Evaluation of Declarative and Imperative Queries
by: Schiavio, Filippo, et al.
Published: (2026)

A Two-Level Linear Dependent Type Theory
by: Fu, Qiancheng, et al.
Published: (2023)

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
by: He, Yang, et al.
Published: (2024)

Structural Code Search using Natural Language Queries
by: Limpanukorn, Ben, et al.
Published: (2025)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
by: Peng, Xuanyu, et al.
Published: (2025)

Inferring Properties of Graph Neural Networks
by: Nguyen, Dat, et al.
Published: (2024)