Skip to content

Skeletal program enumeration for rigorous compiler testing.

Qirun Zhang, Chengnian Sun, Zhendong Su

VenueA*PLDI
Year2017
ProceedingsPLDI

Browse the full PLDI paper archive.