default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/itp/itp2022.bht:"
download as .bib file
@inproceedings{DBLP:conf/itp/0002KL22,
author = {Yannick Forster and
Fabian Kunze and
Nils Lauermann},
editor = {June Andronick and
Leonardo de Moura},
title = {Synthetic Kolmogorov Complexity in Coq},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {12:1--12:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.12},
doi = {10.4230/LIPICS.ITP.2022.12},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/0002KL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/AbrahamssonMKS22,
author = {Oskar Abrahamsson and
Magnus O. Myreen and
Ramana Kumar and
Thomas Sewell},
editor = {June Andronick and
Leonardo de Moura},
title = {Candle: {A} Verified Implementation of {HOL} Light},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {3:1--3:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.3},
doi = {10.4230/LIPICS.ITP.2022.3},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/AbrahamssonMKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Baanen22,
author = {Anne Baanen},
editor = {June Andronick and
Leonardo de Moura},
title = {Use and Abuse of Instance Parameters in the Lean Mathematical Library},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {4:1--4:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.4},
doi = {10.4230/LIPICS.ITP.2022.4},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itp/Baanen22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BapanapallyG22,
author = {Jagadish Bapanapally and
Ruben Gamboa},
editor = {June Andronick and
Leonardo de Moura},
title = {A Complete, Mechanically-Verified Proof of the Banach-Tarski Theorem
in {ACL2(R)}},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {5:1--5:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.5},
doi = {10.4230/LIPICS.ITP.2022.5},
timestamp = {Thu, 04 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/BapanapallyG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BeckerTDVJ22,
author = {Heiko Becker and
Mohit Tekriwal and
Eva Darulova and
Anastasia Volkova and
Jean{-}Baptiste Jeannin},
editor = {June Andronick and
Leonardo de Moura},
title = {Dandelion: Certified Approximations of Elementary Functions},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {6:1--6:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.6},
doi = {10.4230/LIPICS.ITP.2022.6},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/BeckerTDVJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BiernackaCD22,
author = {Malgorzata Biernacka and
Witold Charatonik and
Tomasz Drab},
editor = {June Andronick and
Leonardo de Moura},
title = {The Zoo of Lambda-Calculus Reduction Strategies, And Coq},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {7:1--7:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.7},
doi = {10.4230/LIPICS.ITP.2022.7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itp/BiernackaCD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/DesharnaisVBW22,
author = {Martin Desharnais and
Petar Vukmirovic and
Jasmin Blanchette and
Makarius Wenzel},
editor = {June Andronick and
Leonardo de Moura},
title = {Seventeen Provers Under the Hammer},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {8:1--8:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.8},
doi = {10.4230/LIPICS.ITP.2022.8},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itp/DesharnaisVBW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/DilliesM22,
author = {Ya{\"{e}}l Dillies and
Bhavik Mehta},
editor = {June Andronick and
Leonardo de Moura},
title = {Formalising Szemer{\'{e}}di's Regularity Lemma in Lean},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {9:1--9:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.9},
doi = {10.4230/LIPICS.ITP.2022.9},
timestamp = {Thu, 04 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/DilliesM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/DupuisLM22,
author = {Fr{\'{e}}d{\'{e}}ric Dupuis and
Robert Y. Lewis and
Heather Macbeth},
editor = {June Andronick and
Leonardo de Moura},
title = {Formalized functional analysis with semilinear maps},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {10:1--10:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.10},
doi = {10.4230/LIPICS.ITP.2022.10},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/DupuisLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/EdmondsP22,
author = {Chelsea Edmonds and
Lawrence C. Paulson},
editor = {June Andronick and
Leonardo de Moura},
title = {Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques
in Combinatorics},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {11:1--11:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.11},
doi = {10.4230/LIPICS.ITP.2022.11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itp/EdmondsP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Felty22,
author = {Amy P. Felty},
editor = {June Andronick and
Leonardo de Moura},
title = {Modelling and Verifying Properties of Biological Neural Networks (Invited
Talk)},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {1:1--1:2},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.1},
doi = {10.4230/LIPICS.ITP.2022.1},
timestamp = {Thu, 04 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/Felty22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/FromJ22,
author = {Asta Halkj{\ae}r From and
Frederik Krogsdal Jacobsen},
editor = {June Andronick and
Leonardo de Moura},
title = {Verifying a Sequent Calculus Prover for First-Order Logic with Functions
in Isabelle/HOL},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {13:1--13:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.13},
doi = {10.4230/LIPICS.ITP.2022.13},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itp/FromJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Frutos-Fernandez22,
author = {Mar{\'{\i}}a In{\'{e}}s de Frutos{-}Fern{\'{a}}ndez},
editor = {June Andronick and
Leonardo de Moura},
title = {Formalizing the Ring of Ad{\`{e}}les of a Global Field},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {14:1--14:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.14},
doi = {10.4230/LIPICS.ITP.2022.14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/Frutos-Fernandez22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/GengelbachP22,
author = {Arve Gengelbach and
Johannes {\AA}man Pohjola},
editor = {June Andronick and
Leonardo de Moura},
title = {A Verified Cyclicity Checker: For Theories with Overloaded Constants},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {15:1--15:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.15},
doi = {10.4230/LIPICS.ITP.2022.15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/GengelbachP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/GoertzelJKOPU22,
author = {Zarathustra Amadeus Goertzel and
Jan Jakubuv and
Cezary Kaliszyk and
Miroslav Ols{\'{a}}k and
Jelle Piepenbrock and
Josef Urban},
editor = {June Andronick and
Leonardo de Moura},
title = {The Isabelle {ENIGMA}},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {16:1--16:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.16},
doi = {10.4230/LIPICS.ITP.2022.16},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itp/GoertzelJKOPU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/GrossEPPC22,
author = {Jason Gross and
Andres Erbsen and
Jade Philipoom and
Miraya Poddar{-}Agrawal and
Adam Chlipala},
editor = {June Andronick and
Leonardo de Moura},
title = {Accelerating Verified-Compiler Development with a Verified Rewriting
Engine},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {17:1--17:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.17},
doi = {10.4230/LIPICS.ITP.2022.17},
timestamp = {Thu, 04 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/GrossEPPC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/GrossZPC22,
author = {Jason Gross and
Th{\'{e}}o Zimmermann and
Miraya Poddar{-}Agrawal and
Adam Chlipala},
editor = {June Andronick and
Leonardo de Moura},
title = {Automatic Test-Case Reduction in Proof Assistants: {A} Case Study
in Coq},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {18:1--18:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.18},
doi = {10.4230/LIPICS.ITP.2022.18},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itp/GrossZPC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/HostertDK22,
author = {Johannes Hostert and
Andrej Dudenhefner and
Dominik Kirst},
editor = {June Andronick and
Leonardo de Moura},
title = {Undecidability of Dyadic First-Order Logic in Coq},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {19:1--19:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.19},
doi = {10.4230/LIPICS.ITP.2022.19},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itp/HostertDK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/KanabarFM22,
author = {Hrutvik Kanabar and
Anthony C. J. Fox and
Magnus O. Myreen},
editor = {June Andronick and
Leonardo de Moura},
title = {Taming an Authoritative Armv8 {ISA} Specification: {L3} Validation
and CakeML Compiler Verification},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {20:1--20:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.20},
doi = {10.4230/LIPICS.ITP.2022.20},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/KanabarFM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Karayel22,
author = {Emin Karayel},
editor = {June Andronick and
Leonardo de Moura},
title = {Formalization of Randomized Approximation Algorithms for Frequency
Moments},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {21:1--21:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.21},
doi = {10.4230/LIPICS.ITP.2022.21},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/Karayel22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Kirst22,
author = {Dominik Kirst},
editor = {June Andronick and
Leonardo de Moura},
title = {Computational Back-And-Forth Arguments in Constructive Type Theory},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {22:1--22:12},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.22},
doi = {10.4230/LIPICS.ITP.2022.22},
timestamp = {Thu, 04 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/Kirst22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Kudryashov22,
author = {Yury Kudryashov},
editor = {June Andronick and
Leonardo de Moura},
title = {Formalizing the Divergence Theorem and the Cauchy Integral Formula
in Lean},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {23:1--23:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.23},
doi = {10.4230/LIPICS.ITP.2022.23},
timestamp = {Thu, 04 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/Kudryashov22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Lammich22,
author = {Peter Lammich},
editor = {June Andronick and
Leonardo de Moura},
title = {Refinement of Parallel Algorithms down to {LLVM}},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {24:1--24:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.24},
doi = {10.4230/LIPICS.ITP.2022.24},
timestamp = {Thu, 04 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/Lammich22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Magaud22,
author = {Nicolas Magaud},
editor = {June Andronick and
Leonardo de Moura},
title = {Proof Pearl: Formalizing Spreads and Packings of the Smallest Projective
Space PG(3, 2) Using the Coq Proof Assistant},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {25:1--25:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.25},
doi = {10.4230/LIPICS.ITP.2022.25},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itp/Magaud22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/PakK22,
author = {Karol Pak and
Cezary Kaliszyk},
editor = {June Andronick and
Leonardo de Moura},
title = {Formalizing a Diophantine Representation of the Set of Prime Numbers},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {26:1--26:8},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.26},
doi = {10.4230/LIPICS.ITP.2022.26},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itp/PakK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/PohjolaGSN22,
author = {Johannes {\AA}man Pohjola and
Alejandro G{\'{o}}mez{-}Londo{\~{n}}o and
James Shaker and
Michael Norrish},
editor = {June Andronick and
Leonardo de Moura},
title = {Kalas: {A} Verified, End-To-End Compiler for a Choreographic Language},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {27:1--27:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.27},
doi = {10.4230/LIPICS.ITP.2022.27},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itp/PohjolaGSN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/PrinzKL22,
author = {Jacob Prinz and
G. A. Kavvos and
Leonidas Lampropoulos},
editor = {June Andronick and
Leonardo de Moura},
title = {Deeper Shallow Embeddings},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {28:1--28:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.28},
doi = {10.4230/LIPICS.ITP.2022.28},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itp/PrinzKL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Sakaguchi22,
author = {Kazuhiko Sakaguchi},
editor = {June Andronick and
Leonardo de Moura},
title = {Reflexive Tactics for Algebra, Revisited},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {29:1--29:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.29},
doi = {10.4230/LIPICS.ITP.2022.29},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itp/Sakaguchi22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/StoughtonCGQ22,
author = {Alley Stoughton and
Carol Chen and
Marco Gaboardi and
Weihao Qu},
editor = {June Andronick and
Leonardo de Moura},
title = {Formalizing Algorithmic Bounds in the Query Model in EasyCrypt},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {30:1--30:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.30},
doi = {10.4230/LIPICS.ITP.2022.30},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/StoughtonCGQ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/VajjhaTSP22,
author = {Koundinya Vajjha and
Barry M. Trager and
Avraham Shinnar and
Vasily Pestun},
editor = {June Andronick and
Leonardo de Moura},
title = {Formalization of a Stochastic Approximation Theorem},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {31:1--31:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.31},
doi = {10.4230/LIPICS.ITP.2022.31},
timestamp = {Thu, 04 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/VajjhaTSP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/X22,
editor = {June Andronick and
Leonardo de Moura},
title = {Front Matter, Table of Contents, Preface, Conference Organization},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {0:1--0:10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.0},
doi = {10.4230/LIPICS.ITP.2022.0},
timestamp = {Thu, 04 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/X22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/YeagerMNT22,
author = {Jared Yeager and
J. Eliot B. Moss and
Michael Norrish and
Philip S. Thomas},
editor = {June Andronick and
Leonardo de Moura},
title = {Mechanizing Soundness of Off-Policy Evaluation},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {32:1--32:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.32},
doi = {10.4230/LIPICS.ITP.2022.32},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/YeagerMNT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Zhan22,
author = {Bohua Zhan},
editor = {June Andronick and
Leonardo de Moura},
title = {User Interface Design in the HolPy Theorem Prover (Invited Talk)},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {2:1--2:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.2},
doi = {10.4230/LIPICS.ITP.2022.2},
timestamp = {Thu, 04 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/Zhan22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/ZhanLWZHYX22,
author = {Bohua Zhan and
Yi Lv and
Shuling Wang and
Gehang Zhao and
Jifeng Hao and
Hong Ye and
Bican Xia},
editor = {June Andronick and
Leonardo de Moura},
title = {Compositional Verification of Interacting Systems Using Event Monads},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {33:1--33:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.33},
doi = {10.4230/LIPICS.ITP.2022.33},
timestamp = {Thu, 04 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/ZhanLWZHYX22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itp/2022,
editor = {June Andronick and
Leonardo de Moura},
title = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-252-5},
isbn = {978-3-95977-252-5},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-10-15 04:57 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
