@inproceedings{ringer-2020-replica, series={POPL ’20}, title={REPLica: REPL instrumentation for Coq analysis}, url={http://dx.doi.org/10.1145/3372885.3373823}, DOI={10.1145/3372885.3373823}, booktitle={Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs}, publisher={ACM}, author={Ringer, Talia and Sanchez-Stern, Alex and Grossman, Dan and Lerner, Sorin}, year={2020}, month=Jan, pages={99–113}, collection={POPL ’20} }