Research Interests

My research interests are in a range of systems areas - distributed systems, operating systems, networks and architecture. Currently, I am working on problems related to peer-to-peer systems. My advisor is Professor Barbara Liskov. In the past, I have worked on query optimization for distributed relational databases and instruction design for VLIW processors.

Current Project

I am currently working on the problem of efficient routing in structured peer-to-peer systems, as part of the IRIS Project.

Past Projects

Distributed and Web Query Optimization
In this project (Senior Thesis), we developed a distributed query optimizer. We developed a set of algorithms that generated the search space of plans by means of a set of transformation rules and searched it efficiently.

Instruction Design for VLIW processors
In this project at EPFL (Lausanne, Switzerland. Led by Prof Paolo Ienne), we designed and implemented an algorithm for hardware component design for VLIW processors. The algorithm selected the best elements from a very large set of possible functional units by analyzing large bodies of application code.

Formal Verification of Software using CTL[DC]
In this work at the Tata Institute of Fundamental Research (led by Prof P K Pandya) we focussed on the theoretical and implementation level development of a duration calculus CTL Model Checker. I used formal verification to verify and fix fundamental bugs in the Gigamax cache coherence protocol and a synchronous bus arbiter.

Publications

Anjali Gupta, Barbara Liskov, and Rodrigo Rodrigues. One Hop Lookups for Peer-to-Peer Overlays. In Proceedings of the Ninth Workshop on Hot Topics in Operating Systems, Lihue, Hawaii, May 2003. [ps][pdf]

Anjali Gupta. Two Hop Lookups for Large Scale Peer-to-Peer Overlays. In the First IRIS Student Workshop, Cambridge MA, August 2003. [pdf]

Anjali Gupta, Barbara Liskov, and Rodrigo Rodrigues. Efficient Routing for Peer-to-Peer Overlays. In Proceedings of the First Symposium on Networked Systems Design and Implementation, San Francisco CA, March 2004. [pdf]

Talks

One Hop Lookups for Peer-to-Peer Overlays. Hot Topics in Operating Systems, May 2003. [ppt]

Efficient Routing for Peer-to-Peer Overlays. Networked Systems Design and Implementation, March 2004.