A programming language bridging theory and practice for scientific data curation

Cross-tier web programming for curated databases: a case study

Autori: Simon Fowler, Simon Harding, Joanna Sharman, and James Cheney
Pubblicato in: International Journal of Digital Curation, Numero 16(1), 2021, ISSN 1746-8256
Editore: University of Edinburgh
DOI: 10.2218/ijdc.v16i1.735

A Formalization of SQL with Nulls.

Autori: Wilmer Ricciotti; James Cheney
Pubblicato in: Journal of Automated Reasoning, Numero 66(4), 2022, Pagina/e 989-1030, ISSN 1573-0670
Editore: Springer
DOI: 10.48550/arxiv.2003.11331

Constraint-based type inference for FreezeML

Autori: Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 6(ICFP), 2022, Pagina/e 111:570-595, ISSN 2475-1421
Editore: ACM
DOI: 10.1145/3547642

Imperative functional programs that explain their work

Autori: Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 1/ICFP, 2017, Pagina/e 1-28, ISSN 2475-1421
Editore: ACM
DOI: 10.1145/3110258

Language-integrated provenance in Haskell

Autori: Jan Stolarek, James Cheney
Pubblicato in: The Art, Science, and Engineering of Programming, Numero 2 10.22152/programming-journal.org/2018/2 http://programming-journal.org/2018/2/3, 2018, ISSN 2473-7321
Editore: AOSA
DOI: 10.22152/programming-journal.org/2018/2/11

Incremental relational lenses

Autori: Rudi Horn, Roly Perera, James Cheney
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 2/ICFP, 2018, Pagina/e 1-30, ISSN 2475-1421
Editore: ACM
DOI: 10.1145/3236769

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

Autori: Ghita Berrada, James Cheney, Sidahmed Benabderrahmane, William Maxwell, Himan Mookherjee, Alec Theriault, Ryan Wright
Pubblicato in: Future Generation Computer Systems, Numero 108, 2020, Pagina/e 401-413, ISSN 0167-739X
Editore: Elsevier BV
DOI: 10.1016/j.future.2020.02.015

A polymorphic RPC calculus

Autori: Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
Pubblicato in: Science of Computer Programming, Numero 197, 2020, Pagina/e 102499, ISSN 0167-6423
Editore: Elsevier BV
DOI: 10.1016/j.scico.2020.102499

Effects for efficiency: asymptotic speedup with first-class control

Autori: Daniel Hillerström, Sam Lindley, John Longley
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 4/ICFP, 2020, Pagina/e 1-29, ISSN 2475-1421
Editore: ACM
DOI: 10.1145/3408982

Strongly-Normalizing Higher-Order Relational Queries

Autori: Ricciotti, Wilmer; Cheney, James
Pubblicato in: Logical Methods in Computer Science, Numero 18(3), 2022, Pagina/e 23:1-23:41, ISSN 1860-5974
Editore: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-18(3:23)2022

Integrity Checking and Abnormality Detection of Provenance Records

Autori: Sheung Chi Chan, Ashish Gehani, Hassaan Irshad, James Cheney
Pubblicato in: 12th International Workshop on Theory and Practice of Provenance (TaPP 2020), 2020
Editore: USENIX

Provenance expressiveness benchmarking on non-deterministic executions

Autori: Sheung Chi Chan, James Cheney, Pramod Bhatotia
Pubblicato in: 13th International Workshop on Theory and Practice of Provenance (TaPP 2021), 2021
Editore: USENIX

A Typed Slicing Compilation of the Polymorphic RPC calculus

Autori: Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
Pubblicato in: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021, Pagina/e 1-15, ISBN 9781450386890
Editore: ACM
DOI: 10.1145/3479394.3479406

Language-Integrated Query for Temporal Data

Autori: Simon Fowler; Vashti Galpin; James Cheney
Pubblicato in: Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences . pp. 5-19 , The 21st International Conference on Generative Programming: Concepts & Experiences,, 2022, Pagina/e 5-19, ISBN 978-1-4503-9920-3
Editore: ACM
DOI: 10.1145/3564719.3568690

Model-View-Update-Communicate: Session Types meet the Elm Architecture

Autori: Simon Fowler
Pubblicato in: 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020, Pagina/e 14:1--14:28, ISBN 978-3-95977-154-2
Editore: Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.ecoop.2020.14

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

Autori: Sándor Bartha; James Cheney; Vaishak Belle
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 5(OOPSLA), 2021, Pagina/e 122:1-122:29, ISSN 2475-1421
Editore: ACM
DOI: 10.48550/arxiv.2109.06114

Language-integrated provenance by trace analysis

Autori: Stefan Fehrenbach, James Cheney
Pubblicato in: Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages - DBPL 2019, 2019, Pagina/e 74-84, ISBN 9781-450367189
Editore: ACM Press
DOI: 10.1145/3315507.3330198

Provenance meets bidirectional transformations

Autori: Anthony Anjorin, James Cheney
Pubblicato in: 11th Workshop on Theory and Practice of Provenance (TaPP 2019), 2019
Editore: USENIX

Mixing set and bag semantics

Autori: Wilmer Ricciotti, James Cheney
Pubblicato in: Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages - DBPL 2019, 2019, Pagina/e 70-73, ISBN 9781-450367189
Editore: ACM Press
DOI: 10.1145/3315507.3330202

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

