Research
Developing efficient algorithms that power faster, smarter, and more reliable computing across diverse applications.
Static verification of performance properties of programs is an important problem that has attracted a lot of research. However, most existing tools infer best-effort upper bounds and hope that they match users expectations. In this…
Error-correcting codes play a crucial role in safeguarding data against the adverse effects of noise during communication and storage. They are also powerful tools that in the arsenal of theoretical computer science and combinatorics. The…
We consider the problem of estimating the value of MAX-CUT in a graph in the streaming model of computation. We show that there exists a constant $\e_* > 0$ such that any randomized streaming algorithm…
