Cosmological lower bound on the circuit complexity of a small problem in logic.
Towards a theory of cache-efficient algorithms.
Update: Time to publication statistics.
Correctness properties in a shared-memory parallel language.
Query evaluation via tree-decompositions.