Skeletal program enumeration for rigorous compiler testing

Publication
38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
Chengnian Sun
Chengnian Sun
Associate Professor of Computer Science

My research interests include software engineering and programming languages.