The Community for Technology Leaders
2013 IEEE 54th Annual Symposium on Foundations of Computer Science (2005)
Pittsburgh, Pennsylvania, USA
Oct. 23, 2005 to Oct. 25, 2005
ISBN: 0-7695-2468-0

Foreword (PDF)

pp. x
Tutorial 1

On the Unique Games Conjecture (PDF)

Subhash Khot , Georgia Inst. of Technology
pp. 3
Tutorial 2

Algorithmic Techniques and Tools from Computational Geometry (PDF)

Bernard Chazelle , Department of Computer Science Princeton University
pp. 7
Session 1

Agnostically Learning Halfspaces (Abstract)

Rocco A. Servedio , Columbia University
Adam Tauman Kalai , TTI-Chicago
Yishay Mansour , Tel Aviv University
Adam R. Klivans , UT-Austin
pp. 11-20

Every decision tree has an influential variable (Abstract)

Michael Saks , Rutgers University
Rocco A. Servedio , Columbia University
Oded Schramm , Microsoft Research
Ryan O'Donnell , Microsoft Research
pp. 31-39

Lower Bounds for the Noisy Broadcast Problem (Abstract)

Navin Goyal , Dept. of Computer Science Rutgers University
Michael Saks , Dept. of Mathematics Rutgers University
Guy Kindler , Princeton University
pp. 40-52
Session 2 Best Paper Award:

The Closest Substring problem with small distances (Abstract)

Daniel Marx , Budapest University, Hungary
pp. 63-72

Fitting tree metrics: Hierarchical clustering and Phylogeny (Abstract)

Moses Charikar , Princeton University
Nir Ailon , Princeton University
pp. 73-82

Metric Embeddings with Relaxed Guarantees (Abstract)

Kedar Dhamdhere Dhamdhere , Kedar Dhamdhere
Jon Kleinberg , Jon Kleinberg
T-H. Hubert Chan , T-H. Hubert Chan
Ofer Neiman , Ofer Neiman
Ittai Abraham , Ittai Abraham
Anupam Gupta , Anupam Gupta
Aleksandrs Slivkins , Aleksandrs Slivkins
Yair Bartal , Yair Bartal
pp. 83-100

Nonembeddability theorems via Fourier analysis (Abstract)

Assaf Naor , Microsoft Corporation Theory Group, Microsoft Research
Subhash Khot , Georgia Institute of Technology
pp. 101-112
Session 3 Machtey Award

On the Complexity of Two-PlayerWin-Lose Games (Abstract)

Paul Valiant , MIT, Computer Science and Artificial Intelligence Laboratory
pp. 113-122

Nash Equilibria in Random Games (Abstract)

Imre Barany , Imre Barany
Adrian Vetta , Adrian Vetta
pp. 123-131

Query Incentive Networks (Abstract)

Jon Kleinberg , Jon Kleinberg
pp. 132-141

Sink Equilibria and Convergence (Abstract)

Adrian Vetta , McGill University
pp. 142-154
Session 4 Machtey Award Paper

On the Complexity of Real Functions (Abstract)

Mark Braverman , University of Toronto
pp. 155-164

Linear Lower Bounds on Real-World Implementations of Concurrent Objects (Abstract)

Danny Hendler , University of Toronto
Faith Ellen Fich , University of Toronto
Nir Shavit , Sun Microsystems Laboratories
pp. 165-173

Towards a Final Analysis of Pairing Heaps (Abstract)

Seth Pettie , Max Planck Institut fur Informatik
pp. 174-183

Structuring labeled trees for optimal succinctness, and beyond (Abstract)

Fabrizio Luccio , University of Pisa
S. Muthukrishnan , Rutgers University
Paolo Ferragina , University of Pisa
Giovanni Manzini , University of Piemonte Orientale
pp. 184-196
Session 5

Approximation Algorithms for Unique Games (Abstract)

Luca Trevisan , U.C. Berkeley
pp. 197-205

On Non-Approximability for Quadratic Programs (Abstract)

Muli Safra , Institute for Advanced Study, Princeton University
Guy Kindler , Institute for Advanced Study, Princeton University
Elad Hazan , Computer Science Department,Princeton University
Eli Berger , Institute for Advanced Study, Princeton University
Sanjeev Arora , Computer Science Department, Princeton University
pp. 206-215

Hardness of the Undirected Edge-Disjoint Paths Problem with Congestion (Abstract)

Julia Chuzhoy , CSAIL, MIT and Dept. of CIS, University of Pennsylvania,
Sanjeev Khanna , Dept. of CIS, University of Pennsylvania,
Matthew Andrews , Bell Laboratories, Lucent Technologies,
Lisa Zhang , Bell Laboratories, Lucent Technologies
pp. 226-244
Session 6

Approximation Algorithms for Scheduling on Multiple Machines (PDF)

Aravind Srinivasan , University of Maryland
V.S. Anil Kumar , Virginia Tech
Srinivasan Parthasarathy , University of Maryland
Madhav V. Marathe , Virginia Tech
pp. 254-263

AdWords and Generalized On-line Matching (Abstract)

Aranyak Mehta , Aranyak Mehta
Umesh Vazirani , Umesh Vazirani
Vijay Vazirani , Vijay Vazirani
Amin Saberi , Amin Saberi
pp. 264-273

The Parking Permit Problem (Abstract)

Adam Meyerson Meyerson , University of California, Los Angeles
pp. 274-284
Session 7 Best Paper Award

