Lower Bounds for Distributed Coin-Flipping and Randomized Consensus.
Proof Verification and the Hardness of Approximation Problems.
Fault-Tolerant Wait-Free Shared Objects.
Efficient Descriptor-Vector Multiplications in Stochastic Automata Networks.
Time to Publication: A Progress Report.