Putting other entries back

Author: tinelli

_bibliography/papers.bib

@@ -3,7 +3,6 @@ @Comment{
 }
 
 
-
 @InProceedings{BinderCICM24,
 author="Binder, Sage
 and Kosaian, Katherine",
@@ -73,3 +72,182 @@ @inproceedings{BarrettTBNPRZ24
 }
 
 
+@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}
+}
+
+@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},
+}
+