CAV 2014 のCFP http://cavconference.org/call-for-papers-2/ に以下のように書いてあって、おお～と思った。
The authors of tool papers and papers with experimental evaluation should make every effort to make results reproducible by submitting through EasyChair a repository including the implementation in source and binary as well as benchmarks and logfiles. If this is not possible, the reasons should be explained in the paper.
https://plus.google.com/100215187201873478127/posts/f3DNZeo39zM