|We are working in several emerging fields within theoretical computer science. One is game theory and economics, which includes pricing algorithms and market equilibriums. A second is privacy in statistical databases, and a third is quantum computing.|
- Recurrent Neural Networks for Language ProcessingThis project focuses on advancing the state-of-the-art in language processing with recurrent neural networks. We are currently applying these to language modeling, machine translation, speech recognition, language understanding and meaning representation. A special interest in is adding side-channels of information as input, to model phenomena which are not easily handled in other frameworks.
- Big Data Analytics It has become increasingly difficult to process information from the vast amount of data collected and stored in different computer systems all around us. The main challenge is how to design distributed and scalable algorithms and systems to extract useful information from this large quantity of data. The goal of this project is to address various questions related to distributed and scalable processing of big data.
- ECM at WorkThe performance of the elliptic curve method (ECM) for integer factorizationplays an important role in the security assessment of RSA-based protocols as a cofactorization tool inside the number field sieve. This webpage gives addition-subtracting chains to optimize Edwards ECM in terms of both performance and memory requirements. See for more details the "ECM at Work" paper.
- Rainbow TangleRainbow Tangle is a game on a sequence of permutations. The purpose of the game is to create as straight routes of the permutation particles as possible.
Loris D'Antoni and Margus Veanes, Equivalence of Extended Symbolic Finite Transducers, in 25th International Conference on Computer Aided Verification (CAV'13), Springer, July 2013
Kshipra Bhawalkar, Sreenivas Gollapudi, and Kamesh Munagala, Coevolutionary Opinion Formation Games, in Proc. of the 45th ACM Symposium on Theory of Computing, ACM, June 2013
Anand Bhalgat, Sreenivas Gollapudi, and Kamesh Munagala, Optimal Auctions via the Multiplicative Weight Method, in Proc. of ACM Conf. on ELectronic Commerce, ACM Conference on Electronic Commerce, June 2013
Shipra Agrawal and Navin Goyal, Thompson Sampling for contextual bandits with linear payoffs, in 30th International Conference on Machine Learning (ICML), June 2013
James Cook, Krishnaram Kenthapadi, and Nina Mishra, Group Chats on Twitter, in International World Wide Web Conference (WWW), ACM, May 2013