Home

Publications

Presentations

Programs

Presentations

1. Is provenance logical?, Logic in Databases workshop 2011, March 25, 2011.
2. Satisfiability algorithms for conjunctive queries over trees, ICDT 2011, March 22, 2011.
3. Adventures in XML updates, University of Birmingham, February 4, 2010.
4. Adventures in XML updates, University of Leicester, December 8, 2010.
5. Using a database wiki for biological database curation, NETTAB 2010, November 30, 2010.
6. Fancy types for provenance, SPLS/Fun in the Afternoon, November 24, 2010. (slides)
7. To protect and share: research issues for Web database security, Workshop on Trust and Security 2010, October 11, 2010.
8. Adventures in XML updates, Cornell University, October 1, 2010.
9. Mechanized metatheory: ready for prime time?, WMM 2010, September 25, 2010.
10. Destabilizers and Independence of XML Updates, VLDB 2010, September 16, 2010.
11. Causality and the semantics of provenance, DCM 2010, Edinburgh, UK (slides)
12. A wiki everyone can use to store, organize, manage and exchange data, RADICAL workshop, MSR Cambridge, May 11, 2010 (slides)
13. Databases + Wikis = Curated Databases, BioData day, University of Edinburgh (slides)
14. Adventures in XML Updates , University of Cambridge, March 26, 2010
15. A graph model for data and workflow provenance, TAPP 2010, San Jose, CA (slides)
16. XML updates: semantics, types and analysis, University of Concepcion, Chile, January 7, 2010
17. A satisfying approach to path expressions, LFCS Lab Lunch, November 17, 2009
18. Provenance: A future history, Onward 2009, Orlando, FL, October 28, 2009
19. Provenance, Traces and Slicing, University of Hasselt, Belgium, September 8, 2009
20. Semantics, types and effects for XML updates, DBPL 2009, Lyon, France, August 24, 2009
21. Schema-based independence analysis for XML updates, VLDB 2009, Lyon, France, August 25, 2009
22. Principles of Provenance, JAIST, Ishikawa, Japan, July 23, 2009.
23. The future of provenance, eScience Institute Theme Program closing lecture, May 15, 2009 (slides)
24. Types, effects and schema alteration for XML Updates, LFCS Internal Seminar, May 1, 2009
25. Principles of Provenance, CASPAR/BELIEF-II workshop on provenance, Athens, Greece, April 6, 2009.
26. FLUX: Functional Updates for XML, International Conference on Functional Programming, September 22, 2008
27. A simple nominal type theory, International Workshop on Logical Frameworks and Metalanguages, Theory and Practice, June 23, 2008.
28. Data Provenance as Dependency Analysis, POP Seminar, Carnegie Mellon University, April 24, 2008.
29. Principles of Provenance, eScience Institute Theme Program opening lecture, April 15, 2008. (slides)
30. Regular Expression Subtyping for XML Query and Update Languages, European Symposium on Programming, March 31, 2008
31. Language-based foundations for data provenance, University of Colorado, Boulder, colloquium, March 6, 2008
32. Provenance in Scientific Databases, University of California, Davis, December 6, 2007
33. Typechecking XML updates, Fun in the Afternoon IV, York University, November 22, 2007. (slides)
34. Provenance as Dependency Analysis, DBPL 2007, Vienna, Austria, September 24, 2007
35. Mechanized Metatheory Model-Checking, PPDP 2007, Wroclaw, Poland, July 14, 2007
36. Reasoning and programming with nominal logic, Abstraction, Substitution and Naming in Computer Science, ICMS Workshop, May 27, 2007. (slides)
37. Nominal logic programming, Toyota Technological Institute, Chicago, April 16, 2007
38. Provenance in Scientific Databases, University of Chicago, April 16, 2007, April 16, 2007
39. Provenance in Scientific Databases, Rensselaer Polytechnic Institute, April 13, 2007
40. Provenance in Scientific Databases, Rochester Institute of Technology, April 11, 2007
41. Provenance in Scientific Databases, California Institute of Technology, March 29, 2007
42. Provenance in Scientific Databases, University of Kentucky, March 5, 2007
43. A logical approach to data provenance, Logic and Semantics seminar,
44. Mechanized Metatheory Model-Checking, Fun in the Afternoon I, Oxford University, November 16, 2006
45. Mechanized Metatheory Model-Checking, Scottish Programming Languages Seminar, University of Glasgow, October 17, 2006
46. Mechanized Metatheory Model-Checking, WMM 2006, Portland, OR, September 21, 2006 (slides)
47. The Semantics of Nominal Logic Programs, ICLP 2006, Seattle, WA, August 19, 2006 (slides)
48. A Provenance Model for Manually Curated Data, IPAW 2006, Chicago, IL, May 4, 2006 (slides)
49. Tradeoffs in XML Compression, 2006 Data Compression Conference, Snowbird, Utah, March 30, 2006 (slides)
50. Tradeoffs in XML Compression, Database Seminar, University of Edinburgh, March 21, 2006 (slides)
51. A Process Algebra Approach to Provenance, LFCS Lab Lunch, Edinburgh, UK, February 7, 2006 (slides)
52. A Nominal Logical Framework, Logic and Semantics Club, LFCS, University of Edinburgh, Edinburgh, UK, January 20, 2006 (slides)
53. Towards secure mobile computation for (astronomical) data centres (joint work with Bob Mann), SDMIV2, Edinburgh, UK, December 14, 2005 (slides)
54. Towards a General Theory of Names, Binding and Scope, MERLIN 2005, Tallinn, Estonia, September 30, 2005 (slides)
55. Scrap your Nameplate (Functional Pearl), ICFP 2005, Tallinn, Estonia, September 27, 2005 (slides)
56. An Empirical Evaluation of Simple DTD-Conscious Compression Techniques, WebDB 2005, Baltimore, MD, June 17, 2005 (slides)
57. Logic Programming with Names and Binding, Logic and Semantics Seminar, University of Cambridge, May 6, 2005 (slides)
58. Generic Capture-Avoiding Substitution, Binding Challenges Workshop, JAIST, April 24, 2005 (slides)
59. Relating Nominal and Higher-Order Pattern Unification, UNIF 2005, Nara, Japan, April 22, 2005 (slides)
60. Equivariant Unification, RTA 2005, Nara, Japan , April 19, 2005 (slides)
61. A Simpler Proof Theory for Nominal Logic, FOSSACS 2005, Edinburgh, UK, April 6, 2005 (slides)
62. XML Compression, Edinburgh Database Seminar, November 8, 2004
63. A Formal Model of Digital Preservation, Edinburgh Database Seminar, November 8, 2004
64. Logic Programming with Names and Binding, LFCS Seminar, September 28, 2004 (slides)
65. Alpha-Prolog: A Logic Programming Language with Names, Binding, and Alpha-Equivalence, ICLP 2004, St. Malo, France, September 7, 2004 (slides)
66. Nominal Logic Programming, B exam/PhD defense, Cornell University, July 26, 2004
67. The Complexity of Equivariant Unification, ICALP 2004, Turku, Finland, July 15, 2004 (slides)
68. Logic Programming with Names and Binding, New England Programming Languages Seminar, University of Vermont, June 4, 2004
69. Logic Programming with Names and Binding, PL Club, University of Pennsylvania, May 24, 2004
70. Logic Programming with Names and Binding, POP Seminar, Carnegie Mellon University, April 14, 2004
71. Logic Programming with Names and Binding, Harvard University, March 22, 2004
72. Names Binding and Nominal Logic, Logic Seminar, Mathematics Department, Cornell University, March 17, 2004
73. Category Theory for Dummies (I), March 12, 2004 (slides)
74. Fraenkel-Mostowski Set Theory, Logic Seminar, Mathematics Department, Cornell University, March 10, 2004
75. Toward a Foundational Typed Assembly Language (presentation of a paper by Karl Crary), Languages & Compilers Seminar, Cornell University, October 21, 2003
76. Typechecking ML using HM(X) (presentation of a draft chapter of ATTAPL), PLDG, September 26, 2003
77. Alpha-Prolog a Fresh Approach to Logic Programming Modulo alpha-Equivalence, Unification Workshop (UNIF 2003), Valencia, Spain, June 8, 2003
78. Towards a Quantum Programming Language (presentation of a paper by Peter Selinger), Quantum Reading Group, University of Cambridge, April 15, 2003
79. Safe Low-level Languages, Logic and Semantics for Dummies group, University of Cambridge, March 14, 2003
80. Beyond Linearly Typed Assembly Language, Semantics Lunch, University of Cambridge, March 10, 2003
81. Local Reasoning, PLDG, November 8, 2002 (slides)
82. A Lightweight Implementation of Generics and Dynamics in Haskell, Haskell Workshop, Pittsburgh, PA, October 3, 2002 (slides)
83. Generics & Dynamics in Haskell, PLDG, September 27, 2002
84. An Overview of XDuce, PLDG, February 1, 2002
85. Towards a Theory of Information Preservation, ECDL 2001, Darmstadt, Germany, September 7, 2001
86. Compressing XML using Multiplexed Hierarchical PPM Models, DCC 2001, Snowbird, UT, March 27, 2001 (slides)
87. Category Theory for Dummies, Programming Languages Discussion Group, Cornell University , February 23, 2001
88. A Possible Solution to David Gale's Subset Take-away Problem, Theory Discussion Group, Cornell University, March 7, 2001
89. Mathematical Models of Information Preservation (joint work with Bill Arms, Peter Botticelli, and Carl Lagoze), Information Science Seminar, Cornell University, December 14, 2000 (slides)
90. Automata and Data Compression, Theory Discussion Group, Cornell University, November 29, 2000
91. Programming Languages for Data Layout, Programming Languages Discussion Group, Cornell University, September 29, 2000
92. Clustering Probability Distributions in Huffman Coding, Theory Discussion Group, Cornell University, May 10 2000
93. Probability, Programming, and Type Theory, PRL Seminar, Cornell University, April 17, 2000 (slides)
94. Statistical Models for Term Compression, Programming Languages Discussion Group, Cornell University, October 1999
95. Extending the Lempel-Ziv 77 Algorithm from Strings to Terms, Theory Discussion Group, Cornell University , October 1998
96. First-order Term Compression: Techniques and Applications, Master's thesis defense, Carnegie Mellon University, August 1998