---
title: "ACM SIGPLAN International Conference on Certified Programs"
description: "ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP): 4 works in the Elamur Research library (2018–2019), 421…"
canonical: "https://research.elamur.ai/free/en/venues/acm-sigplan-international-conference-on-certified-programs-and-proofs-cpp/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/acm-sigplan-international-conference-on-certified-programs-and-proofs-cpp/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / ACM SIGPLAN International Conference on Certified Programs…

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

Conference series

- [OpenAlex](https://openalex.org/S7407089264)

[**4** works in our library](https://md.research.elamur.ai/free/en/venues/acm-sigplan-international-conference-on-certified-programs-and-proofs-cpp/#works) · [**421** citations of these works](https://md.research.elamur.ai/free/en/venues/acm-sigplan-international-conference-on-certified-programs-and-proofs-cpp/#works) · [**137** citations in our library](https://md.research.elamur.ai/free/en/venues/acm-sigplan-international-conference-on-certified-programs-and-proofs-cpp/#works) · [**2018–2019** years of the works here](#years)

## Works by year

Works in our library by year 4 dated works from 2018 to 2019; the busiest year is 2019 with 3.

**The numbers**

| Year | Works |
| --- | --- |
| 2019 | 3 |
| 2018 | 1 |

## Editions

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

### 2010s

[**2019** 3 papers](https://md.research.elamur.ai/free/en/venues/acm-sigplan-international-conference-on-certified-programs-and-proofs-cpp/2019/) · [**2018** 1 paper](https://md.research.elamur.ai/free/en/venues/acm-sigplan-international-conference-on-certified-programs-and-proofs-cpp/2018/)

## Top topics

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

[Reasoning (3)](https://md.research.elamur.ai/free/en/topics/reasoning/) · [Machine translation (1)](https://md.research.elamur.ai/free/en/topics/machine-translation/)

## Fields

[Computer Science (4)](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Arts and Humanities (1)](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Mathematics (1)](https://md.research.elamur.ai/free/en/shelves/mathematics/)

## Top authors

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

[🧑‍🔬**Cezary Kaliszyk**1 work here · 50 citations](https://md.research.elamur.ai/free/en/authors/cezary-kaliszyk/) · [🧑‍🔬**Josef Urban**1 work here · 50 citations](https://md.research.elamur.ai/free/en/authors/josef-urban/) · [🧑‍🔬**Qingxiang Wang**1 work here · 50 citations](https://md.research.elamur.ai/free/en/authors/qingxiang-wang/)

## Top institutions

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

[🎓**Université Paris-Sud** Orsay · France 1 work here](https://md.research.elamur.ai/free/en/universities/universite-paris-sud/) · [🔬**Centre National de la Recherche Scientifique** Paris · France 1 work here](https://md.research.elamur.ai/free/en/labs/centre-national-de-la-recherche-scientifique/) · [🎓**University of Freiburg** Freiburg im Breisgau · Germany 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-freiburg/) · [🎓**Universität Innsbruck** Innsbruck · Austria 1 work here](https://md.research.elamur.ai/free/en/universities/universitat-innsbruck/) · [🎓**University of Cambridge** Cambridge · United Kingdom 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-cambridge/) · [🎓**Czech Technical University in Prague** Prague · Czechia 1 work here](https://md.research.elamur.ai/free/en/universities/czech-technical-university-in-prague/) · [🎓**University of Warsaw** Warsaw · Poland 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-warsaw/) · [🎓**Imperial College London** London · United Kingdom 1 work here](https://md.research.elamur.ai/free/en/universities/imperial-college-london/)

## Works in our library (4)

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

1. **[The Lean mathematical library](https://md.research.elamur.ai/free/en/papers/community-2019-lean-mathematical-library/) ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)**The mathlib Community*2019 · 249 citations*
2. **[Mechanising and Verifying the WebAssembly Specification](https://md.research.elamur.ai/free/en/papers/watt-2018-mechanising-verifying-webassembly-specification/) ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)**Conrad Watt*2018 · 74 citations*
3. **[Exploration of Neural Machine Translation in Autoformalization of Mathematics in Mizar](https://md.research.elamur.ai/free/en/papers/wang-2019-exploration-neural-machine-translation-autoformalization/) ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)**Qingxiang Wang, Chad Brown, Cezary Kaliszyk, et al.*2019 · 50 citations*
4. **[Formalising perfectoid spaces](https://md.research.elamur.ai/free/en/papers/buzzard-2019-formalising-perfectoid-spaces/) ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)**Kevin Buzzard, Johan Commelin, Patrick Massot*2019 · 48 citations*

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