Conference Papers


Nupur Kothari, Todd Millstein and Ramesh Govindan, Deriving State Machines from TinyOS programs using Symbolic Execution, Accepted for publication in the Seventh Conference on Information Processing in Sensor Networks (IPSN), 2008 (Best Paper Award)

Nupur Kothari, Kiran Nagaraja, Vijay Raghunathan, Florin Sultan and Srimat Chakradhar,HERMES: A Software Architecture for Visibility and Control in Sensor Network Deployments, Accepted for publication in the Seventh Conference on Information Processing in Sensor Networks: Special track on Sensor Platform Tools and Design Method (IPSN/SPOTS), 2008

Nupur Kothari, Ramakrishma Gummadi, Todd Millstein and Ramesh Govindan, Reliable and Efficient Programming Abstractions for Wireless Sensor Networks, In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2007

Ramakrishma Gummadi, Nupur Kothari, Todd Millstein, and Ramesh Govindan Declarative Failure Recovery for Sensor Networks, In Proceedings of the 6th International Conference on Aspect-Oriented Software Development (AOSD), 2007

Krishna Chintalapudi, Jeongyeup Paek, Nupur Kothari, Sumit Rangwala, Ramesh Govindan and Erik Johnson, Embedded Sensing of Structures: A Reality Check, In Proceedings of the 11th IEEE Internatioal Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2005

Ramakrishma Gummadi, Nupur Kothari, Young J. Kim, Ramesh Govindan, Brad Karp and Scott Shenker, Reduced State Routing in the Internet, In Proceedings of the 3rd Workshop on Hot Topics in Networks (HotNets), 2004

Nupur Kothari, Vartika Bhandari and Dheeraj Sanghi, On Reciprocal Altruism and its Application to QoS, In Proceedings of the 6th IFIP/IEEE International Conference on Management of Multimedia Networks and Services (MMNS), 2003

Vartika Bhandari, Nupur Kothari and Dheeraj Sanghi, Reliability based Query Restriction: Discovering Stable Routes, In Proceedings of International Conference On Information Networking (ICOIN), 2003

Articles

Krishna Chintalapudi, Jeongyeup Paek, Nupur Kothari, Sumit Rangwala, John Caffrey, Ramesh Govindan, Erik Johnson, and Sami Masri, Monitoring Civil Structus with a Wireless Sensor Network, IEEE Internet Computing, March/April 2006

Posters

Ramakrishma Gummadi, Nupur Kothari, Ramesh Govindan and Todd Millstein, Kairos: A macro-programming system for wireless sensor networks, In Proceedings of the Twentieth ACM symposium on Operating systems principles (SOSP), 2005

Talks

Nupur Kothari, Roy Shea, Writing Programs that Work,CENS Annual Research Review, October 2007

Nupur Kothari, Ramakrishna Gummadi, Reliable and Efficient Programming Abstractions for Wireless Sensor Networks,PLDI, June 2007