Certified Programs and Proofs
CPP
B
CORE rank
CORE rank (raw)
B
Fields of research
Theory of Computation · Software Engineering
Papers indexed
354
2011–2026
Papers per year
201129 peak2026
Most published authors
CPP papers
354 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2011 | Modular SMT Proofs for Fast Reflexive Checking Inside Coq. | Frdric Besson, Pierre-Emmanuel Cornilleau, David Pichardie |
| 2011 | Automatically Verifying Typing Constraints for a Data Processing Language. | Michael Backes, Catalin Hritcu, Thorsten Tarrach |
| 2011 | A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses. | Michal Armand, Germain Faure, Benjamin Grgoire, Chantal Keller, Laurent Thry, Benjamin Werner |
| 2011 | VeriSmall: Verified Smallfoot Shape Analysis. | Andrew W. Appel |
351–354 of 354← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*SODAACM/SIAM Symposium on Discrete Algorithms
- A*ICALPInternational Colloquium on Automata Languages and Programming
- A*STOCACM Symposium on Theory of Computing
- A*FOCSIEEE Symposium on Foundations of Computer Science
- AESAEuropean Symposium on Algorithms
- ASTACSInternational Symposium on Theoretical Aspects of Computer Science
- A*LICSIEEE Symposium on Logic in Computer Science
- AGDGraph Drawing