James Cheney

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022

Measuring Discord Among Multidimensional Data Sources.

[BibT_eX]

[DOI]

Alberto Abelló

Proceedings of the 24th International Workshop on Design, 2022

2021

One down, 699 to go: or, synthesising compositional desugarings.

[BibT_eX]

[DOI]

Sándor Bartha

Vaishak Belle

Proc. ACM Program. Lang., 2021

Data provenance, curation and quality in metrology.

[BibT_eX]

[DOI]

CoRR, 2021

Provenance expressiveness benchmarking on non-deterministic executions.

[BibT_eX]

[DOI]

Sheung Chi Chan

Pramod Bhatotia

Proceedings of the 13th International Workshop on Theory and Practice of Provenance, 2021

A Typed Slicing Compilation of the Polymorphic RPC calculus.

[BibT_eX]

[DOI]

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

Curating Covid-19 Data in Links.

[BibT_eX]

[DOI]

Vashti Galpin

Proceedings of the Provenance and Annotation of Data and Processes, 2021

A Rule Mining-based Advanced Persistent Threats Detection System.

[BibT_eX]

[DOI]

Sidahmed Benabderrahmane

Petko Valtchev

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Query Lifting - Language-integrated query for heterogeneous nested collections.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2021

Comprehending nulls.

[BibT_eX]

[DOI]

Proceedings of the DBPL '21: The 18th International Symposium on Database Programming Languages, 2021

2020

A polymorphic RPC calculus.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2020

Cross-tier Web Programming for Curated Databases: a Case Study.

[BibT_eX]

[DOI]

Int. J. Digit. Curation, 2020

A baseline for unsupervised advanced persistent threat detection in system-level provenance.

[BibT_eX]

[DOI]

Sidahmed Benabderrahmane

Future Gener. Comput. Syst., 2020

VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems.

[BibT_eX]

[DOI]

Nils Weidmann

Anthony Anjorin

Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020

Categorical anomaly detection in heterogeneous data using minimum description length clustering.

[BibT_eX]

[DOI]

Xavier Gombau

Sidahmed Benabderrahmane

CoRR, 2020

Language-Integrated Updatable Views (Extended version).

[BibT_eX]

[DOI]

Rudi Horn

Simon Fowler

CoRR, 2020

Integrity Checking and Abnormality Detection of Provenance Records.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Theory and Practice of Provenance, 2020

FreezeML: complete and easy type inference for first-class polymorphism.

[BibT_eX]

[DOI]

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming.

[BibT_eX]

[DOI]

Sheung Chi Chan

Proceedings of the Practical Aspects of Declarative Languages, 2020

2019

Aggregating unsupervised provenance anomaly detectors.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Theory and Practice of Provenance, 2019

Provenance Meets Bidirectional Transformations.

[BibT_eX]

[DOI]

Anthony Anjorin

Proceedings of the 11th International Workshop on Theory and Practice of Provenance, 2019

TryLinks: an interactive tutorial system for a cross-tier web programming language.

[BibT_eX]

[DOI]

Junao Wu

Arek Mikolajczak

Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

Verified Self-Explaining Computation.

[BibT_eX]

[DOI]

Jan Stolarek

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

ProvMark: A Provenance Expressiveness Benchmarking System.

[BibT_eX]

[DOI]

Sheung Chi Chan

Pramod Bhatotia

Thomas F. J.-M. Pasquier

Proceedings of the 20th International Middleware Conference, 2019

Towards Meta-interpretive Learning of Programming Language Semantics.

[BibT_eX]

[DOI]

Sándor Bartha

Proceedings of the Inductive Logic Programming - 29th International Conference, 2019

Language-integrated updatable views.

[BibT_eX]

[DOI]

Rudi Horn

Simon Fowler

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

Mixing set and bag semantics.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, 2019

Language-integrated provenance by trace analysis.

[BibT_eX]

[DOI]

Stefan Fehrenbach

Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, 2019

2018

Provenance in Databases.

[BibT_eX]

[DOI]

Wang-Chiew Tan

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Language-integrated provenance.

[BibT_eX]

[DOI]

Stefan Fehrenbach

Sci. Comput. Program., 2018

Language-integrated provenance in Haskell.

[BibT_eX]

[DOI]

Jan Stolarek

Art Sci. Eng. Program., 2018

