CoStar: a verified ALL(*) parser

Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux. CoStar: a verified ALL(*) parser. In Stephen N. Freund, Eran Yahav, editors, PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 20211. pages 420-434, ACM, 2021. [doi]

Authors

Sam Lasser

This author has not been identified. Look up 'Sam Lasser' in Google

Chris Casinghino

This author has not been identified. Look up 'Chris Casinghino' in Google

Kathleen Fisher

This author has not been identified. It may be one of the following persons: Look up 'Kathleen Fisher' in Google

Cody Roux

This author has not been identified. Look up 'Cody Roux' in Google