Kaiserstraße 21 66386 St. Ingbert (Germany)
Automatic and Incremental Repair for Speculative Information Leaks.
Symposium on Principles of Programming Languages (POPL)