default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/cpp/cpp2019.bht:"
download as .bib file@inproceedings{DBLP:conf/cpp/0002KS19,
author = {Yannick Forster and
Dominik Kirst and
Gert Smolka},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {On synthetic undecidability in coq, with an application to the entscheidungsproblem},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {38--51},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294091},
doi = {10.1145/3293880.3294091},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/0002KS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/BenzakenC19,
author = {V{\'{e}}ronique Benzaken and
Evelyne Contejean},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {A Coq mechanised formal semantics for realistic {SQL} queries: formally
reconciling {SQL} and bag relational algebra},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {249--261},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294107},
doi = {10.1145/3293880.3294107},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/BenzakenC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Blanchette19,
author = {Jasmin Christian Blanchette},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {Formalizing the metatheory of logical calculi and automatic provers
in Isabelle/HOL (invited talk)},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {1--13},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294087},
doi = {10.1145/3293880.3294087},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/Blanchette19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/BlazyH19,
author = {Sandrine Blazy and
R{\'{e}}mi Hutin},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {Formal verification of a program obfuscation based on mixed Boolean-arithmetic
expressions},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {196--208},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294103},
doi = {10.1145/3293880.3294103},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/BlazyH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/ChaudhuriM019,
author = {Kaustuv Chaudhuri and
Matteo Manighetti and
Dale Miller},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {A proof-theoretic approach to certifying skolemization},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {78--90},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294094},
doi = {10.1145/3293880.3294094},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/ChaudhuriM019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Eberl19,
author = {Manuel Eberl},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {Verified solving and asymptotics of linear recurrences},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {27--37},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294090},
doi = {10.1145/3293880.3294090},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/Eberl19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/FelgenhauerMPR19,
author = {Bertram Felgenhauer and
Aart Middeldorp and
T. V. H. Prathamesh and
Franziska Rapp},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {A verified ground confluence tool for linear variable-separated rewrite
systems in Isabelle/HOL},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {132--143},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294098},
doi = {10.1145/3293880.3294098},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/FelgenhauerMPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Felty19,
author = {Amy P. Felty},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {A linear logical framework in hybrid (invited talk)},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {14},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294088},
doi = {10.1145/3293880.3294088},
timestamp = {Fri, 04 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/Felty19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/ForsterL19,
author = {Yannick Forster and
Dominique Larchey{-}Wendling},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {Certified undecidability of intuitionistic linear logic via binary
stack machines and minsky machines},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {104--117},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294096},
doi = {10.1145/3293880.3294096},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/ForsterL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/ForsterSSS19,
author = {Yannick Forster and
Steven Sch{\"{a}}fer and
Simon Spies and
Kathrin Stark},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {Call-by-push-value in coq: operational, equational, and denotational
theory},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {118--131},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294097},
doi = {10.1145/3293880.3294097},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/ForsterSSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/ImmlerZ19,
author = {Fabian Immler and
Bohua Zhan},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {Smooth manifolds and types to sets for linear algebra in Isabelle/HOL},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {65--77},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294093},
doi = {10.1145/3293880.3294093},
timestamp = {Fri, 04 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/ImmlerZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Koh0LXBHMPZ19,
author = {Nicolas Koh and
Yao Li and
Yishuai Li and
Li{-}yao Xia and
Lennart Beringer and
Wolf Honor{\'{e}} and
William Mansky and
Benjamin C. Pierce and
Steve Zdancewic},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {From {C} to interaction trees: specifying, verifying, and testing
a networked server},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {234--248},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294106},
doi = {10.1145/3293880.3294106},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/Koh0LXBHMPZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Lewis19,
author = {Robert Y. Lewis},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {A formal proof of hensel's lemma over the p-adic integers},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {15--26},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294089},
doi = {10.1145/3293880.3294089},
timestamp = {Fri, 04 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/Lewis19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/LiP19,
author = {Wenda Li and
Lawrence C. Paulson},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {Counting polynomial roots in isabelle/hol: a formal proof of the budan-fourier
theorem},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {52--64},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294092},
doi = {10.1145/3293880.3294092},
timestamp = {Thu, 06 Feb 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/LiP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/LochmannS19,
author = {Alexander Lochmann and
Christian Sternagel},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {Certified {ACKBO}},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {144--151},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294099},
doi = {10.1145/3293880.3294099},
timestamp = {Fri, 04 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/LochmannS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/ManskyG19,
author = {Susannah Mansky and
Elsa L. Gunter},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {Dynamic class initialization semantics: a jinja extension},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {209--221},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294104},
doi = {10.1145/3293880.3294104},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/ManskyG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/RoessleVR19,
author = {Ian Roessle and
Freek Verbeek and
Binoy Ravindran},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {Formally verified big step semantics out of x86-64 binaries},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {181--195},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294102},
doi = {10.1145/3293880.3294102},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/RoessleVR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/SchlichtkrullBT19,
author = {Anders Schlichtkrull and
Jasmin Christian Blanchette and
Dmitriy Traytel},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {A verified prover based on ordered resolution},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {152--165},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294100},
doi = {10.1145/3293880.3294100},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/SchlichtkrullBT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/StarkSK19,
author = {Kathrin Stark and
Steven Sch{\"{a}}fer and
Jonas Kaiser},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {Autosubst 2: reasoning with multi-sorted de Bruijn terms and vector
substitutions},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {166--180},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294101},
doi = {10.1145/3293880.3294101},
timestamp = {Fri, 04 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/StarkSK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/WinterhalterST19,
author = {Th{\'{e}}o Winterhalter and
Matthieu Sozeau and
Nicolas Tabareau},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {Eliminating reflection from type theory},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {91--103},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294095},
doi = {10.1145/3293880.3294095},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/WinterhalterST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/YeD19,
author = {Qianchuan Ye and
Benjamin Delaware},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {A verified protocol buffer compiler},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {222--233},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294105},
doi = {10.1145/3293880.3294105},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/YeD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpp/2019,
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://dl.acm.org/citation.cfm?id=3293880},
isbn = {978-1-4503-6222-1},
timestamp = {Fri, 04 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/2019.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 2025-07-12 05:05 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:
