My group’s paper Finding and Understanding Bugs in C Compilers was accepted to PLDI 2011 (subject to shepherding, which is generally a pretty calm process). I’m excited about this since we’ve put a lot of effort into this project. Thanks to all the people who helped us make this work better!
8 responses to “Csmith @ PLDI”
Congratulations John! I’m looking forward to read the paper.
Excellent!
Like
Congratulations!
Are you still planning to release the source code for the test generator?
A part of my job is hunting compiler bugs and minizing the testcases. There are a number of compiler problem that only occur in automatically generated C code (because of huge functions, etc), so your work seems directly relevant.
It would be really interesting to extend the testcase generator with performance metrics, for example counting the number of memory references or measuring the processor cache utilization.
I’m ooking forward to your paper/presentation.
Awesome, congratz!
Congratulations! That’s awesome. I look forward to reading the paper.
COOL! It is really a good paper anyway.
Congrats!