Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS
CORDIScovery podcast 50th episode CORDIScovery podcast 50th episode

A programming language bridging theory and practice for scientific data curation

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (10)
Cross-tier web programming for curated databases: a case study (s’ouvre dans une nouvelle fenêtre)

Auteurs: Simon Fowler, Simon Harding, Joanna Sharman, and James Cheney
Publié dans: International Journal of Digital Curation, Numéro 16(1), 2021, ISSN 1746-8256
Éditeur: University of Edinburgh
DOI: 10.2218/ijdc.v16i1.735

A Formalization of SQL with Nulls. (s’ouvre dans une nouvelle fenêtre)

Auteurs: Wilmer Ricciotti; James Cheney
Publié dans: Journal of Automated Reasoning, Numéro 66(4), 2022, Page(s) 989-1030, ISSN 1573-0670
Éditeur: Springer
DOI: 10.48550/arxiv.2003.11331

Constraint-based type inference for FreezeML (s’ouvre dans une nouvelle fenêtre)

Auteurs: Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 6(ICFP), 2022, Page(s) 111:570-595, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3547642

Imperative functional programs that explain their work (s’ouvre dans une nouvelle fenêtre)

Auteurs: Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 1/ICFP, 2017, Page(s) 1-28, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3110258

Language-integrated provenance in Haskell (s’ouvre dans une nouvelle fenêtre)

Auteurs: Jan Stolarek, James Cheney
Publié dans: The Art, Science, and Engineering of Programming, Numéro 2 10.22152/programming-journal.org/2018/2 http://programming-journal.org/2018/2/3, 2018, ISSN 2473-7321
Éditeur: AOSA
DOI: 10.22152/programming-journal.org/2018/2/11

Incremental relational lenses (s’ouvre dans une nouvelle fenêtre)

Auteurs: Rudi Horn, Roly Perera, James Cheney
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 2/ICFP, 2018, Page(s) 1-30, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3236769

A baseline for unsupervised advanced persistent threat detection in system-level provenance (s’ouvre dans une nouvelle fenêtre)

Auteurs: Ghita Berrada, James Cheney, Sidahmed Benabderrahmane, William Maxwell, Himan Mookherjee, Alec Theriault, Ryan Wright
Publié dans: Future Generation Computer Systems, Numéro 108, 2020, Page(s) 401-413, ISSN 0167-739X
Éditeur: Elsevier BV
DOI: 10.1016/j.future.2020.02.015

A polymorphic RPC calculus (s’ouvre dans une nouvelle fenêtre)

Auteurs: Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
Publié dans: Science of Computer Programming, Numéro 197, 2020, Page(s) 102499, ISSN 0167-6423
Éditeur: Elsevier BV
DOI: 10.1016/j.scico.2020.102499

Effects for efficiency: asymptotic speedup with first-class control (s’ouvre dans une nouvelle fenêtre)

Auteurs: Daniel Hillerström, Sam Lindley, John Longley
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 4/ICFP, 2020, Page(s) 1-29, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3408982

Strongly-Normalizing Higher-Order Relational Queries (s’ouvre dans une nouvelle fenêtre)

Auteurs: Ricciotti, Wilmer; Cheney, James
Publié dans: Logical Methods in Computer Science, Numéro 18(3), 2022, Page(s) 23:1-23:41, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-18(3:23)2022

Conference proceedings (19)
Integrity Checking and Abnormality Detection of Provenance Records

Auteurs: Sheung Chi Chan, Ashish Gehani, Hassaan Irshad, James Cheney
Publié dans: 12th International Workshop on Theory and Practice of Provenance (TaPP 2020), 2020
Éditeur: USENIX

Provenance expressiveness benchmarking on non-deterministic executions

Auteurs: Sheung Chi Chan, James Cheney, Pramod Bhatotia
Publié dans: 13th International Workshop on Theory and Practice of Provenance (TaPP 2021), 2021
Éditeur: USENIX

A Typed Slicing Compilation of the Polymorphic RPC calculus (s’ouvre dans une nouvelle fenêtre)