Incremental relational lenses.

[BibT_eX]

[DOI]

Rudi Horn

Proc. ACM Program. Lang., 2018

Proof-relevant π-calculus: a constructive account of concurrency and causality.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2018

Special Issue on Programming Languages for Big Data Editorial.

[BibT_eX]

[DOI]

Torsten Grust

J. Funct. Program., 2018

Explicit Auditing.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

2017

αCheck: A mechanized metatheory model checker.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

Guest Editorial: The Provenance of Online Data.

[BibT_eX]

[DOI]

Adriane Chapman

Simon Miles

ACM Trans. Internet Techn., 2017

Imperative functional programs that explain their work.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2017

On principles of Least Change and Least Surprise for bidirectional transformations.

[BibT_eX]

[DOI]

J. Object Technol., 2017

Expressiveness Benchmarking for System-Level Provenance.

[BibT_eX]

[DOI]

Proceedings of the 9th USENIX Workshop on the Theory and Practice of Provenance, 2017

muPuppet: A Declarative Subset of the Puppet Configuration Language.

[BibT_eX]

[DOI]

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

Strongly Normalizing Audited Computation.

[BibT_eX]

[DOI]

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2016

A simple sequent calculus for nominal logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

An Operational Semantics for a Fragment of the Puppet Configuration Language.

[BibT_eX]

[DOI]

Weili Fu

Paul Anderson

CoRR, 2016

Advances in Property-Based Testing for $α$Prolog.

[BibT_eX]

[DOI]

Matteo Pessina

CoRR, 2016

Provenance Segmentation.

[BibT_eX]

[DOI]

Proceedings of the 8th USENIX Workshop on the Theory and Practice of Provenance, 2016

Advances in Property-Based Testing for \alpha Prolog.

[BibT_eX]

[DOI]

Matteo Pessina

Proceedings of the Tests and Proofs - 10th International Conference, 2016

Causally Consistent Dynamic Slicing.

[BibT_eX]

[DOI]

Deepak Garg

Proceedings of the 27th International Conference on Concurrency Theory, 2016

Reflections on Monadic Lenses.

[BibT_eX]

[DOI]

Proceedings of the A List of Successes That Can Change the World, 2016

Introduction to Bidirectional Transformations.

[BibT_eX]

[DOI]

Proceedings of the Bidirectional Transformations, 2016

2015

The rationale of PROV.

[BibT_eX]

[DOI]

J. Web Semant., 2015

Proof-relevant pi-calculus.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, 2015

YesWorkflow: A User-Oriented, Language-Independent Tool for Recovering Workflow Information from Scripts.

[BibT_eX]

[DOI]

CoRR, 2015

Language-integrated Provenance in Links.

[BibT_eX]

[DOI]

Stefan Fehrenbach

Proceedings of the 7th USENIX Workshop on the Theory and Practice of Provenance, 2015

Towards a Principle of Least Surprise for Bidirectional Transformations.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, 2015

Notions of Bidirectional Computation and Entangled State Monads.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

2014

Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511).

[BibT_eX]

[DOI]

Torsten Grust

Dimitrios Vytiniotis

Dagstuhl Reports, 2014

Dynamic Provenance for SPARQL Update.

[BibT_eX]

[DOI]

Harry Halpin

CoRR, 2014

Query shredding: Efficient relational evaluation of queries over nested multisets (extended version).

[BibT_eX]

[DOI]

Philip Wadler

CoRR, 2014

Dynamic provenance for SPARQL updates using named graphs.

[BibT_eX]

[DOI]

Harry Halpin

Proceedings of the 23rd International World Wide Web Conference, 2014

Query shredding: efficient relational evaluation of queries over nested multisets.

[BibT_eX]

[DOI]

Philip Wadler

Proceedings of the International Conference on Management of Data, 2014

Dynamic Provenance for SPARQL Updates.

[BibT_eX]

[DOI]

Harry Halpin

Proceedings of the Semantic Web - ISWC 2014, 2014

Database Queries that Explain their Work.

[BibT_eX]

[DOI]

Amal Ahmed

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Effective quotation: relating approaches to language-integrated query.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

An Analytical Survey of Provenance Sanitization.

[BibT_eX]

[DOI]

Proceedings of the Provenance and Annotation of Data and Processes, 2014

