Trying to fix Jekyll compilation error

Author: tinelli

_bibliography/papers.bib

@@ -2,13 +2,6 @@ @Comment{
 ebib-main-file: /home/alex/Dropbox/HubersPhD/bibliography/ann-bib.bib
 }
 
-@Comment{2025}
-
-
-
-
-@Comment{2024}
-
 
 
 @InProceedings{BinderCICM24,
@@ -80,191 +73,3 @@ @inproceedings{BarrettTBNPRZ24
 }
 
 
-
-@Comment{2023}
-
-@article{{BarbosaBCDKLNNOPRTZ23,
-  author       = {Haniel Barbosa and
-                  Clark W. Barrett and
-                  Byron Cook and
-                  Bruno Dutertre and
-                  Gereon Kremer and
-                  Hanna Lachnitt and
-                  Aina Niemetz and
-                  Andres N{\"{o}}tzli and
-                  Alex Ozdemir and
-                  Mathias Preiner and
-                  Andrew Reynolds and
-                  Cesare Tinelli and
-                  Yoni Zohar},
-  title        = {Generating and Exploiting Automated Reasoning Proof Certificates},
-  journal      = {Commun. {ACM}},
-  volume       = {66},
-  number       = {10},
-  pages        = {86--95},
-  year         = {2023},
-  url          = {https://doi.org/10.1145/3587692},
-}
-
-@article{ShengNRZDGPQBT23,
-  author       = {Ying Sheng and
-                  Andres N{\"{o}}tzli and
-                  Andrew Reynolds and
-                  Yoni Zohar and
-                  David L. Dill and
-                  Wolfgang Grieskamp and
-                  Junkil Park and
-                  Shaz Qadeer and
-                  Clark W. Barrett and
-                  Cesare Tinelli},
-  title        = {Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences},
-  journal      = {J. Autom. Reason.},
-  volume       = {67},
-  number       = {3},
-  pages        = {32},
-  year         = {2023},
-  url          = {https://doi.org/10.1007/s10817-023-09682-2},
-}
-
-@article{ShengZRRBT23,
-  author       = {Ying Sheng and
-                  Yoni Zohar and
-                  Christophe Ringeissen and
-                  Andrew Reynolds and
-                  Clark W. Barrett and
-                  Cesare Tinelli},
-  title        = {Combining Stable Infiniteness and (Strong) Politeness},
-  journal      = {J. Autom. Reason.},
-  volume       = {67},
-  number       = {4},
-  pages        = {34},
-  year         = {2023},
-  url          = {https://doi.org/10.1007/s10817-023-09684-0},
-}
-
-@inproceedings{OzdemirKTB23,
-  author       = {Alex Ozdemir and
-                  Gereon Kremer and
-                  Cesare Tinelli and
-                  Clark W. Barrett},
-  editor       = {Constantin Enea and
-                  Akash Lal},
-  title        = {Satisfiability Modulo Finite Fields},
-  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
-                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
-  series       = {Lecture Notes in Computer Science},
-  volume       = {13965},
-  pages        = {163--186},
-  publisher    = {Springer},
-  year         = {2023},
-  url          = {https://doi.org/10.1007/978-3-031-37703-7\_8},
-}
-
-@inproceedings{HubersM23,
-	author = {Hubers, Alex and Morris, J. Garrett},
-	title = {Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc},
-	year = {2023},
-        booktitle = {{ACM} {SIGPLAN} International Conference on Functional
-                  Programming, ICFP'23, Seattle, WA, {USA} - September 5 - 8,
-                  2023},
-	url = {https://doi.org/10.1145/3607843},
-	doi = {10.1145/3607843},
-	keywords = {generic programming, row polymorphism, extensible data types, qualified types, row types}
-}
-
-
-@inproceedings{AbreuDHJMS23,
-	author = {Pedro Abreu and Benjamin Delaware and Alex Hubers and Christa
-                  Jenkins and J. Garrett Morris and Aaron Stump},
-	title = {A Type-Based Approach to Divide-and-Conquer Recursion in Coq},
-	booktitle = {Proceedings of the 50th {ACM} {SIGPLAN} Symposium on
-                  Principles of Programming Languages, {POPL} 2023, Boston,
-                  MA, {USA} - January 18-20, 2023},
-	year = 2023,
-	doi = {10.1145/3571196},
-	url = {https://doi.org/10.1145/3571196}
-}
-
-
-
-@Comment{2022}
-
-@inproceedings{DBLP:conf/cade/BarbosaRKLNNOPV22,
-  author       = {Haniel Barbosa and
-                  Andrew Reynolds and
-                  Gereon Kremer and
-                  Hanna Lachnitt and
-                  Aina Niemetz and
-                  Andres N{\"{o}}tzli and
-                  Alex Ozdemir and
-                  Mathias Preiner and
-                  Arjun Viswanathan and
-                  Scott Viteri and
-                  Yoni Zohar and
-                  Cesare Tinelli and
-                  Clark W. Barrett},
-  editor       = {Jasmin Blanchette and
-                  Laura Kov{\'{a}}cs and
-                  Dirk Pattinson},
-  title        = {Flexible Proof Production in an Industrial-Strength {SMT} Solver},
-  booktitle    = {Automated Reasoning - 11th International Joint Conference, {IJCAR}
-                  2022, Haifa, Israel, August 8-10, 2022, Proceedings},
-  series       = {Lecture Notes in Computer Science},
-  volume       = {13385},
-  pages        = {15--35},
-  publisher    = {Springer},
-  year         = {2022},
-  url          = {https://doi.org/10.1007/978-3-031-10769-6\_3},
-  doi          = {10.1007/978-3-031-10769-6\_3},
-}
-
-@inproceedings{DBLP:conf/tacas/BarbosaBBKLMMMN22,
-  author       = {Haniel Barbosa and
-                  Clark W. Barrett and
-                  Martin Brain and
-                  Gereon Kremer and
-                  Hanna Lachnitt and
-                  Makai Mann and
-                  Abdalrhman Mohamed and
-                  Mudathir Mohamed and
-                  Aina Niemetz and
-                  Andres N{\"{o}}tzli and
-                  Alex Ozdemir and
-                  Mathias Preiner and
-                  Andrew Reynolds and
-                  Ying Sheng and
-                  Cesare Tinelli and
-                  Yoni Zohar},
-  editor       = {Dana Fisman and
-                  Grigore Rosu},
-  title        = {cvc5: {A} Versatile and Industrial-Strength {SMT} Solver},
-  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
-                  - 28th International Conference, {TACAS} 2022, Held as Part of the
-                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
-                  2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
-  series       = {Lecture Notes in Computer Science},
-  volume       = {13243},
-  pages        = {415--442},
-  publisher    = {Springer},
-  year         = {2022},
-  url          = {https://doi.org/10.1007/978-3-030-99524-9\_24},
-}
-
-@inproceedings{IngleHM22,
-	author = {Apoorv Ingle and
-               Alex Hubers and
-               J. Garrett Morris},
-	editor = {Nadia Polikarpova},
-	title = {Partial type constructors in practice},
-	booktitle = {Haskell '22: 15th {ACM} {SIGPLAN} International Haskell Symposium,
-               Ljubljana, Slovenia, September 15 - 16, 2022},
-	pages = {95--107},
-	publisher = {{ACM}},
-	year = {2022},
-	url = {https://doi.org/10.1145/3546189.3549923},
-	doi = {10.1145/3546189.3549923},
-	timestamp = {Sun, 12 Feb 2023 18:48:40 +0100},
-	biburl = {https://dblp.org/rec/conf/haskell/IngleHM22.bib},
-	bibsource = {dblp computer science bibliography, https://dblp.org}
-}
-