Measuring and Synthesizing Systems in Probabilistic Environments.
On the Complexity of Universal Leader Election.
Improved Smoothed Analysis of Multiobjective Optimization.
Approximating Minimum Bounded Degree Spanning Trees to within One of Optimal.
The Unique Games Conjecture, Integrality Gap for Cut Problems and Embeddability of Negative-Type Metrics into ℓ
Approximate Verification of the Symbolic Dynamics of Markov Chains.
Limited-Use Atomic Snapshots with Polylogarithmic Step Complexity.
Constant-Round Nonmalleable Commitments from Any One-Way Function.
Invited Articles Foreword.