Skip to main content

James Cheney : Presentations


Home

Publications

Presentations

Programs

Presentations

  1. Flexible graph matching and graph edit distance using answer set programming , PADL 2020, January 20, 2020
  2. What is provenance (causal explanation, traceability, lineage, ...)?, Universitat Politècnica de Catalunya, June 21, 2019
  3. Aggregating unsupervised provenance anomaly detectors, TaPP 2019, June 3, 2019
  4. Incremental Relational Lenses, University College London PPLV seminar, March 14, 2019
  5. What is provenance and why should I care?, Dagstuhl Seminar on Multidirectional transformations, December 7, 2018
  6. Language-based incremental computation, Workshop on Incremental re-computation, provenance, and beyond, July 12, 2018
  7. Principles of Provenance: We (still) need some, TaPP 2018, July 11, 2018
  8. Provenance Expressiveness Benchmarking, University of Southampton, May 22, 2018
  9. Language, Data and Security, FMATS, Microsoft Research, Cambridge, September 22, 2017
  10. Monads and Lenses, PL seminar, University of St. Andrews, July 17, 2017
  11. Language-integrated query: state of the art and open problems, Shonan Seminar on Language Integrated Queries, May 29, 2017
  12. Monads and Lenses, Logic & Semantics Seminar, University of Cambridge, April 7, 2017
  13. Classes, Jim, but not as we know them, LFCS Lab Lunch, January 17, 2017
  14. Programming languages for data science, Alan Turing Institute Systems 2.0 Workshop, August 3, 2016
  15. Provenance Segmentation, TaPP 2016, Washington, DC, June 9, 2016
  16. Everything is awesome! Or, why "data science" is being built on quicksand and what we can do about it, Informatics Jamboree, May 27, 2016
  17. Language-integrated provenance in Links, TaPP 2015, Edinburgh, July 9, 2015
  18. Teaching programming language design, IFIP Working Group 2.16 (Programming Language Design), April 21, 2015
  19. Provenance and Security, AppGuarden lunch, Edinburgh, March 20, 2015
  20. FSharpComposableQuery overview & demo, Pervasive Parallelism Lunch, Edinburgh, March 4, 2015
  21. From LINQ to QDSL, Dagstuhl Seminar on Programming Languages for Big Data, December 16, 2014
  22. FSharpComposableQuery overview & demo, F#unctional Programming Meetup, London, September 11, 2014
  23. Database Queries that Explain their Work, PPDP 2014, Canterbury, Kent, September 10, 2014
  24. Bisimulation and Coinduction for Dummies, Programming Languages Interest Group, Edinburgh. November 10, 2014. (slides)
  25. Query Shredding: Efficient relational evaluation of queries over nested multisets, SIGMOD 2014, Snowbird, UT, June 25, 2014
  26. Entangled State Monads, BX 2014, Athens, Greece, March 28, 2014
  27. Toward a repository of BX examples, BX 2014, Athens, Greece, March 28, 2014
  28. Effective Quotation: Comparing approaches to language-integrated query, PEPM 2014, January 2014
  29. Language-integrated query using comprehension syntax: state of the art, open problems, and work in progress, DCP 2014, January 25, 2014
  30. Inside the sausage factory, or, what it's like to serve on a standards committee (and could it be better), LFCS Lab Lunch, January 14, 2014
  31. Toward a theory of self-explaining computation, Buneman Festschrift Workshop, October 29, 2013
  32. Nominal logic programming, Dagstuhl Seminar on Nominal Computation Theory, October 15, 2013
  33. Static enforceability of XPath-based access control policies, DBPL 2013, August 30, 2013
  34. Tutorial: The W3C PROV family of specifications for modelling provenance metadata, part 2: Constraints and inferences, EDBT 2013, Genoa, Italy, March 20, 2013
  35. Provenance and Security, Workshop on Formal Methods and Tools for Security, Microsoft Research, Cambridge, February 4, 2013
  36. Hierarchical models of provenance, TaPP 2012, June 15, 2012
  37. Toward provenance-based security for configuration languages, TaPP 2012, June 14, 2012
  38. Provenance for Data-Intensive Research, University of Edinburgh, April 5, 2012
  39. A core calculus for provenance, POST 2012, Tallinn, Estonia, March 27, 2012
  40. Provenance and programming languages, Dagstuhl Seminar on Principles of Provenance, February 27, 2012
  41. Mechanizing the metatheory of XQuery, CPP 2011, Kenting, Taiwan
  42. Mechanizing the metatheory of XQuery, King's College London, November 28, 2011
  43. Mechanizing metathery using nominal logic, University of Birmingham, November 9, 2011
  44. Is provenance logical? St Andrews University, September 21, 2011
  45. Prototyping a Database Wiki in Links, DBPL 2011, Seattle, Washington, August 29, 2011.
  46. A formal foundation for provenance security, CSF 2011, Abbaye des Vaux de Cernay, France, June 28, 2011.
  47. Dynamic provenance for SPARQL updates using named graphs, TaPP 2011, Heraklion, Crete, June 21, 2011.
  48. Mechanized Verification and Compilation by Rewriting, invited talk, COBRA 2011, May 29, 2011.
  49. Is provenance logical?, Invited talk, Logic in Databases workshop 2011, Uppsala, Sweden, March 25, 2011.
  50. Satisfiability algorithms for conjunctive queries over trees, ICDT 2011, Uppsala, Sweden, March 22, 2011.
  51. Adventures in XML updates, University of Birmingham, February 4, 2011. (slides)
  52. Adventures in XML updates, University of Leicester, December 8, 2010.
  53. Using a database wiki for biological database curation, NETTAB 2010, November 30, 2010.
  54. Fancy types for provenance, SPLS/Fun in the Afternoon, November 24, 2010. (slides)
  55. To protect and share: research issues for Web database security, Invited talk, Workshop on Trust and Security 2010, October 11, 2010.
  56. Adventures in XML updates, Cornell University, October 1, 2010.
  57. Mechanized metatheory: ready for prime time?, WMM 2010, September 25, 2010.
  58. Destabilizers and Independence of XML Updates, VLDB 2010, September 16, 2010.
  59. Causality and the semantics of provenance, DCM 2010, Edinburgh, UK (slides)
  60. A wiki everyone can use to store, organize, manage and exchange data, RADICAL workshop, MSR Cambridge, May 11, 2010 (slides)
  61. Databases + Wikis = Curated Databases, BioData day, University of Edinburgh (slides)
  62. Adventures in XML Updates , University of Cambridge, March 26, 2010
  63. A graph model for data and workflow provenance, TAPP 2010, San Jose, CA (slides)
  64. XML updates: semantics, types and analysis, University of Concepcion, Chile, January 7, 2010
  65. A satisfying approach to path expressions, LFCS Lab Lunch, November 17, 2009
  66. Provenance: A future history, Onward 2009, Orlando, FL, October 28, 2009
  67. Provenance, Traces and Slicing, University of Hasselt, Belgium, September 8, 2009
  68. Semantics, types and effects for XML updates, DBPL 2009, Lyon, France, August 24, 2009
  69. Schema-based independence analysis for XML updates, VLDB 2009, Lyon, France, August 25, 2009
  70. Principles of Provenance, JAIST, Ishikawa, Japan, July 23, 2009.
  71. The future of provenance, eScience Institute Theme Program closing lecture, May 15, 2009 (slides)
  72. Types, effects and schema alteration for XML Updates, LFCS Internal Seminar, May 1, 2009
  73. Principles of Provenance, CASPAR/BELIEF-II workshop on provenance, Athens, Greece, April 6, 2009.
  74. FLUX: Functional Updates for XML, International Conference on Functional Programming, September 22, 2008
  75. A simple nominal type theory, International Workshop on Logical Frameworks and Metalanguages, Theory and Practice, June 23, 2008.
  76. Data Provenance as Dependency Analysis, POP Seminar, Carnegie Mellon University, April 24, 2008.
  77. Principles of Provenance, eScience Institute Theme Program opening lecture, April 15, 2008. (slides)
  78. Regular Expression Subtyping for XML Query and Update Languages, European Symposium on Programming, March 31, 2008
  79. Language-based foundations for data provenance, University of Colorado, Boulder, colloquium, March 6, 2008
  80. Mechanizing the Metatheory of LF, DREAM seminar, Edinburgh, January 18, 2008
  81. Provenance in Scientific Databases, University of California, Davis, December 6, 2007
  82. Typechecking XML updates, Fun in the Afternoon IV, York University, November 22, 2007. (slides)
  83. Provenance as Dependency Analysis, DBPL 2007, Vienna, Austria, September 24, 2007
  84. Mechanized Metatheory Model-Checking, PPDP 2007, Wroclaw, Poland, July 14, 2007
  85. Reasoning and programming with nominal logic, Abstraction, Substitution and Naming in Computer Science, ICMS Workshop, May 27, 2007. (slides)
  86. Nominal logic programming, Toyota Technological Institute, Chicago, April 16, 2007
  87. Provenance in Scientific Databases, University of Chicago, April 16, 2007
  88. Provenance in Scientific Databases, Rensselaer Polytechnic Institute, April 13, 2007
  89. Provenance in Scientific Databases, Rochester Institute of Technology, April 11, 2007
  90. Provenance in Scientific Databases, California Institute of Technology, March 29, 2007
  91. Provenance in Scientific Databases, University of Kentucky, March 5, 2007
  92. A logical approach to data provenance, Logic and Semantics seminar, University of Cambridge, November 17, 2006
  93. Mechanized Metatheory Model-Checking, Fun in the Afternoon I, Oxford University, November 16, 2006
  94. Mechanized Metatheory Model-Checking, Scottish Programming Languages Seminar, University of Glasgow, October 17, 2006
  95. Mechanized Metatheory Model-Checking, WMM 2006, Portland, OR, September 21, 2006 (slides)
  96. The Semantics of Nominal Logic Programs, ICLP 2006, Seattle, WA, August 19, 2006 (slides)
  97. A Provenance Model for Manually Curated Data, IPAW 2006, Chicago, IL, May 4, 2006 (slides)
  98. Tradeoffs in XML Compression, 2006 Data Compression Conference, Snowbird, Utah, March 30, 2006 (slides)
  99. Tradeoffs in XML Compression, Database Seminar, University of Edinburgh, March 21, 2006 (slides)
  100. A Process Algebra Approach to Provenance, LFCS Lab Lunch, Edinburgh, UK, February 7, 2006 (slides)
  101. A Nominal Logical Framework, Logic and Semantics Club, LFCS, University of Edinburgh, Edinburgh, UK, January 20, 2006 (slides)
  102. Towards secure mobile computation for (astronomical) data centres (joint work with Bob Mann), SDMIV2, Edinburgh, UK, December 14, 2005 (slides)
  103. Towards a General Theory of Names, Binding and Scope, MERLIN 2005, Tallinn, Estonia, September 30, 2005 (slides)
  104. Scrap your Nameplate (Functional Pearl), ICFP 2005, Tallinn, Estonia, September 27, 2005 (slides)
  105. An Empirical Evaluation of Simple DTD-Conscious Compression Techniques, WebDB 2005, Baltimore, MD, June 17, 2005 (slides)
  106. Logic Programming with Names and Binding, Logic and Semantics Seminar, University of Cambridge, May 6, 2005 (slides)
  107. Generic Capture-Avoiding Substitution, Binding Challenges Workshop, JAIST, April 24, 2005 (slides)
  108. Relating Nominal and Higher-Order Pattern Unification, UNIF 2005, Nara, Japan, April 22, 2005 (slides)
  109. Equivariant Unification, RTA 2005, Nara, Japan , April 19, 2005 (slides)
  110. A Simpler Proof Theory for Nominal Logic, FOSSACS 2005, Edinburgh, UK, April 6, 2005 (slides)
  111. XML Compression, Edinburgh Database Seminar, November 8, 2004
  112. A Formal Model of Digital Preservation, Edinburgh Database Seminar, November 8, 2004
  113. Logic Programming with Names and Binding, LFCS Seminar, September 28, 2004 (slides)
  114. Alpha-Prolog: A Logic Programming Language with Names, Binding, and Alpha-Equivalence, ICLP 2004, St. Malo, France, September 7, 2004 (slides)
  115. Nominal Logic Programming, B exam/PhD defense, Cornell University, July 26, 2004
  116. The Complexity of Equivariant Unification, ICALP 2004, Turku, Finland, July 15, 2004 (slides)
  117. Logic Programming with Names and Binding, New England Programming Languages Seminar, University of Vermont, June 4, 2004
  118. Logic Programming with Names and Binding, PL Club, University of Pennsylvania, May 24, 2004
  119. Logic Programming with Names and Binding, POP Seminar, Carnegie Mellon University, April 14, 2004
  120. Logic Programming with Names and Binding, Harvard University, March 22, 2004
  121. Names Binding and Nominal Logic, Logic Seminar, Mathematics Department, Cornell University, March 17, 2004
  122. Category Theory for Dummies (I), March 12, 2004 (slides)
  123. Fraenkel-Mostowski Set Theory, Logic Seminar, Mathematics Department, Cornell University, March 10, 2004
  124. Toward a Foundational Typed Assembly Language (presentation of a paper by Karl Crary), Languages & Compilers Seminar, Cornell University, October 21, 2003
  125. Typechecking ML using HM(X) (presentation of a draft chapter of ATTAPL), PLDG, September 26, 2003
  126. Alpha-Prolog a Fresh Approach to Logic Programming Modulo alpha-Equivalence, Unification Workshop (UNIF 2003), Valencia, Spain, June 8, 2003
  127. Towards a Quantum Programming Language (presentation of a paper by Peter Selinger), Quantum Reading Group, University of Cambridge, April 15, 2003
  128. Safe Low-level Languages, Logic and Semantics for Dummies group, University of Cambridge, March 14, 2003
  129. Beyond Linearly Typed Assembly Language, Semantics Lunch, University of Cambridge, March 10, 2003
  130. Local Reasoning, PLDG, November 8, 2002 (slides)
  131. A Lightweight Implementation of Generics and Dynamics in Haskell, Haskell Workshop, Pittsburgh, PA, October 3, 2002 (slides)
  132. Generics & Dynamics in Haskell, PLDG, September 27, 2002
  133. An Overview of XDuce, PLDG, February 1, 2002
  134. Towards a Theory of Information Preservation, ECDL 2001, Darmstadt, Germany, September 7, 2001
  135. Compressing XML using Multiplexed Hierarchical PPM Models, DCC 2001, Snowbird, UT, March 27, 2001 (slides)
  136. A Possible Solution to David Gale's Subset Take-away Problem, Theory Discussion Group, Cornell University, March 7, 2001
  137. Mathematical Models of Information Preservation (joint work with Bill Arms, Peter Botticelli, and Carl Lagoze), Information Science Seminar, Cornell University, December 14, 2000 (slides)
  138. Automata and Data Compression, Theory Discussion Group, Cornell University, November 29, 2000
  139. Programming Languages for Data Layout, Programming Languages Discussion Group, Cornell University, September 29, 2000
  140. Clustering Probability Distributions in Huffman Coding, Theory Discussion Group, Cornell University, May 10 2000
  141. Probability, Programming, and Type Theory, PRL Seminar, Cornell University, April 17, 2000 (slides)
  142. Statistical Models for Term Compression, Programming Languages Discussion Group, Cornell University, October 1999
  143. Extending the Lempel-Ziv 77 Algorithm from Strings to Terms, Theory Discussion Group, Cornell University, October 1998
  144. First-order Term Compression: Techniques and Applications, Master's thesis defense, Carnegie Mellon University, August 1998
Last modified: Fri Oct 16 13:28:32 BST 2020 Accessibility statement