Auteurs: Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
Publié dans: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021, Page(s) 1-15, ISBN 9781450386890
Éditeur: ACM
DOI: 10.1145/3479394.3479406

Language-Integrated Query for Temporal Data (s’ouvre dans une nouvelle fenêtre)

Auteurs: Simon Fowler; Vashti Galpin; James Cheney
Publié dans: 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, Page(s) 5-19, ISBN 978-1-4503-9920-3
Éditeur: ACM
DOI: 10.1145/3564719.3568690

Model-View-Update-Communicate: Session Types meet the Elm Architecture (s’ouvre dans une nouvelle fenêtre)

Auteurs: Simon Fowler
Publié dans: 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020, Page(s) 14:1--14:28, ISBN 978-3-95977-154-2
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.ecoop.2020.14

One down, 699 to go: or, synthesising compositional desugarings (s’ouvre dans une nouvelle fenêtre)

Auteurs: Sándor Bartha; James Cheney; Vaishak Belle
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 5(OOPSLA), 2021, Page(s) 122:1-122:29, ISSN 2475-1421
Éditeur: ACM
DOI: 10.48550/arxiv.2109.06114

Language-integrated provenance by trace analysis (s’ouvre dans une nouvelle fenêtre)

Auteurs: Stefan Fehrenbach, James Cheney
Publié dans: Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages - DBPL 2019, 2019, Page(s) 74-84, ISBN 9781-450367189
Éditeur: ACM Press
DOI: 10.1145/3315507.3330198

Provenance meets bidirectional transformations

Auteurs: Anthony Anjorin, James Cheney
Publié dans: 11th Workshop on Theory and Practice of Provenance (TaPP 2019), 2019
Éditeur: USENIX

Mixing set and bag semantics (s’ouvre dans une nouvelle fenêtre)

Auteurs: Wilmer Ricciotti, James Cheney
Publié dans: Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages - DBPL 2019, 2019, Page(s) 70-73, ISBN 9781-450367189
Éditeur: ACM Press
DOI: 10.1145/3315507.3330202

TryLinks - an interactive tutorial system for a cross-tier web programming language (s’ouvre dans une nouvelle fenêtre)

Auteurs: Junao Wu, Arek Mikolajczak, James Cheney
Publié dans: Proceedings of the 3rd International Companion Conference on Art, Science, and Engineering of Programming - Programming '19, 2019, Page(s) 1-6, ISBN 9781-450362573
Éditeur: ACM Press
DOI: 10.1145/3328433.3328450

ProvMark - A Provenance Expressiveness Benchmarking System (s’ouvre dans une nouvelle fenêtre)

Auteurs: Sheung Chi Chan, James Cheney, Pramod Bhatotia, Thomas Pasquier, Ashish Gehani, Hassaan Irshad, Lucian Carata, Margo Seltzer
Publié dans: Proceedings of the 20th International Middleware Conference, 2019, Page(s) 268-279, ISBN 9781-450370097
Éditeur: ACM
DOI: 10.1145/3361525.3361552

FreezeML: complete and easy type inference for first-class polymorphism (s’ouvre dans une nouvelle fenêtre)

Auteurs: Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates
Publié dans: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020, Page(s) 423-437, ISBN 9781-450376136
Éditeur: ACM
DOI: 10.1145/3385412.3386003

Strongly Normalizing Higher-Order Relational Queries (s’ouvre dans une nouvelle fenêtre)

Auteurs: Wilmer Ricciotti, James Cheney
Publié dans: 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Numéro 167, 2020, Page(s) 28:1-28:22, ISBN 978-3-95977-155-9
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.fscd.2020.28

A Modular, Practical Test for a Programming Course (s’ouvre dans une nouvelle fenêtre)

Auteurs: Jan Stolarek, Przemyslaw Nowak
Publié dans: Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020, Page(s) 887-893, ISBN 9781-450367936
Éditeur: ACM
DOI: 10.1145/3328778.3366886

Language-integrated updatable views (s’ouvre dans une nouvelle fenêtre)

Auteurs: Rudi Horn, Simon Fowler, James Cheney
Publié dans: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages, 2019, Page(s) 1-12, ISBN 9781450375627
Éditeur: ACM
DOI: 10.1145/3412932.3412945

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (s’ouvre dans une nouvelle fenêtre)

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

