@inproceedings{egolf-2022-verbatim, series={CPP ’22}, title={Verbatim++: verified, optimized, and semantically rich lexing with derivatives}, url={http://dx.doi.org/10.1145/3497775.3503694}, DOI={10.1145/3497775.3503694}, booktitle={Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs}, publisher={ACM}, author={Egolf, Derek and Lasser, Sam and Fisher, Kathleen}, year={2022}, month=Jan, pages={27–39}, collection={CPP ’22} }