Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade
Defending cryptographic code from Spectre attacks is difficult. Blade is a fully automatic approach to eliminate speculative leaks provably and efficiently.
Making PL Ideas Accessible: An Open-Source, Open-Access, Interactive Journal
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.
Fast and Extensible Equality Saturation with egg
Recent developments in e-graphs and equality saturation make a compelling case for a new way to build optimizers and synthesizers.
