Certificate Translation in Abstract Interpretation
Abstract elided by the publisher.
Related papers
- An Abstract Model of Certificate Translation TOPLAS 2011
- Abstract Interpretation-Based Certification of Assembly Code VMCAI 2003
- Symbolic transfer function-based approaches to certified compilation POPL 2004
- Certificate Translation for Optimizing Compilers SAS 2006
- Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra SAS 2013
- Certificate translation for optimizing compilers TOPLAS 2009
- A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems TACAS 2023
- Fast and precise certification of transformers PLDI 2021