Skip to content

Commit edb77ca

Browse files
tinellitinelli
committed
Update papers.bib
1 parent 24d778f commit edb77ca

File tree

1 file changed

+212
-52
lines changed

1 file changed

+212
-52
lines changed

‎_bibliography/papers.bib‎

Lines changed: 212 additions & 52 deletions
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,43 @@ @Comment{
22
ebib-main-file: /home/alex/Dropbox/HubersPhD/bibliography/ann-bib.bib
33
}
44
5+
@Comment{2025}
56

67

7-
@inproceedings{DBLP:conf/ijcar/TsiskaridzeBT24,
8+
9+
10+
@Comment{2024}
11+
12+
13+
14+
@InProceedings{BinderCICM24,
15+
author="Binder, Sage
16+
and Kosaian, Katherine",
17+
editor="Kohlhase, Andrea
18+
and Kov{\'a}cs, Laura",
19+
title="Formalizing {P}ick's Theorem in {I}sabelle/{HOL}",
20+
booktitle="Intelligent Computer Mathematics",
21+
year="2024",
22+
publisher="Springer Nature Switzerland",
23+
address="Cham",
24+
pages="109--126",
25+
isbn="978-3-031-66997-2"
26+
}
27+
28+
@article{TangHLM24,
29+
author = {Wenhao Tang and
30+
Daniel Hillerstr{\"{o}}m and
31+
Sam Lindley and
32+
J. Garrett Morris},
33+
title = {Soundly Handling Linearity},
34+
journal = {Proc. {ACM} Program. Lang.},
35+
volume = {8},
36+
number = {{POPL}},
37+
pages = {1600--1628},
38+
year = {2024}
39+
}
40+
41+
@inproceedings{TsiskaridzeBT24,
842
author = {Nestan Tsiskaridze and
943
Clark W. Barrett and
1044
Cesare Tinelli},
@@ -22,37 +56,108 @@ @inproceedings{DBLP:conf/ijcar/TsiskaridzeBT24
2256
doi = {10.1007/978-3-031-63498-7\_27},
2357
}
2458

59+
@inproceedings{BarrettTBNPRZ24,
60+
author = {Clark W. Barrett and
61+
Cesare Tinelli and
62+
Haniel Barbosa and
63+
Aina Niemetz and
64+
Mathias Preiner and
65+
Andrew Reynolds and
66+
Yoni Zohar},
67+
editor = {Andr{\'{e}} Platzer and
68+
Kristin Yvonne Rozier and
69+
Matteo Pradella and
70+
Matteo Rossi},
71+
title = {Satisfiability Modulo Theories: {A} Beginner's Tutorial},
72+
booktitle = {Formal Methods - 26th International Symposium, {FM} 2024, Milan, Italy,
73+
September 9-13, 2024, Proceedings, Part {II}},
74+
series = {Lecture Notes in Computer Science},
75+
volume = {14934},
76+
pages = {571--596},
77+
publisher = {Springer},
78+
year = {2024},
79+
url = {https://doi.org/10.1007/978-3-031-71177-0\_31},
80+
}
81+
82+
2583

26-
@inproceedings{EkiEtAl-PxTP-19,
27-
author = {Burak Ekici and Arjun Viswanathan and Yoni Zohar and Clark Barrett and Cesare Tinelli},
28-
title = {Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)},
29-
booktitle = {Proceedings Sixth Workshop on Proof eXchange for Theorem Proving},
30-
pages = {57--89},
31-
year = {2019},
32-
url = {https://doi.org/10.4204/EPTCS.301},
33-
doi = {10.4204/EPTCS.301},
34-
editor = {Giselle Reis and Haniel Barbosa},
35-
series = {Electronic Proceedings in Theoretical Computer Science},
36-
volume = {301},
37-
publisher = {Open Publishing Association}
84+
@Comment{2023}
85+
86+
@article{{BarbosaBCDKLNNOPRTZ23,
87+
author = {Haniel Barbosa and
88+
Clark W. Barrett and
89+
Byron Cook and
90+
Bruno Dutertre and
91+
Gereon Kremer and
92+
Hanna Lachnitt and
93+
Aina Niemetz and
94+
Andres N{\"{o}}tzli and
95+
Alex Ozdemir and
96+
Mathias Preiner and
97+
Andrew Reynolds and
98+
Cesare Tinelli and
99+
Yoni Zohar},
100+
title = {Generating and Exploiting Automated Reasoning Proof Certificates},
101+
journal = {Commun. {ACM}},
102+
volume = {66},
103+
number = {10},
104+
pages = {86--95},
105+
year = {2023},
106+
url = {https://doi.org/10.1145/3587692},
38107
}
39108

40-
@inproceedings{IngleHM22,
41-
author = {Apoorv Ingle and
42-
Alex Hubers and
43-
J. Garrett Morris},
44-
editor = {Nadia Polikarpova},
45-
title = {Partial type constructors in practice},
46-
booktitle = {Haskell '22: 15th {ACM} {SIGPLAN} International Haskell Symposium,
47-
Ljubljana, Slovenia, September 15 - 16, 2022},
48-
pages = {95--107},
49-
publisher = {{ACM}},
50-
year = {2022},
51-
url = {https://doi.org/10.1145/3546189.3549923},
52-
doi = {10.1145/3546189.3549923},
53-
timestamp = {Sun, 12 Feb 2023 18:48:40 +0100},
54-
biburl = {https://dblp.org/rec/conf/haskell/IngleHM22.bib},
55-
bibsource = {dblp computer science bibliography, https://dblp.org}
109+
@article{ShengNRZDGPQBT23,
110+
author = {Ying Sheng and
111+
Andres N{\"{o}}tzli and
112+
Andrew Reynolds and
113+
Yoni Zohar and
114+
David L. Dill and
115+
Wolfgang Grieskamp and
116+
Junkil Park and
117+
Shaz Qadeer and
118+
Clark W. Barrett and
119+
Cesare Tinelli},
120+
title = {Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences},
121+
journal = {J. Autom. Reason.},
122+
volume = {67},
123+
number = {3},
124+
pages = {32},
125+
year = {2023},
126+
url = {https://doi.org/10.1007/s10817-023-09682-2},
127+
}
128+
129+
@article{ShengZRRBT23,
130+
author = {Ying Sheng and
131+
Yoni Zohar and
132+
Christophe Ringeissen and
133+
Andrew Reynolds and
134+
Clark W. Barrett and
135+
Cesare Tinelli},
136+
title = {Combining Stable Infiniteness and (Strong) Politeness},
137+
journal = {J. Autom. Reason.},
138+
volume = {67},
139+
number = {4},
140+
pages = {34},
141+
year = {2023},
142+
url = {https://doi.org/10.1007/s10817-023-09684-0},
143+
}
144+
145+
@inproceedings{OzdemirKTB23,
146+
author = {Alex Ozdemir and
147+
Gereon Kremer and
148+
Cesare Tinelli and
149+
Clark W. Barrett},
150+
editor = {Constantin Enea and
151+
Akash Lal},
152+
title = {Satisfiability Modulo Finite Fields},
153+
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
154+
2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
155+
series = {Lecture Notes in Computer Science},
156+
volume = {13965},
157+
pages = {163--186},
158+
publisher = {Springer},
159+
year = {2023},
160+
url = {https://doi.org/10.1007/978-3-031-37703-7\_8},
56161
}
57162

58163
@inproceedings{HubersM23,
@@ -81,30 +186,85 @@ @inproceedings{AbreuDHJMS23
81186
}
82187

83188

84-
@InProceedings{BinderCICM24,
85-
author="Binder, Sage
86-
and Kosaian, Katherine",
87-
editor="Kohlhase, Andrea
88-
and Kov{\'a}cs, Laura",
89-
title="Formalizing {P}ick's Theorem in {I}sabelle/{HOL}",
90-
booktitle="Intelligent Computer Mathematics",
91-
year="2024",
92-
publisher="Springer Nature Switzerland",
93-
address="Cham",
94-
pages="109--126",
95-
isbn="978-3-031-66997-2"
189+
190+
@Comment{2022}
191+
192+
@inproceedings{DBLP:conf/cade/BarbosaRKLNNOPV22,
193+
author = {Haniel Barbosa and
194+
Andrew Reynolds and
195+
Gereon Kremer and
196+
Hanna Lachnitt and
197+
Aina Niemetz and
198+
Andres N{\"{o}}tzli and
199+
Alex Ozdemir and
200+
Mathias Preiner and
201+
Arjun Viswanathan and
202+
Scott Viteri and
203+
Yoni Zohar and
204+
Cesare Tinelli and
205+
Clark W. Barrett},
206+
editor = {Jasmin Blanchette and
207+
Laura Kov{\'{a}}cs and
208+
Dirk Pattinson},
209+
title = {Flexible Proof Production in an Industrial-Strength {SMT} Solver},
210+
booktitle = {Automated Reasoning - 11th International Joint Conference, {IJCAR}
211+
2022, Haifa, Israel, August 8-10, 2022, Proceedings},
212+
series = {Lecture Notes in Computer Science},
213+
volume = {13385},
214+
pages = {15--35},
215+
publisher = {Springer},
216+
year = {2022},
217+
url = {https://doi.org/10.1007/978-3-031-10769-6\_3},
218+
doi = {10.1007/978-3-031-10769-6\_3},
96219
}
97220

98-
@article{TangHLM24,
99-
author = {Wenhao Tang and
100-
Daniel Hillerstr{\"{o}}m and
101-
Sam Lindley and
102-
J. Garrett Morris},
103-
title = {Soundly Handling Linearity},
104-
journal = {Proc. {ACM} Program. Lang.},
105-
volume = {8},
106-
number = {{POPL}},
107-
pages = {1600--1628},
108-
year = {2024}
221+
@inproceedings{DBLP:conf/tacas/BarbosaBBKLMMMN22,
222+
author = {Haniel Barbosa and
223+
Clark W. Barrett and
224+
Martin Brain and
225+
Gereon Kremer and
226+
Hanna Lachnitt and
227+
Makai Mann and
228+
Abdalrhman Mohamed and
229+
Mudathir Mohamed and
230+
Aina Niemetz and
231+
Andres N{\"{o}}tzli and
232+
Alex Ozdemir and
233+
Mathias Preiner and
234+
Andrew Reynolds and
235+
Ying Sheng and
236+
Cesare Tinelli and
237+
Yoni Zohar},
238+
editor = {Dana Fisman and
239+
Grigore Rosu},
240+
title = {cvc5: {A} Versatile and Industrial-Strength {SMT} Solver},
241+
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
242+
- 28th International Conference, {TACAS} 2022, Held as Part of the
243+
European Joint Conferences on Theory and Practice of Software, {ETAPS}
244+
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
245+
series = {Lecture Notes in Computer Science},
246+
volume = {13243},
247+
pages = {415--442},
248+
publisher = {Springer},
249+
year = {2022},
250+
url = {https://doi.org/10.1007/978-3-030-99524-9\_24},
251+
}
252+
253+
@inproceedings{IngleHM22,
254+
author = {Apoorv Ingle and
255+
Alex Hubers and
256+
J. Garrett Morris},
257+
editor = {Nadia Polikarpova},
258+
title = {Partial type constructors in practice},
259+
booktitle = {Haskell '22: 15th {ACM} {SIGPLAN} International Haskell Symposium,
260+
Ljubljana, Slovenia, September 15 - 16, 2022},
261+
pages = {95--107},
262+
publisher = {{ACM}},
263+
year = {2022},
264+
url = {https://doi.org/10.1145/3546189.3549923},
265+
doi = {10.1145/3546189.3549923},
266+
timestamp = {Sun, 12 Feb 2023 18:48:40 +0100},
267+
biburl = {https://dblp.org/rec/conf/haskell/IngleHM22.bib},
268+
bibsource = {dblp computer science bibliography, https://dblp.org}
109269
}
110270

0 commit comments

Comments
 (0)