Breccia: A Functional DSL Compiled to Egglog for Test Input Generation.

Peter Boyland, Sarah Canto Hyatt, Kyle Dewey, Ben Hardekopf

Browse the full FLOPS paper archive.