Abstract:  I’m thinking of a person in the audience. How long will it take you to find whom, using only Yes/No questions?

Abstract: We consider the problem of interactively visualizing a distributed tabular dataset with billions of rows.

Abstract:  Network Design Problems, which concern designing minimum cost networks that satisfy given set of ``connectivity constrains'', are very well studied in computer science and combinatorial optimization.

Abstract : In a sequence of seminal results in the 80's, Kaltofen showed that if an n-variate polynomial of degree poly(n) can be computed by an arithmetic circuit of size poly(n), then each of its factors can also be computed an

Abstract: In this talk, I will talk about synthesis challenges that arose in our attempts to build Antlab, an end-to-end system that takes streams of user task requests and executes them using collections of robots. In Antlab, eac