Elamur Research⌕
☰
home / venues / ACM SIGPLAN International Conference on Certified Programs…

ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)

Conference series

OpenAlex

 4works in our library 421citations of these works 137citations in our library 2018–2019years of the works here

 Works by year

Works in our library by year

4 dated works from 2018 to 2019; the busiest year is 2019 with 3.

Works in our library by year32018: 120182019: 32019
The numbers
YearWorks
20193
20181

Editions

Each year with works in our library has its page: the place and dates where known, its works, topics, authors and institutions.

2010s

20193 papers20181 paper

 Top topics

Topics of its works in our library, with the number of works on each.

Reasoning (3)Machine translation (1)

 Fields

Computer Science (4)Arts and Humanities (1)Mathematics (1)

 Top authors

Authors with a page who published here most often: their works here, and the citations of those works.

🧑‍🔬Cezary Kaliszyk1 work here · 50 citations🧑‍🔬Josef Urban1 work here · 50 citations🧑‍🔬Qingxiang Wang1 work here · 50 citations

 Top institutions

Institutions on the bylines of its works here, by the number of works.

🎓Université Paris-SudOrsay · France1 work here🔬Centre National de la Recherche ScientifiqueParis · France1 work here🎓University of FreiburgFreiburg im Breisgau · Germany1 work here🎓Universität InnsbruckInnsbruck · Austria1 work here🎓University of CambridgeCambridge · United Kingdom1 work here🎓Czech Technical University in PraguePrague · Czechia1 work here🎓University of WarsawWarsaw · Poland1 work here🎓Imperial College LondonLondon · United Kingdom1 work here

 Works in our library (4)

The most cited first (OpenAlex citations plus our library's).

  1. The Lean mathematical libraryACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)The mathlib Community2019 · 249 citations
  2. Mechanising and Verifying the WebAssembly SpecificationACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)Conrad Watt2018 · 74 citations
  3. Exploration of Neural Machine Translation in Autoformalization of Mathematics in MizarACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)Qingxiang Wang, Chad Brown, Cezary Kaliszyk, et al.2019 · 50 citations
  4. Formalising perfectoid spacesACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)Kevin Buzzard, Johan Commelin, Patrick Massot2019 · 48 citations

Venues, publishers and identifiers from OpenAlex (2026-10-14) and the ACL Anthology; yearly proceedings are counted as one series.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/acm-sigplan-international-conference-on-certified-programs-and-proofs-cpp/