Nominal Matching Logic

Auteurs: James Cheney; Maribel Fernandez
Publié dans: PPDP '22: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming, 2022, Page(s) 5:1-15, ISBN 978-1-4503-9703-2
Éditeur: ACM

A Rule Mining-based Advanced Persistent Threats Detection System (s’ouvre dans une nouvelle fenêtre)

Auteurs: Sidahmed Benabderrahmane, Ghita Berrada, James Cheney, Petko Valtchev
Publié dans: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Page(s) 3589-3596, ISBN 978-0-9992411-9-6
Éditeur: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2021/494

Comprehending nulls (s’ouvre dans une nouvelle fenêtre)

Auteurs: James Cheney; Wilmer Ricciotti
Publié dans: Proceedings of the 18th International Symposium on Database Programming Languages, 2021, Page(s) 3-6, ISBN 978-1-4503-8646-3
Éditeur: ACM
DOI: 10.1145/3475726.3475730

Book chapters (7)
Data provenance, curation and quality in metrology (s’ouvre dans une nouvelle fenêtre)

Auteurs: James Cheney, Adriane Chapman, Joy Davidson, Alistair Forbes
Publié dans: Advanced Mathematical and Computational Tools in Metrology and Testing XII, 2022, Page(s) 167-187, ISBN 978-981-124-239-7
Éditeur: World Scientific
DOI: 10.1142/9789811242380_0009

Query Lifting - Language-integrated query for heterogeneous nested collections (s’ouvre dans une nouvelle fenêtre)

Auteurs: Wilmer Ricciotti, James Cheney
Publié dans: 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, Numéro 12648, 2021, Page(s) 579-606, ISBN 978-3-030-72018-6
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-72019-3_21

Explicit Auditing (s’ouvre dans une nouvelle fenêtre)

Auteurs: Wilmer Ricciotti, James Cheney
Publié dans: Theoretical Aspects of Computing – ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings, Numéro 11187, 2018, Page(s) 376-395, ISBN 978-3-030-02507-6
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-02508-3_20

Verified Self-Explaining Computation (s’ouvre dans une nouvelle fenêtre)

Auteurs: Jan Stolarek, James Cheney
Publié dans: Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings, Numéro 11825, 2019, Page(s) 76-102, ISBN 978-3-030-33635-6
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-33636-3_4

Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming (s’ouvre dans une nouvelle fenêtre)

Auteurs: Sheung Chi Chan, James Cheney
Publié dans: Practical Aspects of Declarative Languages - 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings, Numéro 12007, 2020, Page(s) 20-36, ISBN 978-3-030-39196-6
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-39197-3_2

Towards Meta-interpretive Learning of Programming Language Semantics (s’ouvre dans une nouvelle fenêtre)

Auteurs: Sándor Bartha, James Cheney
Publié dans: Inductive Logic Programming - 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings, Numéro 11770, 2020, Page(s) 16-25, ISBN 978-3-030-49209-0
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-49210-6_2

Curating Covid-19 Data in Links (s’ouvre dans une nouvelle fenêtre)

Auteurs: Vashti Galpin, James Cheney
Publié dans: 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, Numéro 12839, 2021, Page(s) 237-243, ISBN 978-3-030-80959-1
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-80960-7_19

Non-peer reviewed articles (1)
Cross-tier Web Programming for Curated Databases: a Case Study (s’ouvre dans une nouvelle fenêtre)

Auteurs: Simon Fowler, Simon Harding, Joanna Sharman, James Cheney
Publié dans: International Journal of Digital Curation, Numéro 15/1, 2020, Page(s) 15, ISSN 1746-8256
Éditeur: International journal of digital curation
DOI: 10.2218/ijdc.v15i1.717

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Partager cette page Partager cette page sur les réseaux sociaux

Télécharger Télécharger le contenu de la page

Dernière mise à jour: 2 Avril 2024

Mon livret

Permalink: https://cordis.europa.eu/project/id/682315/results/fr

European Union, 2025

Mon livret 0 0