Entangled State Monads.

[BibT_eX]

[DOI]

Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

Towards a Repository of Bx Examples.

[BibT_eX]

[DOI]

Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

2013

Revisiting "forward node-selecting queries over trees".

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2013

A core calculus for provenance.

[BibT_eX]

[DOI]

J. Comput. Secur., 2013

Lenses for Web Data.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Effective Quotation.

[BibT_eX]

[DOI]

CoRR, 2013

Static Enforceability of XPath-Based Access Control Policies.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Database Programming Languages (DBPL 2013), 2013

Semantics and provenance for processing element composition in dispel workflows.

[BibT_eX]

[DOI]

Eric Griffis

Paul Martin

Proceedings of WORKS 2013: 8th Workshop On Workflows in Support of Large-Scale Science, 2013

A practical theory of language-integrated query.

[BibT_eX]

[DOI]

Philip Wadler

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Provenance for seismological processing pipelines in a distributed streaming workflow.

[BibT_eX]

[DOI]

Alessandro Spinuso

Malcolm P. Atkinson

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

The W3C PROV family of specifications for modelling provenance metadata.

[BibT_eX]

[DOI]

Paolo Missier

Khalid Belhajjame

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

Toward a Theory of Self-explaining Computation.

[BibT_eX]

[DOI]

Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

2012

Consistency and repair for XML write-access control policies.

[BibT_eX]

[DOI]

VLDB J., 2012

Editorial - Special issue dedicated to ICFP 2010.

[BibT_eX]

[DOI]

Stephanie Weirich

J. Funct. Program., 2012

Formalizing Adequacy: A Case Study for Higher-order Abstract Syntax.

[BibT_eX]

[DOI]

Michael Norrish

René Vestergaard

J. Autom. Reason., 2012

Requirements for Provenance on the Web.

[BibT_eX]

[DOI]

Int. J. Digit. Curation, 2012

Principles of Provenance (Dagstuhl Seminar 12091).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2012

A dependent nominal type theory

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2012

Row-based effect types for database integration.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Hierarchical Models of Provenance.

[BibT_eX]

[DOI]

Egor V. Kostylev

Proceedings of the 4th Workshop on the Theory and Practice of Provenance, 2012

Toward Provenance-Based Security for Configuration Languages.

[BibT_eX]

[DOI]

Paul Anderson

Proceedings of the 4th Workshop on the Theory and Practice of Provenance, 2012

Functional programs that explain their work.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

Mechanizing the metatheory of LF.

[BibT_eX]

[DOI]

Stefan Berghofer

ACM Trans. Comput. Log., 2011

The database Wiki project: a general-purpose platform for data curation and collaboration.

[BibT_eX]

[DOI]

SIGMOD Rec., 2011

Provenance as dependency analysis.

[BibT_eX]

[DOI]

Amal Ahmed

Math. Struct. Comput. Sci., 2011

Higher-Order Unification for the λ<sub>αν</sub> calculus.

[BibT_eX]

[DOI]

Ben Kavanagh

Proceedings of the 25th International Workshop on Unification, 2011

DBWiki: a structured wiki for curated data and collaborative data management.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2011

Is provenance logical?

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Logic in Databases, 2011

Satisfiability algorithms for conjunctive queries over trees.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2011

Using Links to prototype a Database Wiki.

[BibT_eX]

[DOI]

Heiko Müller

Proceedings of the Database Programming Languages, 2011

A Formal Framework for Provenance Security.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

Mechanizing the Metatheory of mini-XQuery.

[BibT_eX]

[DOI]

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2010

Destabilizers and Independence of XML Updates.

[BibT_eX]

[DOI]

Michael Benedikt

Proc. VLDB Endow., 2010

Equivariant Unification.

[BibT_eX]

[DOI]

J. Autom. Reason., 2010

Causality and the Semantics of Provenance

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixth Workshop on Developments in Computational Models: Causality, 2010

A Graph Model of Data and Workflow Provenance.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on the Theory and Practice of Provenance, 2010

2009

Workshop on theory and practice of provenance event report.

[BibT_eX]

[DOI]

SIGMOD Rec., 2009

Schema-Based Independence Analysis for XML Updates.

[BibT_eX]

[DOI]

Michael Benedikt

Proc. VLDB Endow., 2009

Provenance in Databases: Why, How, and Where.

