 | 2009 |
|---|
| 48 |       | James Cheney:
First Workshop on the Theory and Practice of Provenance, February 23, 2009, San Francisco, CA, USA, Proceedings
USENIX 2009 |
| 47 |  | Michael Benedikt,
James Cheney:
Semantics, Types and Effects for XML Updates.
DBPL 2009: 1-17 |
| 46 | | James Cheney,
Stephen Chong,
Nate Foster,
Margo I. Seltzer,
Stijn Vansummeren:
Provenance: a future history.
OOPSLA Companion 2009: 957-964 |
| 45 | | James Cheney:
A Simple Nominal Type Theory.
Electr. Notes Theor. Comput. Sci. 228: 37-52 (2009) |
| 44 | | James Cheney,
Laura Chiticariu,
Wang Chiew Tan:
Provenance in Databases: Why, How, and Where.
Foundations and Trends in Databases 1(4): 379-474 (2009) |
| 43 | | Michael Benedikt,
James Cheney:
Schema-Based Independence Analysis for XML Updates.
PVLDB 2(1): 61-72 (2009) |
| 2008 |
|---|
| 42 | | Loreto Bravo,
James Cheney,
Irini Fundulaki:
ACCOn: checking consistency of XML write-access control policies.
EDBT 2008: 715-719 |
| 41 | | James Cheney:
Regular Expression Subtyping for XML Query and Update Languages.
ESOP 2008: 32-47 |
| 40 | | James Cheney:
FLUX: functional updates for XML.
ICFP 2008: 3-14 |
| 39 | | Christian Urban,
James Cheney,
Stefan Berghofer:
Mechanizing the Metatheory of LF.
LICS 2008: 45-56 |
| 38 | | James Cheney,
Morten Dahl:
Resource bound analysis for database queries.
PLAS 2008: 67-78 |
| 37 | | Peter Buneman,
James Cheney,
Wang Chiew Tan,
Stijn Vansummeren:
Curated databases.
PODS 2008: 1-12 |
| 36 | | Peter Buneman,
James Cheney,
Stijn Vansummeren:
On the expressiveness of implicit provenance in query and update languages.
ACM Trans. Database Syst. 33(4): (2008) |
| 35 | | James Cheney,
Christian Urban:
Nominal logic programming.
ACM Trans. Program. Lang. Syst. 30(5): (2008) |
| 34 | | James Cheney:
Regular Expression Subtyping for XML Query and Update Languages
CoRR abs/0801.0714: (2008) |
| 33 | | Christian Urban,
James Cheney,
Stefan Berghofer:
Mechanizing the Metatheory of LF
CoRR abs/0804.1667: (2008) |
| 32 | | James Cheney:
Flux: FunctionaL Updates for XML (extended report)
CoRR abs/0807.1211: (2008) |
| 31 | | James Cheney,
Umut A. Acar,
Amal Ahmed:
Provenance Traces
CoRR abs/0812.0564: (2008) |
| 30 | | James Cheney,
Peter Buneman,
Bertram Ludäscher:
Report on the Principles of Provenance Workshop.
SIGMOD Record 37(1): 62-65 (2008) |
| 2007 |
|---|
| 29 | | James Cheney,
Amal Ahmed,
Umut A. Acar:
Provenance as Dependency Analysis.
DBPL 2007: 138-152 |
| 28 | | Loreto Bravo,
James Cheney,
Irini Fundulaki:
Repairing Inconsistent XML Write-Access Control Policies.
DBPL 2007: 97-111 |
| 27 | | Peter Buneman,
James Cheney,
Stijn Vansummeren:
On the Expressiveness of Implicit Provenance in Query and Update Languages.
ICDT 2007: 209-223 |
| 26 | | James Cheney:
Lux: A Lightweight, Statically Typed XML Update Language.
PLAN-X 2007: 25-36 |
| 25 | | James Cheney,
Alberto Momigliano:
Mechanized metatheory model-checking.
PPDP 2007: 75-86 |
| 24 | | Loreto Bravo,
James Cheney,
Irini Fundulaki:
Repairing Inconsistent XML Write-Access Control Policies
CoRR abs/0708.2076: (2007) |
| 23 | | James Cheney,
Amal Ahmed,
Umut A. Acar:
Provenance as Dependency Analysis
CoRR abs/0708.2173: (2007) |
| 22 | | James Cheney:
Program Slicing and Data Provenance.
IEEE Data Eng. Bull. 30(4): 22-28 (2007) |
| 21 | | Stijn Vansummeren,
James Cheney:
Recording Provenance for SQL Queries and Updates.
IEEE Data Eng. Bull. 30(4): 29-37 (2007) |
| 2006 |
|---|
| 20 | | James Cheney:
Tradeoffs in XML Database Compression.
DCC 2006: 392-401 |
| 19 | | James Cheney:
The Semantics of Nominal Logic Programs.
ICLP 2006: 361-375 |
| 18 | | Peter Buneman,
Adriane Chapman,
James Cheney,
Stijn Vansummeren:
A Provenance Model for Manually Curated Data.
IPAW 2006: 162-170 |
| 17 | | Peter Buneman,
Adriane Chapman,
James Cheney:
Provenance management in curated databases.
SIGMOD Conference 2006: 539-550 |
| 16 | | James Cheney,
Christian Urban:
Nominal Logic Programming
CoRR abs/cs/0609062: (2006) |
| 2005 |
|---|
| 15 | | James Cheney:
A Simpler Proof Theory for Nominal Logic.
FoSSaCS 2005: 379-394 |
| 14 | | James Cheney:
Scrap your nameplate: (functional pearl).
ICFP 2005: 180-191 |
| 13 | | James Cheney:
Toward a general theory of names: binding and scope.
MERLIN 2005: 33-40 |
| 12 | | James Cheney:
Equivariant Unification.
RTA 2005: 74-89 |
| 11 | | Christian Urban,
James Cheney:
Avoiding Equivariance in Alpha-Prolog.
TLCA 2005: 401-416 |
| 10 | | James Cheney:
An Empirical Evaluation of Simple DTD-Conscious Compression Techniques.
WebDB 2005: 43-48 |
| 9 | | James Cheney:
Logic Column 14: Nominal Logic and Abstract Syntax
CoRR abs/cs/0511025: (2005) |
| 2004 |
|---|
| 8 | | James Cheney:
The Complexity of Equivariant Unification.
ICALP 2004: 332-344 |
| 7 | | James Cheney,
Christian Urban:
alpha-Prolog: A Logic Programming Language with Names, Binding and a-Equivalence.
ICLP 2004: 269-283 |
| 6 | | Murdoch Gabbay,
James Cheney:
A Sequent Calculus for Nominal Logic.
LICS 2004: 139-148 |
| 2002 |
|---|
| 5 | | Dan Grossman,
J. Gregory Morrisett,
Trevor Jim,
Michael W. Hicks,
Yanling Wang,
James Cheney:
Region-Based Memory Management in Cyclone.
PLDI 2002: 282-293 |
| 4 | | Trevor Jim,
J. Gregory Morrisett,
Dan Grossman,
Michael W. Hicks,
James Cheney,
Yanling Wang:
Cyclone: A Safe Dialect of C.
USENIX Annual Technical Conference, General Track 2002: 275-288 |
| 2001 |
|---|
| 3 | | James Cheney:
Compressing XML with Multiplexed Hierarchical PPM Models.
Data Compression Conference 2001: 163- |
| 2 | | James Cheney,
Carl Lagoze,
Peter Botticelli:
Towards a Theory of Information Preservation.
ECDL 2001: 340-351 |
| 2000 |
|---|
| 1 | | James Cheney:
Statistical Models for Term Compression.
Data Compression Conference 2000: 550 |
