James Cheney

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 99

Top Venues

CoRR

TaPP

PPDP

Proc. ACM Program. Lang.

Publications

Sidahmed Benabderrahmane, Ngoc Hoang, Petko Valtchev, James Cheney, Talal Rahwan
Hack Me If You Can: Aggregating AutoEncoders for Countering Persistent Access Threats Within Highly Imbalanced Data. CoRR (2024)
Alberto Abelló, James Cheney
Eris: efficiently measuring discord in multidimensional sources. VLDB J. 33 (2) (2024)
Sidahmed Benabderrahmane, Ngoc Hoang, Petko Valtchev, James Cheney, Talal Rahwan
Hack me if you can: Aggregating autoencoders for countering persistent access threats within highly imbalanced data. Future Gener. Comput. Syst. 160 (2024)
Simon Fowler, Vashti Galpin, James Cheney
Language-Integrated Query for Temporal Data (Extended version). CoRR (2022)
James Cheney, Maribel Fernández
Nominal Matching Logic. PPDP (2022)
Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley
Constraint-based type inference for FreezeML. CoRR (2022)
James Cheney, Maribel Fernández
Nominal Matching Logic. CoRR (2022)
Simon Fowler, Vashti Galpin, James Cheney
Language-Integrated Query for Temporal Data. GPCE (2022)
Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley
Constraint-based type inference for FreezeML. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Alberto Abelló, James Cheney
Measuring Discord Among Multidimensional Data Sources. DOLAP (2022)
Alberto Abelló, James Cheney
Eris: Measuring discord among multidimensional data sources. CoRR (2022)
Wilmer Ricciotti, James Cheney
A Formalization of SQL with Nulls. J. Autom. Reason. 66 (4) (2022)
Wilmer Ricciotti, James Cheney
Strongly-Normalizing Higher-Order Relational Queries. Log. Methods Comput. Sci. 18 (3) (2022)
Sándor Bartha, James Cheney, Vaishak Belle
One Down, 699 to Go: or, synthesising compositional desugarings. CoRR (2021)
James Cheney, Adriane Chapman, Joy Davidson, Alistair Forbes
Data provenance, curation and quality in metrology. CoRR (2021)
Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
A Typed Slicing Compilation of the Polymorphic RPC Calculus. CoRR (2021)
Sidahmed Benabderrahmane, Ghita Berrada, James Cheney, Petko Valtchev
A Rule Mining-based Advanced Persistent Threats Detection System. IJCAI (2021)
James Cheney, Wilmer Ricciotti
Comprehending nulls. CoRR (2021)
Wilmer Ricciotti, James Cheney
Query Lifting - Language-integrated query for heterogeneous nested collections. ESOP (2021)
Sándor Bartha, James Cheney, Vaishak Belle
One down, 699 to go: or, synthesising compositional desugarings. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Wilmer Ricciotti, James Cheney
Query Lifting: Language-integrated query for heterogeneous nested collections. CoRR (2021)
Vashti Galpin, James Cheney
Curating Covid-19 Data in Links. IPAW (2021)
James Cheney, Wilmer Ricciotti
Comprehending nulls. DBPL (2021)
Simon Fowler, Simon D. Harding, Joanna L. Sharman, James Cheney
Cross-tier Web Programming for Curated Databases: a Case Study. Int. J. Digit. Curation 16 (1) (2021)
Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
A Typed Slicing Compilation of the Polymorphic RPC calculus. PPDP (2021)
Vashti Galpin, James Cheney
Curating Covid-19 data in Links. CoRR (2021)
Sidahmed Benabderrahmane, Ghita Berrada, James Cheney, Petko Valtchev
A Rule Mining-Based Advanced Persistent Threats Detection System. CoRR (2021)
Sheung Chi Chan, James Cheney, Pramod Bhatotia
Provenance expressiveness benchmarking on non-deterministic executions. TaPP (2021)
Simon Fowler, Simon D. Harding, Joanna L. Sharman, James Cheney
Cross-tier Web Programming for Curated Databases: a Case Study. Int. J. Digit. Curation 15 (1) (2020)
Wilmer Ricciotti, James Cheney
A Formalization of SQL with Nulls. CoRR (2020)
Ghita Berrada, James Cheney, Sidahmed Benabderrahmane, William Maxwell, Himan Mookherjee, Alec Theriault, Ryan Wright
A baseline for unsupervised advanced persistent threat detection in system-level provenance. Future Gener. Comput. Syst. 108 (2020)
Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism. CoRR (2020)
Sheung Chi Chan, Ashish Gehani, Hassaan Irshad, James Cheney
Integrity Checking and Abnormality Detection of Provenance Records. TaPP (2020)
Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
A polymorphic RPC calculus. Sci. Comput. Program. 197 (2020)
Sheung Chi Chan, James Cheney
Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming. PADL (2020)
James Cheney, Xavier Gombau, Ghita Berrada, Sidahmed Benabderrahmane
Categorical anomaly detection in heterogeneous data using minimum description length clustering. CoRR (2020)
Nils Weidmann, Anthony Anjorin, James Cheney
VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems. GCM@STAF (2020)
Simon Fowler, Simon D. Harding, Joanna L. Sharman, James Cheney
Cross-tier web programming for curated databases: A case study. CoRR (2020)
Wilmer Ricciotti, James Cheney
Strongly-Normalizing Higher-Order Relational Queries. CoRR (2020)
Wilmer Ricciotti, James Cheney
Strongly Normalizing Higher-Order Relational Queries. FSCD (2020)
Rudi Horn, Simon Fowler, James Cheney
Language-Integrated Updatable Views (Extended version). CoRR (2020)
Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates
FreezeML: complete and easy type inference for first-class polymorphism. PLDI (2020)
Anthony Anjorin, James Cheney
Provenance Meets Bidirectional Transformations. TaPP (2019)
Junao Wu, Arek Mikolajczak, James Cheney
TryLinks: An interactive tutorial system for a cross-tier Web programming language. CoRR (2019)
Stefan Fehrenbach, James Cheney
Language-integrated provenance by trace analysis. DBPL (2019)
Wilmer Ricciotti, James Cheney
Mixing set and bag semantics. CoRR (2019)
Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
A Polymorphic RPC Calculus. CoRR (2019)
Wilmer Ricciotti, James Cheney
Mixing set and bag semantics. DBPL (2019)
Sándor Bartha, James Cheney
Towards Meta-interpretive Learning of Programming Language Semantics. ILP (2019)
Ghita Berrada, Sidahmed Benabderrahmane, James Cheney, William Maxwell, Himan Mookherjee, Alec Theriault, Ryan Wright
A baseline for unsupervised advanced persistent threat detection in system-level provenance. CoRR (2019)
Jan Stolarek, James Cheney
Verified Self-Explaining Computation. MPC (2019)
Jan Stolarek, James Cheney
Verified Self-Explaining Computation. CoRR (2019)
Sándor Bartha, James Cheney
Towards meta-interpretive learning of programming language semantics. CoRR (2019)
Junao Wu, Arek Mikolajczak, James Cheney
TryLinks: an interactive tutorial system for a cross-tier web programming language. Programming (2019)
Rudi Horn, Simon Fowler, James Cheney
Language-integrated updatable views. IFL (2019)
Ghita Berrada, James Cheney
Aggregating unsupervised provenance anomaly detectors. TaPP (2019)
Sheung Chi Chan, James Cheney
Flexible graph matching and graph edit distance using answer set programming. CoRR (2019)
Stefan Fehrenbach, James Cheney
Language-integrated provenance by trace analysis. CoRR (2019)
Sheung Chi Chan, James Cheney, Pramod Bhatotia, Thomas F. J.-M. Pasquier, Ashish Gehani, Hassaan Irshad, Lucian Carata, Margo I. Seltzer
ProvMark: A Provenance Expressiveness Benchmarking System. CoRR (2019)
Sheung Chi Chan, James Cheney, Pramod Bhatotia, Thomas F. J.-M. Pasquier, Ashish Gehani, Hassaan Irshad, Lucian Carata, Margo I. Seltzer
ProvMark: A Provenance Expressiveness Benchmarking System. Middleware (2019)
Wilmer Ricciotti, James Cheney
Explicit Auditing. CoRR (2018)
Rudi Horn, Roly Perera, James Cheney
Incremental Relational Lenses. CoRR (2018)
Stefan Fehrenbach, James Cheney
Language-integrated provenance. Sci. Comput. Program. 155 (2018)
Roly Perera, James Cheney
Proof-relevant π-calculus: a constructive account of concurrency and causality. Math. Struct. Comput. Sci. 28 (9) (2018)
Wilmer Ricciotti, James Cheney
Explicit Auditing. ICTAC (2018)
Rudi Horn, Roly Perera, James Cheney
Incremental relational lenses. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Jan Stolarek, James Cheney
Language-integrated provenance in Haskell. Art Sci. Eng. Program. 2 (3) (2018)
Jan Stolarek, James Cheney
Language-integrated provenance in Haskell. CoRR (2018)
James Cheney, Torsten Grust
Special Issue on Programming Languages for Big Data Editorial. J. Funct. Program. 28 (2018)
Sheung Chi Chan, Ashish Gehani, James Cheney, Ripduman Sohan, Hassaan Irshad
Expressiveness Benchmarking for System-Level Provenance. TaPP (2017)
Adriane Chapman, James Cheney, Simon Miles
Guest Editorial: The Provenance of Online Data. ACM Trans. Internet Techn. 17 (4) (2017)
Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
Imperative Functional Programs that Explain their Work. CoRR (2017)
Wilmer Ricciotti, James Cheney
Strongly Normalizing Audited Computation. CSL (2017)
Weili Fu, Roly Perera, Paul Anderson, James Cheney
muPuppet: A Declarative Subset of the Puppet Configuration Language. ECOOP (2017)
James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
On principles of Least Change and Least Surprise for bidirectional transformations. J. Object Technol. 16 (1) (2017)
Wilmer Ricciotti, James Cheney
Strongly Normalizing Audited Computation. CoRR (2017)
James Cheney, Alberto Momigliano
αCheck: A mechanized metatheory model-checker. CoRR (2017)
Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
Imperative functional programs that explain their work. Proc. ACM Program. Lang. 1 (ICFP) (2017)
James Cheney, Alberto Momigliano
αCheck: A mechanized metatheory model checker. Theory Pract. Log. Program. 17 (3) (2017)
Roly Perera, James Cheney
Proof-relevant pi-calculus. CoRR (2016)
Roly Perera, Deepak Garg, James Cheney
Causally Consistent Dynamic Slicing. CONCUR (2016)
Roly Perera, Deepak Garg, James Cheney
Causally consistent dynamic slicing. CoRR (2016)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Reflections on Monadic Lenses. CoRR (2016)
Stefan Fehrenbach, James Cheney
Language-integrated provenance. CoRR (2016)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Introduction to Bidirectional Transformations. Bidirectional Transformations (2016)
Weili Fu, James Cheney, Paul Anderson
An Operational Semantics for a Fragment of the Puppet Configuration Language. CoRR (2016)
Rui Abreu, Dave Archer, Erin Chapman, James Cheney, Hoda Eldardiry, Adrià Gascón
Provenance Segmentation. TaPP (2016)
James Cheney, Alberto Momigliano, Matteo Pessina
Advances in Property-Based Testing for \alpha Prolog. TAP@STAF (2016)
James Cheney
A simple sequent calculus for nominal logic. J. Log. Comput. 26 (2) (2016)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Reflections on Monadic Lenses. A List of Successes That Can Change the World (2016)
Stefan Fehrenbach, James Cheney
Language-integrated provenance. PPDP (2016)
James Cheney, Alberto Momigliano, Matteo Pessina
Advances in Property-Based Testing for $α$Prolog. CoRR (2016)
James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Towards a Principle of Least Surprise for Bidirectional Transformations. Bx@STAF (2015)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Notions of Bidirectional Computation and Entangled State Monads. MPC (2015)
Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
Notions of bidirectional computation and entangled state monads. CoRR (2015)
Stefan Fehrenbach, James Cheney
Language-integrated Provenance in Links. TaPP (2015)
Timothy M. McPhillips, Tianhong Song, Tyler Kolisnik, Steve Aulenbach, Khalid Belhajjame, Kyle Bocinsky, Yang Cao, Fernando Chirigati, Saumen C. Dey, Juliana Freire, Deborah N. Huntzinger, Christopher Jones, David Koop, Paolo Missier, Mark Schildhauer, Christopher R. Schwalm, Yaxing Wei, James Cheney, Mark Bieda, Bertram Ludäscher
YesWorkflow: A User-Oriented, Language-Independent Tool for Recovering Workflow Information from Scripts. CoRR (2015)
Luc Moreau, Paul Groth, James Cheney, Timothy Lebo, Simon Miles
The rationale of PROV. J. Web Semant. 35 (2015)
Roly Perera, James Cheney
Proof-relevant pi-calculus. LFMTP (2015)
James Cheney, Sam Lindley, Philip Wadler
Query shredding: Efficient relational evaluation of queries over nested multisets (extended version). CoRR (2014)

James Cheney.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

James Cheney