James Cheney - RankMe

217 papers A* 7A 12B 17C 14Journal 105Unranked 56

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Refining Decision Boundaries In Anomaly Detection Using Similarity Search Within the Feature Space. CoRR Sidahmed Benabderrahmane, Petko Valtchev, James Cheney, Talal Rahwan
2025	—	`conf`	APT-LLM: Embedding-Based Anomaly Detection of Cyber Advanced Persistent Threats Using Large Language Models. ISDFS Sidahmed Benabderrahmane, Petko Valtchev, James Cheney, Talal Rahwan
2025	J	`jnl`	APT-LLM: Embedding-Based Anomaly Detection of Cyber Advanced Persistent Threats Using Large Language Models. CoRR Sidahmed Benabderrahmane, Petko Valtchev, James Cheney, Talal Rahwan
2025	B	`conf`	Nominal Matching Logic with Fixpoints. CPP Mircea Sebe, Maribel Fernández, James Cheney
2025	C	`ed.`	Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Rende, Italy, September 10-11, 2025 PPDP Malgorzata Biernacka, Carlos Olarte, Francesco Ricca, James Cheney
2025	J	`jnl`	Ranking-Enhanced Anomaly Detection Using Active Learning-Assisted Attention Adversarial Dual AutoEncoders. CoRR Sidahmed Benabderrahmane, James Cheney, Talal Rahwan
2024	J	`jnl`	Eris: efficiently measuring discord in multidimensional sources. VLDB J. Alberto Abelló, James Cheney
2024	J	`jnl`	Hack Me If You Can: Aggregating AutoEncoders for Countering Persistent Access Threats Within Highly Imbalanced Data. CoRR Sidahmed Benabderrahmane, Ngoc Hoang, Petko Valtchev, James Cheney, Talal Rahwan
2024	J	`jnl`	Hack me if you can: Aggregating autoencoders for countering persistent access threats within highly imbalanced data. Future Gener. Comput. Syst. Sidahmed Benabderrahmane, Ngoc Hoang, Petko Valtchev, James Cheney, Talal Rahwan
2024	C	`ed.`	Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Milano, Italy, September 9-11, 2024 PPDP Alessandro Bruni, Alberto Momigliano, Matteo Pradella, Matteo Rossi, James Cheney
2022	J	`jnl`	A Formalization of SQL with Nulls. J. Autom. Reason. Wilmer Ricciotti, James Cheney
2022	J	`jnl`	Constraint-based type inference for FreezeML. CoRR Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley
2022	J	`jnl`	Constraint-based type inference for FreezeML. Proc. ACM Program. Lang. Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley
2022	J	`jnl`	Eris: Measuring discord among multidimensional data sources. CoRR Alberto Abelló, James Cheney
2022	J	`jnl`	Language-Integrated Query for Temporal Data (Extended version). CoRR Simon Fowler, Vashti Galpin, James Cheney
2022	B	`conf`	Language-Integrated Query for Temporal Data. GPCE Simon Fowler, Vashti Galpin, James Cheney
2022	C	`conf`	Measuring Discord Among Multidimensional Data Sources. DOLAP Alberto Abelló, James Cheney
2022	C	`conf`	Nominal Matching Logic. PPDP James Cheney, Maribel Fernández
2022	J	`jnl`	Nominal Matching Logic. CoRR James Cheney, Maribel Fernández
2022	C	`ed.`	Practical Aspects of Declarative Languages - 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings PADL James Cheney, Simona Perri
2022	J	`jnl`	Strongly-Normalizing Higher-Order Relational Queries. Log. Methods Comput. Sci. Wilmer Ricciotti, James Cheney
2021	J	`jnl`	A Rule Mining-Based Advanced Persistent Threats Detection System. CoRR Sidahmed Benabderrahmane, Ghita Berrada, James Cheney, Petko Valtchev
2021	A*	`conf`	A Rule Mining-based Advanced Persistent Threats Detection System. IJCAI Sidahmed Benabderrahmane, Ghita Berrada, James Cheney, Petko Valtchev
2021	J	`jnl`	A Typed Slicing Compilation of the Polymorphic RPC Calculus. CoRR Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
2021	C	`conf`	A Typed Slicing Compilation of the Polymorphic RPC calculus. PPDP Kwanghoon Choi, James Cheney, Sam Lindley, Bob Reynders
2021	—	`conf`	Comprehending nulls. DBPL James Cheney, Wilmer Ricciotti
2021	J	`jnl`	Comprehending nulls. CoRR James Cheney, Wilmer Ricciotti
2021	J	`jnl`	Cross-tier Web Programming for Curated Databases: a Case Study. Int. J. Digit. Curation Simon Fowler, Simon D. Harding, Joanna L. Sharman, James Cheney
2021	—	`conf`	Curating Covid-19 Data in Links. IPAW Vashti Galpin, James Cheney
2021	J	`jnl`	Curating Covid-19 data in Links. CoRR Vashti Galpin, James Cheney
2021	J	`jnl`	Data provenance, curation and quality in metrology. CoRR James Cheney, Adriane Chapman, Joy Davidson, Alistair Forbes
2021	J	`jnl`	One Down, 699 to Go: or, synthesising compositional desugarings. CoRR Sándor Bartha, James Cheney, Vaishak Belle
2021	J	`jnl`	One down, 699 to go: or, synthesising compositional desugarings. Proc. ACM Program. Lang. Sándor Bartha, James Cheney, Vaishak Belle
2021	—	`conf`	Provenance expressiveness benchmarking on non-deterministic executions. TaPP Sheung Chi Chan, James Cheney, Pramod Bhatotia
2021	A	`conf`	Query Lifting - Language-integrated query for heterogeneous nested collections. ESOP Wilmer Ricciotti, James Cheney
2021	J	`jnl`	Query Lifting: Language-integrated query for heterogeneous nested collections. CoRR Wilmer Ricciotti, James Cheney
2020	J	`jnl`	A Formalization of SQL with Nulls. CoRR Wilmer Ricciotti, James Cheney
2020	J	`jnl`	A baseline for unsupervised advanced persistent threat detection in system-level provenance. Future Gener. Comput. Syst. Ghita Berrada, James Cheney, Sidahmed Benabderrahmane, William Maxwell, Himan Mookherjee, Alec Theriault, Ryan Wright
2020	J	`jnl`	A polymorphic RPC calculus. Sci. Comput. Program. Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
2020	J	`jnl`	Categorical anomaly detection in heterogeneous data using minimum description length clustering. CoRR James Cheney, Xavier Gombau, Ghita Berrada, Sidahmed Benabderrahmane
2020	J	`jnl`	Cross-tier Web Programming for Curated Databases: a Case Study. Int. J. Digit. Curation Simon Fowler, Simon D. Harding, Joanna L. Sharman, James Cheney
2020	J	`jnl`	Cross-tier web programming for curated databases: A case study. CoRR Simon Fowler, Simon D. Harding, Joanna L. Sharman, James Cheney
2020	C	`conf`	Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming. PADL Sheung Chi Chan, James Cheney
2020	J	`jnl`	FreezeML: Complete and Easy Type Inference for First-Class Polymorphism. CoRR Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates
2020	A*	`conf`	FreezeML: complete and easy type inference for first-class polymorphism. PLDI Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates
2020	—	`conf`	Integrity Checking and Abnormality Detection of Provenance Records. TaPP Sheung Chi Chan, Ashish Gehani, Hassaan Irshad, James Cheney
2020	J	`jnl`	Language-Integrated Updatable Views (Extended version). CoRR Rudi Horn, Simon Fowler, James Cheney
2020	B	`conf`	Strongly Normalizing Higher-Order Relational Queries. FSCD Wilmer Ricciotti, James Cheney
2020	J	`jnl`	Strongly-Normalizing Higher-Order Relational Queries. CoRR Wilmer Ricciotti, James Cheney
2020	—	`conf`	VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems. GCM@STAF Nils Weidmann, Anthony Anjorin, James Cheney
2019	J	`jnl`	A Polymorphic RPC Calculus. CoRR Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley
2019	J	`jnl`	A baseline for unsupervised advanced persistent threat detection in system-level provenance. CoRR Ghita Berrada, Sidahmed Benabderrahmane, James Cheney, William Maxwell, Himan Mookherjee, Alec Theriault, Ryan Wright
2019	—	`conf`	Aggregating unsupervised provenance anomaly detectors. TaPP Ghita Berrada, James Cheney
2019	J	`jnl`	Flexible graph matching and graph edit distance using answer set programming. CoRR Sheung Chi Chan, James Cheney
2019	—	`conf`	Language-integrated provenance by trace analysis. DBPL Stefan Fehrenbach, James Cheney
2019	J	`jnl`	Language-integrated provenance by trace analysis. CoRR Stefan Fehrenbach, James Cheney
2019	—	`conf`	Language-integrated updatable views. IFL Rudi Horn, Simon Fowler, James Cheney
2019	—	`conf`	Mixing set and bag semantics. DBPL Wilmer Ricciotti, James Cheney
2019	J	`jnl`	Mixing set and bag semantics. CoRR Wilmer Ricciotti, James Cheney
2019	—	`ed.`	Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia, PA, USA, June 4, 2019. Bx@PLW James Cheney, Hsiang-Shang Ko
2019	A	`conf`	ProvMark: A Provenance Expressiveness Benchmarking System. Middleware Sheung Chi Chan, James Cheney, Pramod Bhatotia, Thomas F. J.-M. Pasquier, Ashish Gehani, Hassaan Irshad, Lucian Carata, Margo I. Seltzer
2019	J	`jnl`	ProvMark: A Provenance Expressiveness Benchmarking System. CoRR Sheung Chi Chan, James Cheney, Pramod Bhatotia, Thomas F. J.-M. Pasquier, Ashish Gehani, Hassaan Irshad, Lucian Carata, Margo I. Seltzer
2019	—	`conf`	Provenance Meets Bidirectional Transformations. TaPP Anthony Anjorin, James Cheney
2019	B	`conf`	Towards Meta-interpretive Learning of Programming Language Semantics. ILP Sándor Bartha, James Cheney
2019	J	`jnl`	Towards meta-interpretive learning of programming language semantics. CoRR Sándor Bartha, James Cheney
2019	J	`jnl`	TryLinks: An interactive tutorial system for a cross-tier Web programming language. CoRR Junao Wu, Arek Mikolajczak, James Cheney
2019	—	`conf`	TryLinks: an interactive tutorial system for a cross-tier web programming language. Programming Junao Wu, Arek Mikolajczak, James Cheney
2019	B	`conf`	Verified Self-Explaining Computation. MPC Jan Stolarek, James Cheney
2019	J	`jnl`	Verified Self-Explaining Computation. CoRR Jan Stolarek, James Cheney
2018	C	`conf`	Explicit Auditing. ICTAC Wilmer Ricciotti, James Cheney
2018	J	`jnl`	Explicit Auditing. CoRR Wilmer Ricciotti, James Cheney
2018	J	`jnl`	Incremental Relational Lenses. CoRR Rudi Horn, Roly Perera, James Cheney
2018	J	`jnl`	Incremental relational lenses. Proc. ACM Program. Lang. Rudi Horn, Roly Perera, James Cheney
2018	J	`jnl`	Language-integrated provenance in Haskell. CoRR Jan Stolarek, James Cheney
2018	J	`jnl`	Language-integrated provenance in Haskell. Art Sci. Eng. Program. Jan Stolarek, James Cheney
2018	J	`jnl`	Language-integrated provenance. Sci. Comput. Program. Stefan Fehrenbach, James Cheney
2018	J	`jnl`	Proof-relevant π-calculus: a constructive account of concurrency and causality. Math. Struct. Comput. Sci. Roly Perera, James Cheney
2018	—	`ch.`	Provenance in Databases. Encyclopedia of Database Systems (2nd ed.) James Cheney, Wang-Chiew Tan
2018	J	`jnl`	Special Issue on Programming Languages for Big Data Editorial. J. Funct. Program. James Cheney, Torsten Grust
2017	—	`conf`	Expressiveness Benchmarking for System-Level Provenance. TaPP Sheung Chi Chan, Ashish Gehani, James Cheney, Ripduman Sohan, Hassaan Irshad
2017	J	`jnl`	Guest Editorial: The Provenance of Online Data. ACM Trans. Internet Techn. Adriane Chapman, James Cheney, Simon Miles
2017	J	`jnl`	Imperative Functional Programs that Explain their Work. CoRR Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
2017	J	`jnl`	Imperative functional programs that explain their work. Proc. ACM Program. Lang. Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney
2017	J	`jnl`	On principles of Least Change and Least Surprise for bidirectional transformations. J. Object Technol. James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
2017	B	`conf`	Strongly Normalizing Audited Computation. CSL Wilmer Ricciotti, James Cheney
2017	J	`jnl`	Strongly Normalizing Audited Computation. CoRR Wilmer Ricciotti, James Cheney
2017	A	`conf`	muPuppet: A Declarative Subset of the Puppet Configuration Language. ECOOP Weili Fu, Roly Perera, Paul Anderson, James Cheney
2017	J	`jnl`	αCheck: A mechanized metatheory model checker. Theory Pract. Log. Program. James Cheney, Alberto Momigliano
2017	J	`jnl`	αCheck: A mechanized metatheory model-checker. CoRR James Cheney, Alberto Momigliano
2016	J	`jnl`	A simple sequent calculus for nominal logic. J. Log. Comput. James Cheney
2016	J	`jnl`	Advances in Property-Based Testing for $α$Prolog. CoRR James Cheney, Alberto Momigliano, Matteo Pessina
2016	—	`conf`	Advances in Property-Based Testing for \alpha Prolog. TAP@STAF James Cheney, Alberto Momigliano, Matteo Pessina
2016	J	`jnl`	An Operational Semantics for a Fragment of the Puppet Configuration Language. CoRR Weili Fu, James Cheney, Paul Anderson
2016	B	`conf`	Causally Consistent Dynamic Slicing. CONCUR Roly Perera, Deepak Garg, James Cheney
2016	J	`jnl`	Causally consistent dynamic slicing. CoRR Roly Perera, Deepak Garg, James Cheney
2016	—	`conf`	Introduction to Bidirectional Transformations. Bidirectional Transformations Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
2016	C	`conf`	Language-integrated provenance. PPDP Stefan Fehrenbach, James Cheney
2016	J	`jnl`	Language-integrated provenance. CoRR Stefan Fehrenbach, James Cheney
2016	C	`ed.`	Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 PPDP James Cheney, Germán Vidal
2016	J	`jnl`	Proof-relevant pi-calculus. CoRR Roly Perera, James Cheney
2016	—	`conf`	Provenance Segmentation. TaPP Rui Abreu, Dave Archer, Erin Chapman, James Cheney, Hoda Eldardiry, Adrià Gascón
2016	—	`conf`	Reflections on Monadic Lenses. A List of Successes That Can Change the World Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
2016	J	`jnl`	Reflections on Monadic Lenses. CoRR Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
2015	—	`conf`	Language-integrated Provenance in Links. TaPP Stefan Fehrenbach, James Cheney
2015	B	`conf`	Notions of Bidirectional Computation and Entangled State Monads. MPC Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
2015	J	`jnl`	Notions of bidirectional computation and entangled state monads. CoRR Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
2015	—	`ed.`	Proceedings of the 15th Symposium on Database Programming Languages, Pittsburgh, PA, USA, October 25-30, 2015 DBPL James Cheney, Thomas Neumann
2015	—	`conf`	Proof-relevant pi-calculus. LFMTP Roly Perera, James Cheney
2015	J	`jnl`	The rationale of PROV. J. Web Semant. Luc Moreau, Paul Groth, James Cheney, Timothy Lebo, Simon Miles
2015	—	`conf`	Towards a Principle of Least Surprise for Bidirectional Transformations. Bx@STAF James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
2015	J	`jnl`	YesWorkflow: A User-Oriented, Language-Independent Tool for Recovering Workflow Information from Scripts. CoRR Timothy M. McPhillips, Tianhong Song, Tyler Kolisnik, Steve Aulenbach, Khalid Belhajjame, R. 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
2014	—	`conf`	An Analytical Survey of Provenance Sanitization. IPAW James Cheney, Roly Perera
2014	J	`jnl`	An Analytical Survey of Provenance Sanitization. CoRR James Cheney, Roly Perera
2014	C	`conf`	Database Queries that Explain their Work. PPDP James Cheney, Amal Ahmed, Umut A. Acar
2014	J	`jnl`	Database Queries that Explain their Work. CoRR James Cheney, Amal Ahmed, Umut A. Acar
2014	J	`jnl`	Dynamic Provenance for SPARQL Update. CoRR Harry Halpin, James Cheney
2014	—	`conf`	Dynamic Provenance for SPARQL Updates. ISWC (1) Harry Halpin, James Cheney
2014	—	`conf`	Dynamic provenance for SPARQL updates using named graphs. WWW (Companion Volume) Harry Halpin, James Cheney
2014	C	`conf`	Effective quotation: relating approaches to language-integrated query. PEPM James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler
2014	—	`conf`	Entangled State Monads. EDBT/ICDT Workshops James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh
2014	J	`jnl`	Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511). Dagstuhl Reports James Cheney, Torsten Grust, Dimitrios Vytiniotis
2014	J	`jnl`	Query shredding: Efficient relational evaluation of queries over nested multisets (extended version). CoRR James Cheney, Sam Lindley, Philip Wadler
2014	—	`conf`	Query shredding: efficient relational evaluation of queries over nested multisets. SIGMOD Conference James Cheney, Sam Lindley, Philip Wadler
2014	—	`conf`	Towards a Repository of Bx Examples. EDBT/ICDT Workshops James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons
2013	J	`jnl`	A Core Calculus for Provenance. CoRR Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
2013	J	`jnl`	A core calculus for provenance. J. Comput. Secur. Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
2013	A	`conf`	A practical theory of language-integrated query. ICFP James Cheney, Sam Lindley, Philip Wadler
2013	J	`jnl`	A simple sequent calculus for nominal logic. CoRR James Cheney
2013	J	`jnl`	Effective Quotation. CoRR James Cheney, Sam Lindley, Gabriel Radanne, Philip Wadler
2013	J	`jnl`	Lenses for Web Data. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Raghu Rajkumar, Nate Foster, Sam Lindley, James Cheney
2013	—	`conf`	Provenance for seismological processing pipelines in a distributed streaming workflow. EDBT/ICDT Workshops Alessandro Spinuso, James Cheney, Malcolm P. Atkinson
2013	J	`jnl`	Revisiting "forward node-selecting queries over trees". ACM Trans. Database Syst. James Cheney
2013	—	`conf`	Semantics and provenance for processing element composition in dispel workflows. WORKS@SC Eric Griffis, Paul Martin, James Cheney
2013	—	`conf`	Static Enforceability of XPath-Based Access Control Policies. DBPL James Cheney
2013	B	`conf`	The W3C PROV family of specifications for modelling provenance metadata. EDBT Paolo Missier, Khalid Belhajjame, James Cheney
2013	—	`conf`	Toward a Theory of Self-explaining Computation. In Search of Elegance in the Theory and Practice of Computation James Cheney, Umut A. Acar, Roly Perera
2012	—	`conf`	A Core Calculus for Provenance. POST Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera
2012	J	`jnl`	A dependent nominal type theory Log. Methods Comput. Sci. James Cheney
2012	J	`jnl`	Consistency and repair for XML write-access control policies. VLDB J. Loreto Bravo, James Cheney, Irini Fundulaki, Ricardo Segovia
2012	J	`jnl`	Editorial - Special issue dedicated to ICFP 2010. J. Funct. Program. Umut A. Acar, James Cheney, Stephanie Weirich
2012	J	`jnl`	Formalizing Adequacy: A Case Study for Higher-order Abstract Syntax. J. Autom. Reason. James Cheney, Michael Norrish, René Vestergaard
2012	A	`conf`	Functional programs that explain their work. ICFP Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy
2012	—	`conf`	Hierarchical Models of Provenance. TaPP Peter Buneman, James Cheney, Egor V. Kostylev
2012	J	`jnl`	Principles of Provenance (Dagstuhl Seminar 12091). Dagstuhl Reports James Cheney, Anthony Finkelstein, Bertram Ludäscher, Stijn Vansummeren
2012	J	`jnl`	Requirements for Provenance on the Web. Int. J. Digit. Curation Paul Groth, Yolanda Gil, James Cheney, Simon Miles
2012	—	`conf`	Row-based effect types for database integration. TLDI Sam Lindley, James Cheney
2012	—	`conf`	Toward Provenance-Based Security for Configuration Languages. TaPP Paul Anderson, James Cheney
2011	A	`conf`	A Formal Framework for Provenance Security. CSF James Cheney
2011	—	`conf`	DBWiki: a structured wiki for curated data and collaborative data management. SIGMOD Conference Peter Buneman, James Cheney, Sam Lindley, Heiko Müller
2011	—	`conf`	Dynamic Provenance for SPARQL Updates Using Named Graphs. TaPP Harry Halpin, James Cheney
2011	—	`conf`	Higher-Order Unification for the λ UNIF Ben Kavanagh, James Cheney
2011	—	`conf`	Is provenance logical? LID James Cheney
2011	B	`conf`	Mechanizing the Metatheory of mini-XQuery. CPP James Cheney, Christian Urban
2011	J	`jnl`	Mechanizing the metatheory of LF. ACM Trans. Comput. Log. Christian Urban, James Cheney, Stefan Berghofer
2011	J	`jnl`	Provenance as dependency analysis. Math. Struct. Comput. Sci. James Cheney, Amal Ahmed, Umut A. Acar
2011	A	`conf`	Satisfiability algorithms for conjunctive queries over trees. ICDT James Cheney
2011	J	`jnl`	The database Wiki project: a general-purpose platform for data curation and collaboration. SIGMOD Rec. Peter Buneman, James Cheney, Sam Lindley, Heiko Müller
2011	—	`conf`	Using Links to prototype a Database Wiki. DBPL James Cheney, Sam Lindley, Heiko Müller
2010	—	`conf`	A Graph Model of Data and Workflow Provenance. TaPP Umut A. Acar, Peter Buneman, James Cheney, Jan Van den Bussche, Natalia Kwasnikowska, Stijn Vansummeren
2010	—	`conf`	Causality and the Semantics of Provenance DCM James Cheney
2010	J	`jnl`	Causality and the semantics of provenance CoRR James Cheney
2010	J	`jnl`	Destabilizers and Independence of XML Updates. Proc. VLDB Endow. Michael Benedikt, James Cheney
2010	J	`jnl`	Equivariant Unification. J. Autom. Reason. James Cheney
2009	A	`conf`	Estimating the distribution and propagation of genetic programming building blocks through tree compression. GECCO Robert I. McKay, Xuan Hoai Nguyen, James Cheney, Minhyeok Kim, Naoki Mori, Tuan Hao Hoang
2009	—	`ed.`	First Workshop on the Theory and Practice of Provenance, TaPP'09, San Francisco, CA, USA, February 23, 2009, Proceedings TaPP James Cheney
2009	—	`ed.`	Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP '09, McGill University, Montreal, Canada, August 2, 2009 LFMTP James Cheney, Amy P. Felty
2009	J	`jnl`	Provenance in Databases: Why, How, and Where. Found. Trends Databases James Cheney, Laura Chiticariu, Wang Chiew Tan
2009	—	`conf`	Provenance: a future history. OOPSLA Companion James Cheney, Stephen Chong, Nate Foster, Margo I. Seltzer, Stijn Vansummeren
2009	J	`jnl`	Schema-Based Independence Analysis for XML Updates. Proc. VLDB Endow. Michael Benedikt, James Cheney
2009	—	`conf`	Semantics, Types and Effects for XML Updates. DBPL Michael Benedikt, James Cheney
2009	J	`jnl`	Workshop on theory and practice of provenance event report. SIGMOD Rec. James Cheney
2008	—	`conf`	A Simple Nominal Type Theory. LFMTP@LICS James Cheney
2008	B	`conf`	ACCOn: checking consistency of XML write-access control policies. EDBT Loreto Bravo, James Cheney, Irini Fundulaki
2008	A*	`conf`	Curated databases. PODS Peter Buneman, James Cheney, Wang Chiew Tan, Stijn Vansummeren
2008	A	`conf`	FLUX: functional updates for XML. ICFP James Cheney
2008	J	`jnl`	Flux: FunctionaL Updates for XML (extended report) CoRR James Cheney
2008	J	`jnl`	Mechanizing the Metatheory of LF CoRR Christian Urban, James Cheney, Stefan Berghofer
2008	A*	`conf`	Mechanizing the Metatheory of LF. LICS Christian Urban, James Cheney, Stefan Berghofer
2008	J	`jnl`	Nominal logic programming. ACM Trans. Program. Lang. Syst. James Cheney, Christian Urban
2008	J	`jnl`	On the expressiveness of implicit provenance in query and update languages. ACM Trans. Database Syst. Peter Buneman, James Cheney, Stijn Vansummeren
2008	J	`jnl`	Provenance Traces CoRR James Cheney, Umut A. Acar, Amal Ahmed
2008	J	`jnl`	Regular Expression Subtyping for XML Query and Update Languages CoRR James Cheney
2008	A	`conf`	Regular Expression Subtyping for XML Query and Update Languages. ESOP James Cheney
2008	J	`jnl`	Report on the Principles of Provenance Workshop. SIGMOD Rec. James Cheney, Peter Buneman, Bertram Ludäscher
2008	—	`conf`	Resource bound analysis for database queries. PLAS James Cheney, Morten Dahl
2007	—	`conf`	Lux: A Lightweight, Statically Typed XML Update Language. PLAN-X James Cheney
2007	C	`conf`	Mechanized metatheory model-checking. PPDP James Cheney, Alberto Momigliano
2007	A	`conf`	On the Expressiveness of Implicit Provenance in Query and Update Languages. ICDT Peter Buneman, James Cheney, Stijn Vansummeren
2007	J	`jnl`	Program Slicing and Data Provenance. IEEE Data Eng. Bull. James Cheney
2007	J	`jnl`	Provenance as Dependency Analysis CoRR James Cheney, Amal Ahmed, Umut A. Acar
2007	—	`conf`	Provenance as Dependency Analysis. DBPL James Cheney, Amal Ahmed, Umut A. Acar
2007	J	`jnl`	Recording Provenance for SQL Queries and Updates. IEEE Data Eng. Bull. Stijn Vansummeren, James Cheney
2007	J	`jnl`	Repairing Inconsistent XML Write-Access Control Policies CoRR Loreto Bravo, James Cheney, Irini Fundulaki
2007	—	`conf`	Repairing Inconsistent XML Write-Access Control Policies. DBPL Loreto Bravo, James Cheney, Irini Fundulaki
2006	—	`conf`	A Provenance Model for Manually Curated Data. IPAW Peter Buneman, Adriane Chapman, James Cheney, Stijn Vansummeren
2006	J	`jnl`	Completeness and Herbrand theorems for nominal logic. J. Symb. Log. James Cheney
2006	J	`jnl`	Nominal Logic Programming CoRR James Cheney, Christian Urban
2006	—	`conf`	Provenance management in curated databases. SIGMOD Conference Peter Buneman, Adriane Chapman, James Cheney
2006	B	`conf`	The Semantics of Nominal Logic Programs. ICLP James Cheney
2006	B	`conf`	Tradeoffs in XML Database Compression. DCC James Cheney
2005	B	`conf`	A Simpler Proof Theory for Nominal Logic. FoSSaCS James Cheney
2005	—	`conf`	An Empirical Evaluation of Simple DTD-Conscious Compression Techniques. WebDB James Cheney
2005	—	`conf`	Avoiding Equivariance in Alpha-Prolog. TLCA Christian Urban, James Cheney
2005	—	`conf`	Equivariant Unification. RTA James Cheney
2005	J	`jnl`	Logic Column 14: Nominal Logic and Abstract Syntax CoRR James Cheney
2005	A	`conf`	Scrap your nameplate: (functional pearl). ICFP James Cheney
2005	—	`conf`	Toward a general theory of names: binding and scope. MERLIN James Cheney
2004	A*	`conf`	A Sequent Calculus for Nominal Logic. LICS Murdoch Gabbay, James Cheney
2004	—	`—`	Nominal Logic Programming. James Cheney
2004	A*	`conf`	The Complexity of Equivariant Unification. ICALP James Cheney
2004	B	`conf`	alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence. ICLP James Cheney, Christian Urban
2002	C	`conf`	A lightweight implementation of generics and dynamics. Haskell James Cheney, Ralf Hinze
2002	—	`conf`	Cyclone: A Safe Dialect of C. USENIX ATC, General Track Trevor Jim, J. Gregory Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang
2002	A*	`conf`	Region-Based Memory Management in Cyclone. PLDI Dan Grossman, J. Gregory Morrisett, Trevor Jim, Michael W. Hicks, Yanling Wang, James Cheney
2001	B	`conf`	Compressing XML with Multiplexed Hierarchical PPM Models. Data Compression Conference James Cheney
2001	—	`conf`	Towards a Theory of Information Preservation. ECDL James Cheney, Carl Lagoze, Peter Botticelli
2000	B	`conf`	Statistical Models for Term Compression. Data Compression Conference James Cheney