pith. sign in

James Cheney

Identifiers

  • name variant James Cheney 0.60 · backfill

Papers (35)

  1. Towards meta-interpretive learning of programming language semantics cs.PL · 2019 · author #2
  2. Verified Self-Explaining Computation cs.PL · 2019 · author #2
  3. Mixing set and bag semantics cs.DB · 2019 · author #2
  4. Language-integrated provenance by trace analysis cs.PL · 2019 · author #2
  5. TryLinks: An interactive tutorial system for a cross-tier Web programming language cs.PL · 2019 · author #3
  6. Explicit Auditing cs.LO · 2018 · author #2
  7. Incremental Relational Lenses cs.PL · 2018 · author #3
  8. Strongly Normalizing Audited Computation cs.LO · 2017 · author #2
  9. Imperative Functional Programs that Explain their Work cs.PL · 2017 · author #4
  10. $\alpha$Check: A mechanized metatheory model-checker cs.PL · 2017 · author #1
  11. Causally consistent dynamic slicing cs.PL · 2016 · author #3
  12. $\mu$Puppet: A Declarative Subset of the Puppet Configuration Language cs.PL · 2016 · author #4
  13. Language-integrated provenance cs.PL · 2016 · author #2
  14. Advances in Property-Based Testing for $\alpha$Prolog cs.LO · 2016 · author #1
  15. Proof-relevant $\pi$-calculus: a constructive account of concurrency and causality cs.LO · 2016 · author #2
  16. Reflections on Monadic Lenses cs.PL · 2016 · author #2
  17. Notions of bidirectional computation and entangled state monads cs.PL · 2015 · author #2
  18. YesWorkflow: A User-Oriented, Language-Independent Tool for Recovering Workflow Information from Scripts cs.SE · 2015 · author #18
  19. Database Queries that Explain their Work cs.PL · 2014 · author #1
  20. Dynamic Provenance for SPARQL Update cs.DB · 2014 · author #2
  21. An Analytical Survey of Provenance Sanitization cs.DB · 2014 · author #1
  22. Query shredding: Efficient relational evaluation of queries over nested multisets (extended version) cs.DB · 2014 · author #1
  23. A simple sequent calculus for nominal logic cs.LO · 2013 · author #1
  24. A Core Calculus for Provenance cs.PL · 2013 · author #3
  25. Effective Quotation: relating approaches to language-integrated query cs.PL · 2013 · author #1
  26. Static Enforceability of XPath-Based Access Control Policies cs.DB · 2013 · author #1
  27. Causality and the semantics of provenance cs.PL · 2010 · author #1
  28. Provenance Traces cs.PL · 2008 · author #1
  29. Flux: FunctionaL Updates for XML (extended report) cs.PL · 2008 · author #1
  30. Mechanizing the Metatheory of LF cs.LO · 2008 · author #2
  31. Regular Expression Subtyping for XML Query and Update Languages cs.PL · 2008 · author #1
  32. Provenance as Dependency Analysis cs.DB · 2007 · author #1
  33. Repairing Inconsistent XML Write-Access Control Policies cs.DB · 2007 · author #2
  34. Nominal Logic Programming cs.PL · 2006 · author #1
  35. Logic Column 14: Nominal Logic and Abstract Syntax cs.LO · 2005 · author #1

Mentions

  • 1505.02579 #2 · backfill · confidence 0.70 James Cheney
  • 1502.02403 #18 · backfill · confidence 0.70 James Cheney
  • 1408.1675 #1 · backfill · confidence 0.70 James Cheney
  • 1408.0926 #2 · backfill · confidence 0.70 James Cheney
  • 1405.5777 #1 · backfill · confidence 0.70 James Cheney
  • 1404.7078 #1 · backfill · confidence 0.70 James Cheney
  • 1312.4840 #1 · backfill · confidence 0.70 James Cheney
  • 1310.6299 #3 · backfill · confidence 0.70 James Cheney
  • 1310.4780 #1 · backfill · confidence 0.70 James Cheney
  • 1308.0502 #1 · backfill · confidence 0.70 James Cheney
  • 1004.3241 #1 · backfill · confidence 0.70 James Cheney
  • 0812.0564 #1 · backfill · confidence 0.70 James Cheney
  • 0807.1211 #1 · backfill · confidence 0.70 James Cheney
  • 0804.1667 #2 · backfill · confidence 0.70 James Cheney
  • 0801.0714 #1 · backfill · confidence 0.70 James Cheney
  • 0708.2173 #1 · backfill · confidence 0.70 James Cheney
  • 0708.2076 #2 · backfill · confidence 0.70 James Cheney

Frequent Coauthors