[BibT_eX]

[DOI]

Laura Chiticariu

Wang Chiew Tan

Found. Trends Databases, 2009

Provenance: a future history.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Estimating the distribution and propagation of genetic programming building blocks through tree compression.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Semantics, Types and Effects for XML Updates.

[BibT_eX]

[DOI]

Michael Benedikt

Proceedings of the Database Programming Languages, 2009

2008

Nominal logic programming.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2008

On the expressiveness of implicit provenance in query and update languages.

[BibT_eX]

[DOI]

Stijn Vansummeren

ACM Trans. Database Syst., 2008

Report on the Principles of Provenance Workshop.

[BibT_eX]

[DOI]

Bertram Ludäscher

SIGMOD Rec., 2008

A Simple Nominal Type Theory.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, 2008

Provenance Traces

[BibT_eX]

[DOI]

Amal Ahmed

CoRR, 2008

Flux: FunctionaL Updates for XML (extended report)

[BibT_eX]

[DOI]

CoRR, 2008

Curated databases.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2008

Resource bound analysis for database queries.

[BibT_eX]

[DOI]

Morten Dahl

Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, 2008

FLUX: functional updates for XML.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Regular Expression Subtyping for XML Query and Update Languages.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2008

ACCOn: checking consistency of XML write-access control policies.

[BibT_eX]

[DOI]

Loreto Bravo

Irini Fundulaki

Proceedings of the EDBT 2008, 2008

2007

Recording Provenance for SQL Queries and Updates.

[BibT_eX]

[DOI]

Stijn Vansummeren

IEEE Data Eng. Bull., 2007

Program Slicing and Data Provenance.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2007

Mechanized metatheory model-checking.

[BibT_eX]

[DOI]

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

Lux: A Lightweight, Statically Typed XML Update Language.

[BibT_eX]

[DOI]

Proceedings of the PLAN-X 2007, 2007

Repairing Inconsistent XML Write-Access Control Policies.

[BibT_eX]

[DOI]

Loreto Bravo

Irini Fundulaki

Proceedings of the Database Programming Languages, 11th International Symposium, 2007

2006

Completeness and Herbrand theorems for nominal logic.

[BibT_eX]

[DOI]

J. Symb. Log., 2006

Provenance management in curated databases.

[BibT_eX]

[DOI]

Adriane Chapman

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

A Provenance Model for Manually Curated Data.

[BibT_eX]

[DOI]

Proceedings of the Provenance and Annotation of Data, 2006

The Semantics of Nominal Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 22nd International Conference, 2006

Tradeoffs in XML Database Compression.

[BibT_eX]

[DOI]

Proceedings of the 2006 Data Compression Conference (DCC 2006), 2006

2005

Logic Column 14: Nominal Logic and Abstract Syntax

[BibT_eX]

[DOI]

CoRR, 2005

An Empirical Evaluation of Simple DTD-Conscious Compression Techniques.

[BibT_eX]

Proceedings of the Eight International Workshop on the Web & Databases (WebDB 2005), 2005

Avoiding Equivariance in Alpha-Prolog.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

Toward a general theory of names: binding and scope.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005

Scrap your nameplate: (functional pearl).

[BibT_eX]

[DOI]

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

A Simpler Proof Theory for Nominal Logic.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2005

2004

Nominal Logic Programming.

[BibT_eX]

PhD thesis, 2004

A Sequent Calculus for Nominal Logic.

[BibT_eX]

[DOI]

Murdoch Gabbay

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 20th International Conference, 2004

The Complexity of Equivariant Unification.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2002

Cyclone: A Safe Dialect of C.

[BibT_eX]

[DOI]

Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2002

Region-Based Memory Management in Cyclone.

[BibT_eX]

[DOI]

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

A lightweight implementation of generics and dynamics.

[BibT_eX]

[DOI]

Ralf Hinze

Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, 2002

2001

Towards a Theory of Information Preservation.

[BibT_eX]

[DOI]

Carl Lagoze

Peter Botticelli

Proceedings of the Research and Advanced Technology for Digital Libraries, 2001

Compressing XML with Multiplexed Hierarchical PPM Models.

[BibT_eX]

[DOI]

Proceedings of the Data Compression Conference, 2001

2000

Statistical Models for Term Compression.

[BibT_eX]

[DOI]