BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Estonia
1 × France
1 × Germany
1 × Hungary
1 × Poland
2 × Canada
2 × Finland
2 × Greece
2 × Italy
2 × Japan
2 × United Kingdom
6 × USA
Collaborated with:
S.Lindley C.Urban M.Benedikt P.Wadler P.Buneman J.Gibbons J.McKinna P.Stevens U.A.Acar R.Perera A.Momigliano M.Gabbay W.Ricciotti S.Fehrenbach A.Ahmed S.Berghofer A.Chapman C.Lagoze P.Botticelli G.Radanne R.Rajkumar N.Foster P.B.Levy H.Müller W.C.Tan S.Vansummeren Weili Fu Paul Anderson 0003 F.Abou-Saleh D.Grossman J.G.Morrisett T.Jim M.W.Hicks Y.Wang
Talks about:
languag (6) queri (6) updat (4) logic (4) xml (4) equivari (3) program (3) databas (3) toward (3) theori (3)

Person: James Cheney

DBLP DBLP: Cheney:James

Facilitated 2 volumes:

BX 2019Ed
PPDP 2016Ed

Contributed to:

BX 20152015
EDBT/ICDT Workshops 20142014
PEPM 20142014
PPDP 20142014
SIGMOD 20142014
BX 20132013
ICFP 20132013
ICFP 20122012
SIGMOD 20112011
VLDB 20102010
VLDB 20092009
ESOP 20082008
ICFP 20082008
LICS 20082008
PODS 20082008
PPDP 20072007
ICLP 20062006
SIGMOD 20062006
FoSSaCS 20052005
ICFP 20052005
RTA 20052005
TLCA 20052005
ICALP 20042004
ICLP 20042004
LICS 20042004
PLDI 20022002
ECDL 20012001
CSL 20172017
ECOOP 20172017
PPDP 20162016

Wrote 31 papers:

BX-2015-CheneyGMS #bidirectional #towards
Towards a Principle of Least Surprise for Bidirectional Transformations (JC, JG, JM, PS), pp. 66–80.
BX-2014-CheneyMSG #repository #towards
Towards a Repository of Bx Examples (JC, JM, PS, JG), pp. 87–91.
BX-2014-CheneyMSGA #monad
Entangled State Monads (JC, JM, PS, JG, FAS), pp. 108–111.
PEPM-2014-CheneyLRW #effectiveness #query
Effective quotation: relating approaches to language-integrated query (JC, SL, GR, PW), pp. 15–26.
PPDP-2014-CheneyAA #database #query
Database Queries that Explain their Work (JC, AA, UAA), pp. 271–282.
SIGMOD-2014-CheneyLW #evaluation #multi #performance #query #relational
Query shredding: efficient relational evaluation of queries over nested multisets (JC, SL, PW), pp. 1027–1038.
BX-2013-RajkumarFLC #lens #web
Lenses for Web Data (RR, NF, SL, JC), pp. 90–110.
ICFP-2013-CheneyLW #query
A practical theory of language-integrated query (JC, SL, PW), pp. 403–416.
ICFP-2012-PereraACL #functional #source code
Functional programs that explain their work (RP, UAA, JC, PBL), pp. 365–376.
SIGMOD-2011-BunemanCLM #collaboration #data transformation #named #wiki
DBWiki: a structured wiki for curated data and collaborative data management (PB, JC, SL, HM), pp. 1335–1338.
VLDB-2010-BenediktC #independence #xml
Destabilizers and Independence of XML Updates (MB, JC), pp. 906–917.
VLDB-2009-BenediktC #analysis #independence #xml
Schema-Based Independence Analysis for XML Updates (MB, JC), pp. 61–72.
ESOP-2008-Cheney #query #regular expression #type system #xml
Regular Expression Subtyping for XML Query and Update Languages (JC), pp. 32–47.
ICFP-2008-Cheney #functional #named #xml
FLUX: functional updates for XML (JC), pp. 3–14.
Mechanizing the Metatheory of LF (CU, JC, SB), pp. 45–56.
PODS-2008-BunemanCTV #database
Curated databases (PB, JC, WCT, SV), pp. 1–12.
PPDP-2007-CheneyM #model checking
Mechanized metatheory model-checking (JC, AM), pp. 75–86.
ICLP-2006-Cheney #logic programming #semantics #source code
The Semantics of Nominal Logic Programs (JC), pp. 361–375.
SIGMOD-2006-BunemanCC #database
Provenance management in curated databases (PB, AC, JC), pp. 539–550.
FoSSaCS-2005-Cheney #logic #proving
A Simpler Proof Theory for Nominal Logic (JC), pp. 379–394.
Scrap your nameplate: (JC), pp. 180–191.
RTA-2005-Cheney #unification
Equivariant Unification (JC), pp. 74–89.
TLCA-2005-UrbanC #prolog
Avoiding Equivariance in αProlog (CU, JC), pp. 401–416.
ICALP-2004-Cheney #complexity #unification
The Complexity of Equivariant Unification (JC), pp. 332–344.
ICLP-2004-CheneyU #logic programming #named #programming language #prolog
αProlog: A Logic Programming Language with Names, Binding and α-Equivalence (JC, CU), pp. 269–283.
LICS-2004-GabbayC #calculus #logic
A Sequent Calculus for Nominal Logic (MG, JC), pp. 139–148.
PLDI-2002-GrossmanMJHWC #memory management
Region-Based Memory Management in Cyclone (DG, JGM, TJ, MWH, YW, JC), pp. 282–293.
ECDL-2001-CheneyLB #formal method #towards
Towards a Theory of Information Preservation (JC, CL, PB), pp. 340–351.
CSL-2017-RicciottiC #normalisation
Strongly Normalizing Audited Computation (WR, JC), p. 21.
ECOOP-2017-FuPAC #declarative #named #set
muPuppet: A Declarative Subset of the Puppet Configuration Language (WF, RP, PA0, JC), p. 27.
Language-integrated provenance (SF, JC), pp. 214–227.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.