Correcting Errors Beyond the Guruswami-Sudan Radius in Polynomial Time (Abstract)

Farzad Parvaresh , University of California San Diego
Alexander Vardy , University of California San Diego
pp. 285-294

Error Correction via Linear Programming (Abstract)

Emmanuel Candes , Caltech
Roman Vershynin , University of California, Davis
Mark Rudelson , University of Missouri
pp. 295-308

Error-Correcting Codes for Automatic Control (Abstract)

Leonard J. Schulman , Leonard J. Schulman
Yuval Rabani , Yuval Rabani
Rafail Ostrovsky , Rafail Ostrovsky
pp. 309-316

Almost Orthogonal Linear Codes are Locally Testable (Abstract)

Tali Kaufman , School of Computer Science, Tel Aviv University
Simon Litsyn , Department of Electrical Engineering-Systems,Tel Aviv University
pp. 317-326

On Delsarte?s Linear Programming Bounds for Binary Codes (Abstract)

Michael Navon , The Hebrew University of Jerusalem
Alex Samorodnitsky , The Hebrew University of Jerusalem
pp. 327-338
Session 8

Fast Algorithms for Approximate Semide.nite Programming using the Multiplicative Weights Update Method (Abstract)

Satyen Kale , Princeton University
Elad Hazan , Princeton University
Sanjeev Arora , Princeton University
pp. 339-348

How to Pay, Come What May: Approximation Algorithms for Demand-Robust Covering Problems (Abstract)

Mohit Singh , Carnegie Mellon University
R. Ravi , Carnegie Mellon University
Vineet Goyal , Carnegie Mellon University
Kedar Dhamdhere , Google Inc.
pp. 367-378
Session 9

Group-theoretic Algorithms for Matrix Multiplication (Abstract)

Henry Cohn , Henry Cohn
Balazs Szegedy , Balazs Szegedy
Robert Kleinberg , Robert Kleinberg
Christopher Umans , Christopher Umans
pp. 379-388

A Randomness-Efficient Sampler for Matrix-valued Functions and Applications (Abstract)

David Xiao , Princeton Univeristy
Avi Wigderson , Institute for Advanced Study, Princeton Univeristy
pp. 397-406

Deterministic Extractors for Affine Sources over Large Fields (Abstract)

Ariel Gabizon , Weizmann Institute
Ran Raz , Weizmann Institute
pp. 407-418
Session 10

Additive Approximation for Edge-Deletion Problems (Abstract)

Benny Sudakov , Princeton University
Noga Alon , Tel-Aviv University
Asaf Shapira , Tel-Aviv University
pp. 419-428

An Algorithmic Version of the Hypergraph Regularity Method (Abstract)

P.E. Haxell , University of Waterloo
V. Rodl , Emory University
B. Nagle , University of Nevada
pp. 439-448
Session 11

Cryptography In the Bounded Quantum-Storage Model (Abstract)

Serge Fehr , Serge Fehr
Ivan B. Damgard , Ivan B. Damgard
Louis Salvail , Louis Salvail
Christian Schaffner , Christian Schaffner
pp. 449-458

Quantum Information and the PCP Theorem (Abstract)

Ran Raz , Weizmann Institute
pp. 459-468
Session 12

On Learning Mixtures of Heavy-Tailed Distributions (Abstract)

Anirban Dasgupta , Anirban Dasgupta
John Hopcroft , John Hopcroft
Jon Kleinberg , Jon Kleinberg
Mark Sandler , Mark Sandler
pp. 491-500

Learning mixtures of product distributions over discrete domains (Abstract)

Rocco A. Servedio , Dept. of Computer Science, Columbia University
Ryan ODonnell , Microsoft Research
Jon Feldman , Columbia University
pp. 501-510

Safraless Decision Procedures (Abstract)

Moshe Y. Vardi , Rice University
Orna Kupferman , Hebrew University
pp. 531-542
Session 13

The Complexity of Online Memory Checking (Abstract)

Moni Naor , Weizmann Institute of Science
Guy N. Rothblum , Weizmann Institute of Science
pp. 573-584
Session 14

Rational Secure Computation and Ideal Mechanism Design (Abstract)

Silvio Micali , CSAIL, MIT
Matt Lepinski , CSAIL, MIT
Sergei Izmalkov , Dept of Economics, MIT
pp. 585-595

Mechanism Design via Machine Learning (Abstract)

Maria-Florina Balcan , Carnegie Mellon University
Avrim Blum , Carnegie Mellon University
pp. 605-614

Beyond VCG: Frugality of Truthful Mechanisms (Abstract)

David Kempe , University of Southern California
Anna R. Karlin , University of Washington
Tami Tamir , The Interdisciplinary Center, Herzliya, Israel
pp. 615-626
Session 15

Algorithmic Graph Minor Theory: Decomposition, Approximation, and Coloring (Abstract)

Mohammad Taghi Hajiaghayi , Mohammad Taghi Hajiaghayi
Erik D. Demaine , Erik D. Demaine
Ken-ichi Kawarabayashi , Ken-ichi Kawarabayashi
pp. 637-646

A Tale of Two Dimensional Bin Packing (Abstract)

Andrea Lodi , Univ. of Bolgna, Italy
Maxim Sviridenko , IBM TJ Watson, NY
Nikhil Bansal , IBM TJ Watson, NY
pp. 657-666
Author Index

Author Index (PDF)

pp. 667
91 ms
(Ver 3.3 (11022016))