Russell O'Connor
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2009–2017
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CCS | Simplicity: A New Language for Blockchains. | Russell O'Connor |
| 2017 | FC | Enhancing Bitcoin Transactions with Covenants. | Russell O'Connor, Marta Piekarska |
| 2013 | ITP | A Machine-Checked Proof of the Odd Order Theorem. | Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, Franois Garillot, Stphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Thry |
| 2012 | AISC | Theory Presentation Combinators. | Jacques Carette, Russell O'Connor |
| 2011 | ICFP | Video presentation of Functor : Lens : : Applicative : Biplate: Introducing Multiplate. | Russell O'Connor |
| 2009 | CCA | Computer Verified Exact Analysis (Tutorial). | Bas Spitters, Russell O'Connor |