Five easy pieces of advice to getting your work to have real-world impact: not guaranteed to get your work adopted, but will definitely increase the odds of luck being on your side.
We accept that data structure determines program structure. But we should not forget that it is not just the input data that may be structured: output data may be structured too, and both may determine program structure.
The usage of the term program verification has expanded well beyond its original meaning. As research in this space advances and expands, is it time to reconsider the term?
A Checklist Manifesto for Empirical Evaluation: A Preemptive Strike Against a Replication Crisis in Computer Science
To avoid an empirical replication crisis in programming languages research, PL researchers should employ the best scientific practices for empirical evaluation. A SIGPLAN empirical evaluation committee has assembled a checklist to help.
Journals broaden the impact of PL. One way to make journals a more attractive publication vehicle is to allow presentations of journal papers at PL conferences, as TOPLAS does.
How should ACM address its contribution to climate change? After two years of discussions and study, the SIGPLAN Climate Committee proposes that (1) all ACM conferences should publicly *account* for the CO2e emitted as a result of putting them on; and that (2) ACM should put a *price* on carbon in conference budgets, to create incentive for organizers to reduce their footprints.