research
∙
10/21/2022
Language-Integrated Query for Temporal Data (Extended version)
Modern applications often manage time-varying data. Despite decades of r...
share
research
∙
07/28/2022
Nominal Matching Logic
We introduce Nominal Matching Logic (NML) as an extension of Matching Lo...
research
∙
07/20/2022
Constraint-based type inference for FreezeML
FreezeML is a new approach to first-class polymorphic type inference tha...
research
∙
01/31/2022
Eris: Measuring discord among multidimensional data sources
Data integration is a classical problem in databases, typically decompos...
research
∙
09/13/2021
One Down, 699 to Go: or, synthesising compositional desugarings
Programming or scripting languages used in real-world systems are seldom...
research
∙
07/23/2021
Comprehending nulls
The Nested Relational Calculus (NRC) has been an influential high-level ...
research
∙
07/22/2021
A Typed Slicing Compilation of the Polymorphic RPC Calculus
The polymorphic RPC calculus allows programmers to write succinct multit...
research
∙
06/01/2021
Curating Covid-19 data in Links
Curated scientific databases play an important role in the scientific en...
research
∙
05/20/2021
A Rule Mining-Based Advanced Persistent Threats Detection System
Advanced persistent threats (APT) are stealthy cyber-attacks that are ai...
research
∙
02/16/2021
Data provenance, curation and quality in metrology
Data metrology – the assessment of the quality of data – particularly in...
research
∙
01/11/2021
Query Lifting: Language-integrated query for heterogeneous nested collections
Language-integrated query based on comprehension syntax is a powerful te...
research
∙
12/03/2020
VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems
In the field of Model-Driven Engineering, there exist numerous tools tha...
research
∙
11/26/2020
Strongly-Normalizing Higher-Order Relational Queries
Language-integrated query is a powerful programming construct allowing d...
research
∙
06/14/2020
Categorical anomaly detection in heterogeneous data using minimum description length clustering
Fast and effective unsupervised anomaly detection algorithms have been p...
research
∙
04/01/2020
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
ML is remarkable in providing statically typed polymorphism without the ...
research
∙
03/25/2020
A Formalization of SQL with Nulls
SQL is the world's most popular declarative language, forming the basis ...
research
∙
03/08/2020
Cross-tier web programming for curated databases: A case study
Curated databases have become important sources of information across sc...
research
∙
03/04/2020
Language-Integrated Updatable Views (Extended version)
Relational lenses are a modern approach to the view update problem in re...
research
∙
11/26/2019
Flexible graph matching and graph edit distance using answer set programming
The graph isomorphism, subgraph isomorphism, and graph edit distance pro...
research
∙
10/24/2019
A Polymorphic RPC Calculus
The RPC calculus is a simple semantic foundation for multi-tier programm...
research
∙
09/24/2019
ProvMark: A Provenance Expressiveness Benchmarking System
System level provenance is of widespread interest for applications such ...
research
∙
07/20/2019
Towards meta-interpretive learning of programming language semantics
We introduce a new application for inductive logic programming: learning...
research
∙
07/12/2019
Verified Self-Explaining Computation
Common programming tools, like compilers, debuggers, and IDEs, crucially...
research
∙
06/17/2019
A baseline for unsupervised advanced persistent threat detection in system-level provenance
Advanced persistent threats (APT) are stealthy, sophisticated, and unpre...
research
∙
05/06/2019
Mixing set and bag semantics
The conservativity theorem for nested relational calculus implies that q...
research
∙
05/06/2019
Language-integrated provenance by trace analysis
Language-integrated provenance builds on language-integrated query techn...
research
∙
05/06/2019
TryLinks: An interactive tutorial system for a cross-tier Web programming language
Links is a web programming language under development in Edinburgh aimed...
research
∙
08/01/2018
Explicit Auditing
The Calculus of Audited Units (CAU) is a typed lambda calculus resulting...
research
∙
07/05/2018
Incremental Relational Lenses
Lenses are a popular approach to bidirectional transformations, a genera...
research
∙
03/27/2018
Language-integrated provenance in Haskell
Scientific progress increasingly depends on data management, particularl...
research
∙
05/22/2017