James Chapman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
13
Active years
2003–2025
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICLR | Demystifying Topological Message-Passing with Relational Structures: A Case Study on Oversquashing in Simplicial Message-Passing. | Diaaeldin Taha, James Chapman, Marzieh Eidi, Karel Devriendt, Guido Montfar |
| 2024 | ACSSC | Stratified Non-Negative Tensor Factorization. | Alexander Sietsema, Zerrin Vural, James Chapman, Yotam Yaniv, Deanna Needell |
| 2024 | ICLR | Unconstrained Stochastic CCA: Unifying Multiview and Self-Supervised Learning. | James Chapman, Lennie Wells, Ana Lawry Aguila |
| 2023 | ACSSC | Stratified-NMF for Heterogeneous Data. | James Chapman, Yotam Yaniv, Deanna Needell |
| 2023 | MICCAI | Multi-modal Variational Autoencoders for Normative Modelling Across Multiple Imaging Modalities. | Ana Lawry Aguila, James Chapman, Andr Altmann |
| 2022 | HASKELL | Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. | Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell |
| 2022 | MICCAI | Conditional VAEs for Confound Removal and Normative Modelling of Neurodegenerative Diseases. | Ana Lawry Aguila, James Chapman, Mohammed Janahi, Andr Altmann |
| 2020 | FC | The Extended UTXO Model. | Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler |
| 2020 | ISoLA | Native Custom Tokens in the Extended UTXO Model. | Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Mller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler |
| 2020 | ISoLA | UTXO | Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Mller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner |
| 2020 | NDSS | Compliance Cautions: Investigating Security Issues Associated with U.S. Digital-Security Standards. | Rock Stevens, Josiah Dykstra, Wendy Knox Everette, James Chapman, Garrett Bladow, Alexander Farmer, Kevin Halliday, Michelle L. Mazurek |
| 2019 | MPC | System F in Agda, for Fun and Profit. | James Chapman, Roman Kireev, Chad Nester, Philip Wadler |
| 2017 | CPP | Type-and-scope safe programs and their proofs. | Guillaume Allais, James Chapman, Conor McBride, James McKinna |
| 2015 | ICTAC | Quotienting the Delay Monad by Weak Bisimilarity. | James Chapman, Tarmo Uustalu, Niccol Veltri |
| 2012 | FOSSACS | When Is a Container a Comonad? | Danel Ahman, James Chapman, Tarmo Uustalu |
| 2010 | FOSSACS | Monads Need Not Be Endofunctors. | Thorsten Altenkirch, James Chapman, Tarmo Uustalu |
| 2010 | ICFP | The gentle art of levitation. | James Chapman, Pierre-variste Dagand, Conor McBride, Peter Morris |
| 2006 | MPC | Tait in One Big Step. | Thorsten Altenkirch, James Chapman |
| 2003 | Interspeech | A spoken language interface to an electronic programme guide. | Jianhong Jin, Martin J. Russell, Michael J. Carey, James Chapman, Harvey Lloyd-Thomas, Graham Tattersall |