Defending cryptographic code from Spectre attacks is difficult. Blade is a fully automatic approach to eliminate speculative leaks provably and efficiently.
The cost of inference is the primary barrier for wider application of probabilistic programming languages. How can we scale inference to truly huge programs?
SIGPLAN organizes conferences, funds travel for students, and gives awards in the area of programming languages.