At least in programming languages, systems, and formal verification project code is both available and often evaluated along side the publication. For example F

At least in programming languages, systems, and formal verification project code is both available and often evaluated along side the publication. For example FSCQ(https://github.com/mit-pdos/fscq-impl https://github.com/mit-pdos/fscq-impl) from MIT, Verdi (https://github.com/uwplse/verdi https://github.com/uwplse/verdi) from UW, Dune(http://dune.scs.stanford.edu/ http://dune.scs.stanford.edu/) from Stanford, and many more. These are just the areas I work in, its very hard to making sweeping statement about CS as a full field since it is very diverse sub-community to sub-community.