Autori: Junao Wu, Arek Mikolajczak, James Cheney
Pubblicato in: Proceedings of the 3rd International Companion Conference on Art, Science, and Engineering of Programming - Programming '19, 2019, Pagina/e 1-6, ISBN 9781-450362573
Editore: ACM Press
DOI: 10.1145/3328433.3328450

ProvMark - A Provenance Expressiveness Benchmarking System

Autori: Sheung Chi Chan, James Cheney, Pramod Bhatotia, Thomas Pasquier, Ashish Gehani, Hassaan Irshad, Lucian Carata, Margo Seltzer
Pubblicato in: Proceedings of the 20th International Middleware Conference, 2019, Pagina/e 268-279, ISBN 9781-450370097
Editore: ACM
DOI: 10.1145/3361525.3361552

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

Autori: Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates
Pubblicato in: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020, Pagina/e 423-437, ISBN 9781-450376136
Editore: ACM
DOI: 10.1145/3385412.3386003

Strongly Normalizing Higher-Order Relational Queries

Autori: Wilmer Ricciotti, James Cheney
Pubblicato in: 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Numero 167, 2020, Pagina/e 28:1-28:22, ISBN 978-3-95977-155-9
Editore: Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.fscd.2020.28

A Modular, Practical Test for a Programming Course

Autori: Jan Stolarek, Przemyslaw Nowak
Pubblicato in: Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020, Pagina/e 887-893, ISBN 9781-450367936
Editore: ACM
DOI: 10.1145/3328778.3366886

Language-integrated updatable views

Autori: Rudi Horn, Simon Fowler, James Cheney
Pubblicato in: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages, 2019, Pagina/e 1-12, ISBN 9781450375627
Editore: ACM
DOI: 10.1145/3412932.3412945

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language

Autori: Paul Harvey, Simon Fowler, Ornela Dardha,Simon J. Gay
Pubblicato in: 35th European Conference on Object-Oriented Programming (ECOOP 2021), 2021, ISBN 978-3-95977-190-0
Editore: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.ecoop.2021.10

Nominal Matching Logic

Autori: James Cheney; Maribel Fernandez
Pubblicato in: PPDP '22: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming, 2022, Pagina/e 5:1-15, ISBN 978-1-4503-9703-2
Editore: ACM

A Rule Mining-based Advanced Persistent Threats Detection System

Autori: Sidahmed Benabderrahmane, Ghita Berrada, James Cheney, Petko Valtchev
Pubblicato in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Pagina/e 3589-3596, ISBN 978-0-9992411-9-6
Editore: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2021/494

Comprehending nulls

Autori: James Cheney; Wilmer Ricciotti
Pubblicato in: Proceedings of the 18th International Symposium on Database Programming Languages, 2021, Pagina/e 3-6, ISBN 978-1-4503-8646-3
Editore: ACM
DOI: 10.1145/3475726.3475730

Data provenance, curation and quality in metrology

Autori: James Cheney, Adriane Chapman, Joy Davidson, Alistair Forbes
Pubblicato in: Advanced Mathematical and Computational Tools in Metrology and Testing XII, 2022, Pagina/e 167-187, ISBN 978-981-124-239-7
Editore: World Scientific
DOI: 10.1142/9789811242380_0009

Query Lifting - Language-integrated query for heterogeneous nested collections

Autori: Wilmer Ricciotti, James Cheney
Pubblicato in: Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Numero 12648, 2021, Pagina/e 579-606, ISBN 978-3-030-72018-6
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-72019-3_21

Explicit Auditing

Autori: Wilmer Ricciotti, James Cheney
Pubblicato in: Theoretical Aspects of Computing – ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, Numero 11187, 2018, Pagina/e 376-395, ISBN 978-3-030-02507-6
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-02508-3_20

Verified Self-Explaining Computation

Autori: Jan Stolarek, James Cheney
Pubblicato in: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings, Numero 11825, 2019, Pagina/e 76-102, ISBN 978-3-030-33635-6
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-33636-3_4

Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming

Autori: Sheung Chi Chan, James Cheney
Pubblicato in: Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings, Numero 12007, 2020, Pagina/e 20-36, ISBN 978-3-030-39196-6
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-39197-3_2

Towards Meta-interpretive Learning of Programming Language Semantics

Autori: Sándor Bartha, James Cheney
Pubblicato in: Inductive Logic Programming - 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings, Numero 11770, 2020, Pagina/e 16-25, ISBN 978-3-030-49209-0
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-49210-6_2

Curating Covid-19 Data in Links

Autori: Vashti Galpin, James Cheney
Pubblicato in: Provenance and Annotation of Data and Processes - 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19–22, 2021, Proceedings, Numero 12839, 2021, Pagina/e 237-243, ISBN 978-3-030-80959-1
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-80960-7_19

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

Autori: Simon Fowler, Simon Harding, Joanna Sharman, James Cheney
Pubblicato in: International Journal of Digital Curation, Numero 15/1, 2020, Pagina/e 15, ISSN 1746-8256
Editore: International journal of digital curation
DOI: 10.2218/ijdc.v15i1.717

Pubblicazioni

Condividi questa pagina

Scarica