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
