@inproceedings{seth2026unstructured,
  author    = {Seth, Arjit and Kump, Joseph and Nolan, Andrew and Schanen, Michel and Brus, Steven and Narayanan, Sri Hari Krishna and Van Roekel, Luke and Nadiga, Balasubramanya and Heimbach, Patrick and Churavy, Valentin and Moses, William},
  title     = {Portable, High-Performance and Differentiable Ocean Simulations with Unstructured Grids in {Julia}},
  booktitle = {SC26-W: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis},
  year      = {2026},
  note      = {HPC4EES workshop; to appear},
}

@inproceedings{moses2026compilerfirst,
  author    = {Moses, William S. and Cheng, Gong and Churavy, Valentin and Gelbrecht, Maximilian and Kl{\"o}wer, Milan and Kump, Joseph and Morlighem, Mathieu and Williamson, Sarah and Apte, Dhruv and Berg, Paul and Giordano, Mos{\`e} and Hill, Chris and Loose, Nora and Montoison, Alexis and Narayanan, Sri Hari Krishna and Pal, Avik and Schanen, Michel and Silvestri, Simone and Wagner, Greg and Heimbach, Patrick},
  title     = {A Compiler-First Planetary Compute Engine: Automatic differentiable and performance portable Earth System Modeling},
  booktitle = {PROPL 2026: Workshop on Programming for the Planet, co-located with PLDI 2026},
  address   = {Boulder, CO, USA},
  year      = {2026},
  month     = jun,
  note      = {Position paper},
  url       = {https://pldi26.sigplan.org/details/propl-2026-papers/2/A-Compiler-First-Planetary-Compute-Engine-Automatic-differentiable-and-performance-p},
}

% Publication list of Valentin Churavy (ORCID 0000-0002-9033-165X)
% Generated 2026-10-08 from DBLP keys (via Semantic Scholar), ORCID, Crossref, arXiv, OpenAlex, Google Scholar and local CV files.

% ===== Journal & conference papers =====

@article{babbar2026automatic,
  author        = {Babbar, Arpit and Churavy, Valentin and Schlottke-Lakemper, Michael and Ranocha, Hendrik},
  title         = {Automatic differentiation for performing the {Cauchy-Kovalevskaya} procedure in {Lax-Wendroff} type discretizations},
  year          = {2026},
  journal       = {Journal of Computational Physics},
  volume        = {563},
  pages         = {115101},
  doi           = {10.1016/j.jcp.2026.115101},
  eprint        = {2506.11719},
  archivePrefix = {arXiv},
  note          = {arXiv/SSRN preprint title: "Automatic differentiation for Lax-Wendroff-type discretizations" (2025)}
}

@article{moses2026dj4earth,
  author  = {Moses, William S. and Cheng, Gong and Churavy, Valentin and Gelbrecht, Maximilian and Kl{\"o}wer, Milan and Kump, Joseph and Morlighem, Mathieu and Williamson, Sarah and Apte, Dhruv and Berg, Paul and Giordano, Mos{\`e} and Hill, Christopher and Loose, Nora and Montoison, Alexis and Narayanan, Sri Hari Krishna and Pal, Avik and Schanen, Michel and Silvestri, Simone and Wagner, Greg and Heimbach, Patrick},
  title   = {{DJ4Earth}: Differentiable, and Performance-Portable Earth System Modeling via Program Transformations},
  year    = {2026},
  journal = {Journal of Advances in Modeling Earth Systems},
  volume  = {18},
  number  = {5},
  pages   = {e2025MS005615},
  doi     = {10.1029/2025MS005615},
  note    = {Preprint: ESS Open Archive, doi:10.22541/essoar.176314951.18114616 (2025)}
}

@article{tiede2026hierarchical,
  author        = {Tiede, Paul and Moses, William and Churavy, Valentin and Johnson, Michael D. and Pesce, Dominic W. and Blackburn, Lindy and Galison, Peter},
  title         = {Hierarchical Interferometric {Bayesian} Imaging},
  year          = {2026},
  journal       = {The Astrophysical Journal},
  volume        = {997},
  number        = {2},
  pages         = {262},
  doi           = {10.3847/1538-4357/ae2749},
  eprint        = {2511.17706},
  archivePrefix = {arXiv}
}

@inproceedings{ringoot2025performant,
  author        = {Ringoot, Evelyne and Alomairy, Rabab and Churavy, Valentin and Edelman, Alan},
  title         = {Performant Unified {GPU} Kernels for Portable Singular Value Computation Across Hardware and Precision},
  year          = {2025},
  booktitle     = {Proceedings of the 54th International Conference on Parallel Processing (ICPP)},
  pages         = {500--510},
  publisher     = {ACM},
  doi           = {10.1145/3754598.3754667},
  eprint        = {2508.06339},
  archivePrefix = {arXiv}
}

@article{silvestri2025gpu,
  author  = {Silvestri, Simone and Wagner, Gregory L. and Constantinou, Navid C. and Hill, Christopher N. and Campin, Jean-Michel and Souza, Andre N. and Bishnu, Siddhartha and Churavy, Valentin and Marshall, John and Ferrari, Raffaele},
  title   = {A {GPU}-Based Ocean Dynamical Core for Routine Mesoscale-Resolving Climate Simulations},
  year    = {2025},
  journal = {Journal of Advances in Modeling Earth Systems},
  volume  = {17},
  number  = {4},
  pages   = {e2024MS004465},
  doi     = {10.1029/2024MS004465},
  note    = {Preprint: ESS Open Archive, doi:10.22541/essoar.171708158.82342448 (2024)}
}

@article{utkarsh2024automated,
  author        = {Utkarsh, Utkarsh and Churavy, Valentin and Ma, Yingbo and Besard, Tim and Srisuma, Prakitr and Gymnich, Tim and Gerlach, Adam R. and Edelman, Alan and Barbastathis, George and Braatz, Richard D. and Rackauckas, Christopher},
  title         = {Automated translation and accelerated solving of differential equations on multiple {GPU} platforms},
  year          = {2024},
  journal       = {Computer Methods in Applied Mechanics and Engineering},
  volume        = {419},
  pages         = {116591},
  doi           = {10.1016/j.cma.2023.116591},
  eprint        = {2304.06835},
  archivePrefix = {arXiv}
}

@inproceedings{godoy2023evaluating,
  author        = {Godoy, William F. and Valero-Lara, Pedro and Dettling, T. Elise and Trefftz, Christian and Jorquera, Ian and Sheehy, Thomas and Miller, Ross G. and Gonzalez-Tallada, Marc and Vetter, Jeffrey S. and Churavy, Valentin},
  title         = {Evaluating performance and portability of high-level programming models: {Julia}, {Python/Numba}, and {Kokkos} on exascale nodes},
  year          = {2023},
  booktitle     = {2023 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)},
  pages         = {373--382},
  publisher     = {IEEE},
  doi           = {10.1109/IPDPSW59300.2023.00068},
  eprint        = {2303.06195},
  archivePrefix = {arXiv}
}

@inproceedings{schanen2023transparent,
  author    = {Schanen, Michel and Narayanan, Sri Hari Krishna and Williamson, Sarah and Churavy, Valentin and Moses, William S. and Paehler, Ludger},
  title     = {Transparent Checkpointing for Automatic Differentiation of Program Loops Through Expression Transformations},
  year      = {2023},
  booktitle = {Computational Science -- ICCS 2023},
  series    = {Lecture Notes in Computer Science},
  pages     = {483--497},
  publisher = {Springer Nature Switzerland},
  doi       = {10.1007/978-3-031-36024-4_37}
}

@inproceedings{moses2022scalable,
  author    = {Moses, William S. and Narayanan, Sri Hari Krishna and Paehler, Ludger and Churavy, Valentin and Schanen, Michel and H{\"u}ckelheim, Jan and Doerfert, Johannes and Hovland, Paul},
  title     = {Scalable Automatic Differentiation of Multiple Parallel Paradigms through Compiler Augmentation},
  year      = {2022},
  booktitle = {SC22: International Conference for High Performance Computing, Networking, Storage and Analysis},
  pages     = {1--18},
  publisher = {IEEE},
  doi       = {10.1109/SC41404.2022.00065},
  note      = {SC22 Best Student Paper}
}

@article{sridhar2022large,
  author        = {Sridhar, Akshay and Tissaoui, Yassine and Marras, Simone and Shen, Zhaoyi and Kawczynski, Charles and Byrne, Simon and Pamnany, Kiran and Waruszewski, Maciej and Gibson, Thomas H. and Kozdon, Jeremy E. and Churavy, Valentin and Wilcox, Lucas C. and Giraldo, Francis X. and Schneider, Tapio},
  title         = {Large-eddy simulations with {ClimateMachine} v0.2.0: a new open-source code for atmospheric simulations on {GPUs} and {CPUs}},
  year          = {2022},
  journal       = {Geoscientific Model Development},
  volume        = {15},
  number        = {15},
  pages         = {6259--6284},
  doi           = {10.5194/gmd-15-6259-2022},
  eprint        = {2110.00853},
  archivePrefix = {arXiv},
  note          = {Discussion paper: GMDD, doi:10.5194/gmd-2021-335 (2021)}
}

@inproceedings{giordano2022productivity,
  author        = {Giordano, Mos{\`e} and Kl{\"o}wer, Milan and Churavy, Valentin},
  title         = {Productivity meets Performance: {Julia} on {A64FX}},
  year          = {2022},
  booktitle     = {2022 IEEE International Conference on Cluster Computing (CLUSTER)},
  pages         = {549--555},
  publisher     = {IEEE},
  doi           = {10.1109/CLUSTER51413.2022.00072},
  eprint        = {2207.12762},
  archivePrefix = {arXiv},
  note          = {EAHPC workshop at IEEE CLUSTER 2022}
}

@inproceedings{lu2022bring,
  author        = {Lu, Wenbin and Pe{\~n}a, Luis E. and Shamis, Pavel and Churavy, Valentin and Chapman, Barbara and Poole, Steve},
  title         = {Bring the {BitCODE} -- Moving Compute and Data in Distributed Heterogeneous Systems},
  year          = {2022},
  booktitle     = {2022 IEEE International Conference on Cluster Computing (CLUSTER)},
  pages         = {12--22},
  publisher     = {IEEE},
  doi           = {10.1109/CLUSTER51413.2022.00017},
  eprint        = {2208.01154},
  archivePrefix = {arXiv}
}

@inproceedings{pacaud2022batched,
  author        = {Pacaud, Fran{\c{c}}ois and Schanen, Michel and Maldonado, Daniel Adrian and Montoison, Alexis and Churavy, Valentin and Samaroo, Julian and Anitescu, Mihai},
  title         = {Batched Second-Order Adjoint Sensitivity for Reduced Space Methods},
  year          = {2022},
  booktitle     = {Proceedings of the 2022 SIAM Conference on Parallel Processing for Scientific Computing (PP)},
  pages         = {60--71},
  publisher     = {SIAM},
  doi           = {10.1137/1.9781611977141.6},
  eprint        = {2201.00241},
  archivePrefix = {arXiv}
}

@article{schanen2022rapid,
  author  = {Schanen, Michel and Churavy, Valentin and Kim, Youngdae and Anitescu, Mihai},
  title   = {Rapid Prototyping with {Julia}: From Mathematics to Fast Code},
  year    = {2022},
  journal = {SIAM News},
  volume  = {55},
  number  = {6},
  note    = {Magazine article (not peer-reviewed). Venue inferred: Google Scholar lists it as "Collections 55(06)", consistent with SIAM News vol. 55 no. 6 (July 2022); not verified}
}

@inproceedings{moses2021reverse,
  author    = {Moses, William S. and Churavy, Valentin and Paehler, Ludger and H{\"u}ckelheim, Jan and Narayanan, Sri Hari Krishna and Schanen, Michel and Doerfert, Johannes},
  title     = {Reverse-mode automatic differentiation and optimization of {GPU} kernels via {Enzyme}},
  year      = {2021},
  booktitle = {Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC21)},
  pages     = {1--16},
  publisher = {ACM},
  doi       = {10.1145/3458817.3476165},
  note      = {SC21 Best Student Paper finalist; Best Reproducibility Advancement finalist}
}

@article{byrne2021mpi,
  author  = {Byrne, Simon and Wilcox, Lucas C. and Churavy, Valentin},
  title   = {{MPI.jl}: {Julia} bindings for the {Message Passing Interface}},
  year    = {2021},
  journal = {Proceedings of the JuliaCon Conferences},
  volume  = {1},
  number  = {1},
  pages   = {68},
  doi     = {10.21105/jcon.00068}
}

@inproceedings{moses2020instead,
  author        = {Moses, William S. and Churavy, Valentin},
  title         = {Instead of Rewriting Foreign Code for Machine Learning, Automatically Synthesize Fast Gradients},
  year          = {2020},
  booktitle     = {Advances in Neural Information Processing Systems 33 (NeurIPS 2020)},
  pages         = {12472--12485},
  eprint        = {2010.01709},
  archivePrefix = {arXiv},
  url           = {https://proceedings.neurips.cc/paper/2020/hash/9332c513ef44b682e9347822c2e457ac-Abstract.html}
}

@article{souza2020uncertainty,
  author  = {Souza, Andre N. and Wagner, Gregory L. and Ramadhan, Ali and Allen, Brandon and Churavy, Valentin and Schloss, James and Campin, Jean-Michel and Hill, Chris and Edelman, Alan and Marshall, John and Flierl, Glenn and Ferrari, Raffaele},
  title   = {Uncertainty Quantification of Ocean Parameterizations: Application to the {K}-Profile-Parameterization for Penetrative Convection},
  year    = {2020},
  journal = {Journal of Advances in Modeling Earth Systems},
  volume  = {12},
  number  = {12},
  pages   = {e2020MS002108},
  doi     = {10.1029/2020MS002108},
  note    = {Preprint: ESS Open Archive, doi:10.1002/essoar.10502546}
}

@article{ramadhan2020oceananigans,
  author  = {Ramadhan, Ali and Wagner, Gregory LeClaire and Hill, Chris and Campin, Jean-Michel and Churavy, Valentin and Besard, Tim and Souza, Andre and Edelman, Alan and Ferrari, Raffaele and Marshall, John},
  title   = {{Oceananigans.jl}: Fast and friendly geophysical fluid dynamics on {GPUs}},
  year    = {2020},
  journal = {Journal of Open Source Software},
  volume  = {5},
  number  = {53},
  pages   = {2018},
  doi     = {10.21105/joss.02018}
}

@article{besard2019rapid,
  author  = {Besard, Tim and Churavy, Valentin and Edelman, Alan and De Sutter, Bjorn},
  title   = {Rapid software prototyping for heterogeneous and distributed platforms},
  year    = {2019},
  journal = {Advances in Engineering Software},
  volume  = {132},
  pages   = {29--46},
  doi     = {10.1016/j.advengsoft.2019.02.002}
}

@inproceedings{yang2019highly,
  author        = {Yang, Liu and Treichler, Sean and Kurth, Thorsten and Fischer, Keno and Barajas-Solano, David and Romero, Josh and Churavy, Valentin and Tartakovsky, Alexandre and Houston, Michael and Prabhat and Karniadakis, George},
  title         = {Highly-scalable, Physics-Informed {GANs} for Learning Solutions of Stochastic {PDEs}},
  year          = {2019},
  booktitle     = {2019 IEEE/ACM Third Workshop on Deep Learning on Supercomputers (DLS)},
  pages         = {1--11},
  publisher     = {IEEE},
  doi           = {10.1109/DLS49591.2019.00006},
  eprint        = {1910.13444},
  archivePrefix = {arXiv}
}

@inproceedings{gowda2019sparsity,
  author    = {Gowda, Shashi and Ma, Yingbo and Churavy, Valentin and Edelman, Alan and Rackauckas, Christopher},
  title     = {Sparsity Programming: Automated Sparsity-Aware Optimizations in Differentiable Programming},
  year      = {2019},
  booktitle = {Program Transformations for ML Workshop at NeurIPS 2019},
  url       = {https://openreview.net/forum?id=rJlPdcY38B},
  note      = {Workshop paper}
}

@inproceedings{innes2018machine,
  author    = {Innes, Mike and Karpinski, Stefan and Shah, Viral and Barber, David and Stenetorp, Pontus and Besard, Tim and Bradbury, James and Churavy, Valentin and Danisch, Simon and Edelman, Alan and Malmaud, Jon and Revels, Jarrett and Yuret, Deniz},
  title     = {On Machine Learning and Programming Languages},
  year      = {2018},
  booktitle = {SysML Conference 2018},
  url       = {https://mlsys.org/Conferences/doc/2018/37.pdf},
  note      = {Short paper (3 pages)}
}

@article{agmon2016exploring,
  author  = {Agmon, Eran and Gates, Alexander J. and Churavy, Valentin and Beer, Randall D.},
  title   = {Exploring the Space of Viable Configurations in a Model of Metabolism--Boundary Co-construction},
  year    = {2016},
  journal = {Artificial Life},
  volume  = {22},
  number  = {2},
  pages   = {153--171},
  doi     = {10.1162/ARTL_a_00196}
}

@inproceedings{agmon2014quantifying,
  author    = {Agmon, Eran and Gates, Alexander and Churavy, Valentin and Beer, Randall},
  title     = {Quantifying Robustness in a Spatial Model of Metabolism-Boundary Co-Construction},
  year      = {2014},
  booktitle = {Artificial Life 14: Proceedings of the Fourteenth International Conference on the Synthesis and Simulation of Living Systems (ALIFE 14)},
  pages     = {514--521},
  publisher = {MIT Press},
  doi       = {10.7551/978-0-262-32621-6-ch082}
}

% ===== Preprints =====

@misc{candelaresi2026massively,
  author        = {Candelaresi, Simon and Geihe, Benedict and Artiano, Marco and Christmann, Lars and Churavy, Valentin and Rueda-Ram{\'i}rez, Andr{\'e}s and Ranocha, Hendrik and Gassner, Gregor J. and Schlottke-Lakemper, Michael},
  title         = {Massively parallel numerical simulations with {Julia}},
  year          = {2026},
  eprint        = {2607.25866},
  archivePrefix = {arXiv},
  howpublished  = {arXiv:2607.25866}
}

@misc{silvestri2023oceananigans,
  author        = {Silvestri, Simone and Wagner, Gregory L. and Hill, Christopher and Ardakani, Matin Raayai and Blaschke, Johannes and Campin, Jean-Michel and Churavy, Valentin and Constantinou, Navid C. and Edelman, Alan and Marshall, John and Ramadhan, Ali and Souza, Andre and Ferrari, Raffaele},
  title         = {{Oceananigans.jl}: A {Julia} library that achieves breakthrough resolution, memory and energy efficiency in global ocean simulations},
  year          = {2023},
  eprint        = {2309.06662},
  archivePrefix = {arXiv},
  note          = {v1 title: "Oceananigans.jl: A model that achieves breakthrough resolution, memory and energy efficiency in global ocean simulations"},
  howpublished  = {arXiv:2309.06662}
}

@misc{churavy2022bridging,
  author        = {Churavy, Valentin and Godoy, William F. and Bauer, Carsten and Ranocha, Hendrik and Schlottke-Lakemper, Michael and R{\"a}ss, Ludovic and Blaschke, Johannes and Giordano, Mos{\`e} and Schnetter, Erik and Omlin, Samuel and Vetter, Jeffrey S. and Edelman, Alan},
  title         = {Bridging {HPC} Communities through the {Julia} Programming Language},
  year          = {2022},
  eprint        = {2211.02740},
  archivePrefix = {arXiv},
  note          = {Reproducibility repository on Zenodo},
  howpublished  = {arXiv:2211.02740}
}

@misc{revels2018dynamic,
  author        = {Revels, Jarrett and Besard, Tim and Churavy, Valentin and De Sutter, Bjorn and Vielma, Juan Pablo},
  title         = {Dynamic Automatic Differentiation of {GPU} Broadcast Kernels},
  year          = {2018},
  eprint        = {1810.08297},
  archivePrefix = {arXiv},
  note          = {Presented at a NeurIPS 2018 workshop per CV / UGent biblio; no formal proceedings found},
  howpublished  = {arXiv:1810.08297}
}

% ===== Theses =====

@phdthesis{churavy2024language,
  author = {Churavy, Valentin},
  title  = {Language Evolution for Parallel and Scientific Computing},
  year   = {2024},
  school = {Massachusetts Institute of Technology},
  url    = {https://www.eecs.mit.edu/eecs-events/doctoral-thesis-language-evolution-for-parallel-and-scientific-computing/},
  note   = {Advisor: Alan Edelman}
}

@mastersthesis{churavy2019transparent,
  author = {Churavy, Valentin},
  title  = {Transparent distributed programming in {Julia}},
  year   = {2019},
  school = {Massachusetts Institute of Technology},
  url    = {https://hdl.handle.net/1721.1/122755},
  note   = {Advisor: Alan Edelman}
}

@misc{churavy2014evo2dsim,
  author = {Churavy, Valentin},
  title  = {{Evo2DSim}: A {2D} Simulator Framework for Evolutionary Multi-Agent Robotics},
  year   = {2014},
  school = {Universit{\"a}t Osnabr{\"u}ck},
  type   = {Bachelor thesis},
  note   = {Bachelor thesis (Cognitive Science); advisor: F. Pasemann; not publicly indexed}
}

% ===== Abstracts/posters =====

@misc{wallwork2026fortran,
  author       = {Wallwork, Joseph G. and Akanho, Isaac and Churavy, Valentin and Moses, William S.},
  title        = {Fortran bindings for the {Enzyme} automatic differentiation framework},
  year         = {2026},
  howpublished = {29th European Workshop on Automatic Differentiation (EuroAD29), Cambridge, UK},
  doi          = {10.5281/zenodo.22881093},
  note         = {Poster}
}

@misc{kump2026dj4oceananigans,
  author       = {Kump, Joseph and Moses, William S. and Wagner, Gregory L. and Apte, Dhruv and Churavy, Valentin and Hill, Christopher N. and Berg, Paul and others},
  title        = {{DJ4Oceananigans}: A differentiable, {Julia}-based ocean general circulation model for gradient-based parameter calibration, online learning and variational data assimilation},
  year         = {2026},
  howpublished = {Ocean Sciences Meeting 2026 (AGU), abstract DO51A-1},
  note         = {Author list truncated in Google Scholar}
}

@misc{williamson2026calibration,
  author       = {Williamson, Sarah and Loose, Nora and Moses, William S. and Kl{\"o}wer, Milan and Churavy, Valentin and Schanen, Michel and others},
  title        = {Calibration of a Neural Network-based Eddy Backscatter Parameterization in a Differentiable Hybrid Shallow Water Model},
  year         = {2026},
  howpublished = {Ocean Sciences Meeting 2026 (AGU), abstract DO51A-07},
  note         = {Author list truncated in Google Scholar}
}

@misc{ringoot2025scaling,
  author       = {Ringoot, Evelyne and Alomairy, Rabab and Churavy, Valentin and Edelman, Alan},
  title        = {Scaling Singular Values Beyond {GPU} Memory Limits: Out-of-Core, {GPU}-Accelerated, and Unified Across Data Precision and Hardware},
  year         = {2025},
  howpublished = {SC25 ACM Student Research Competition poster},
  url          = {https://sc25.supercomputing.org/proceedings/posters/poster_pages/post272.html},
  note         = {Poster; Churavy as advisor/co-author}
}

@misc{kaus2022composable,
  author       = {Kaus, Boris and Berlie, Nicolas and Churavy, Valentin and Cosarinsky, Matias and Duretz, Thibault and Kiss, Daniel and Kozdon, Jeremy and de Montserrat, Albert and Moser, Lucas and Medinger, Nils and Omlin, Samuel and R{\"a}ss, Ludovic and Sanan, Patrick and Spang, Arne and Thielmann, Marcel and Utkin, Ivan},
  title        = {How composable software tools in {Julia} help developing multi-physics codes in geodynamics},
  year         = {2022},
  howpublished = {EGU General Assembly 2022, abstract EGU22-5704},
  doi          = {10.5194/egusphere-egu22-5704}
}

@misc{hill2021fast,
  author       = {Hill, Christopher and Wagner, Gregory and Ramadhan, Ali and Poulin, Francis and Guo, Henry and Churavy, Valentin},
  title        = {Fast, friendly, flexible, and fun ocean modeling on {CPUs} and {GPUs} in {Julia} with {Oceananigans.jl}},
  year         = {2021},
  howpublished = {AGU Fall Meeting 2021, abstract IN22A-06}
}

@misc{sanders2021branch,
  author       = {Sanders, David P. and Churavy, Valentin},
  title        = {Branch-and-bound interval methods and constraint propagation on the {GPU} using {Julia}},
  year         = {2021},
  howpublished = {SCAN 2020 (19th Int. Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations), Book of Abstracts, p. 64},
  note         = {Extended abstract}
}