Skip to main content

A programming language bridging theory and practice for scientific data curation

Publications

Imperative functional programs that explain their work

Author(s): Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
Published in: Proceedings of the ACM on Programming Languages, Issue 1/ICFP, 2017, Page(s) 1-28, ISSN 2475-1421
DOI: 10.1145/3110258

Language-integrated provenance in Haskell

Author(s): Jan Stolarek, James Cheney
Published in: The Art, Science, and Engineering of Programming, Issue 2 10.22152/programming-journal.org/2018/2 http://programming-journal.org/2018/2/3, 2018, ISSN 2473-7321
DOI: 10.22152/programming-journal.org/2018/2/11

Incremental relational lenses

Author(s): Rudi Horn, Roly Perera, James Cheney
Published in: Proceedings of the ACM on Programming Languages, Issue 2/ICFP, 2018, Page(s) 1-30, ISSN 2475-1421
DOI: 10.1145/3236769

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

Author(s): Ghita Berrada, James Cheney, Sidahmed Benabderrahmane, William Maxwell, Himan Mookherjee, Alec Theriault, Ryan Wright
Published in: Future Generation Computer Systems, Issue 108, 2020, Page(s) 401-413, ISSN 0167-739X
DOI: 10.1016/j.future.2020.02.015

A polymorphic RPC calculus

Author(s): Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
Published in: Science of Computer Programming, Issue 197, 2020, Page(s) 102499, ISSN 0167-6423
DOI: 10.1016/j.scico.2020.102499

Effects for efficiency: asymptotic speedup with first-class control

Author(s): Daniel Hillerström, Sam Lindley, John Longley
Published in: Proceedings of the ACM on Programming Languages, Issue 4/ICFP, 2020, Page(s) 1-29, ISSN 2475-1421
DOI: 10.1145/3408982

Explicit Auditing

Author(s): Wilmer Ricciotti, James Cheney
Published in: Theoretical Aspects of Computing – ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, Issue 11187, 2018, Page(s) 376-395
DOI: 10.1007/978-3-030-02508-3_20

Verified Self-Explaining Computation

Author(s): Jan Stolarek, James Cheney
Published in: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings, Issue 11825, 2019, Page(s) 76-102
DOI: 10.1007/978-3-030-33636-3_4

Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming

Author(s): Sheung Chi Chan, James Cheney
Published in: Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings, Issue 12007, 2020, Page(s) 20-36
DOI: 10.1007/978-3-030-39197-3_2

Towards Meta-interpretive Learning of Programming Language Semantics

Author(s): Sándor Bartha, James Cheney
Published in: Inductive Logic Programming - 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings, Issue 11770, 2020, Page(s) 16-25
DOI: 10.1007/978-3-030-49210-6_2

Language-integrated provenance by trace analysis

Author(s): Stefan Fehrenbach, James Cheney
Published in: Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages - DBPL 2019, 2019, Page(s) 74-84
DOI: 10.1145/3315507.3330198

Provenance meets bidirectional transformations

Author(s): Anthony Anjorin, James Cheney
Published in: 11th Workshop on Theory and Practice of Provenance (TaPP 2019), 2019

Mixing set and bag semantics

Author(s): Wilmer Ricciotti, James Cheney
Published in: Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages - DBPL 2019, 2019, Page(s) 70-73
DOI: 10.1145/3315507.3330202

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

Author(s): Junao Wu, Arek Mikolajczak, James Cheney
Published in: Proceedings of the 3rd International Companion Conference on Art, Science, and Engineering of Programming - Programming '19, 2019, Page(s) 1-6
DOI: 10.1145/3328433.3328450

ProvMark - A Provenance Expressiveness Benchmarking System

Author(s): Sheung Chi Chan, James Cheney, Pramod Bhatotia, Thomas Pasquier, Ashish Gehani, Hassaan Irshad, Lucian Carata, Margo Seltzer
Published in: Proceedings of the 20th International Middleware Conference, 2019, Page(s) 268-279
DOI: 10.1145/3361525.3361552

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

Author(s): Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates
Published in: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020, Page(s) 423-437
DOI: 10.1145/3385412.3386003

Strongly Normalizing Higher-Order Relational Queries

Author(s): Wilmer Riciotti, James Cheney
Published in: 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Issue 167, 2020, Page(s) 28:1-28:22
DOI: 10.4230/lipics.fscd.2020.28

A Modular, Practical Test for a Programming Course

Author(s): Jan Stolarek, Przemyslaw Nowak
Published in: Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020, Page(s) 887-893
DOI: 10.1145/3328778.3366886

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

Author(s): Simon Fowler, Simon Harding, Joanna Sharman, James Cheney
Published in: International Journal of Digital Curation, Issue 15/1, 2020, Page(s) 15, ISSN 1746-8256
DOI: 10.2218/ijdc.v15i1.717