Defending cryptographic code from Spectre attacks is difficult. Blade is a fully automatic approach to eliminate speculative leaks provably and efficiently.
Academic communities have increased the reach and accessibility of their work by publishing interactive, open-access, open-source articles on the web that explain both core and emerging ideas in their fields. It’s time for the PL community to do the same.
Recent developments in e-graphs and equality saturation make a compelling case for a new way to build optimizers and synthesizers.