by Jeremy Gibbons on Jul 3, 2019 | Tags: conferences, open access
This post is about Plan-S, a new policy being agreed by cOAlition-S, a consortium of (mostly) European research funding agencies. The policy will mandate Gold Open Access to the research funded by these agencies. The effects will be dramatic: in Programming Languages...
Read more...
by Catalin Hritcu, David Chisnall, Deepak Garg, and Mathias Payer on Jul 1, 2019 | Tags: compilers, formal verification, hardware, security, systems
*Secure compilation* is an emerging field that puts together advances in programming languages, security, compilers, systems, formal verification, and hardware architectures. It aims to devise compilation chains that eliminate many of today’s security attacks, without sacrificing efficiency, and allowing sound reasoning about security properties in the source language.
Read more...