James Cheney : Presentations



Home

Publications

Presentations

Programs

Presentations

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

Modified