James Cheney : Publications





BibTeX entries for all publications

Hot off the press

  • Proof-relevant π-calculus: a constructive approach to concurrency and causality, Roly Perera and James Cheney, Mathematical Structures in Computer Science, Special issue on LFMTP 2015, to appear. (arXiv)
  • On principles of Least Change and Least Surprise for bidirectional transformations, James Cheney, Jeremy Gibbons, James McKinna and Perdita Stevens, Journal of Object Technology, to appear.
  • Language-integrated provenance, Stefan Fehrenbach and James Cheney, PPDP 2016, p. 214-227. (arXiv)
  • Causally consistent dynamic slicing, Roly Perera, Deepak Garg and James Cheney, CONCUR 2016, p. 18:1-18:15.
  • Provenance segmentation, Rui Abreu, Dave Archer, Erin Chapman, Hoda Eldardiry, James Cheney, and Adria Gascon, TaPP 2016.
  • Advances in Property-Based Testing for alpha-Prolog, James Cheney, Alberto Momigliano and Matteo Pessina, TAP 2016, p. 37-56. (arXiv)
  • Reflections on monadic lenses, Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, and Perdita Stevens. WadlerFest festschrift, p. 1-31, 2016. (arXiv)
  • A simple sequent calculus for nominal logic, James Cheney. Journal of Logic and Computation 26(2):699-726, 2016. Special issue in honor of Roy Dyckhoff.

Journal Articles

Refereed Conference Papers


Invited papers

Workshop Papers



Posters and Demos

Technical Reports

Dissertations and Theses