Journal Papers:

  1. Boosting Energy Efficiency with Mirrored Data Block Replication Policy and Energy Scheduler

    Sara Arbab Yazd, Subbarayan Venkatesan and Neeraj Mittal

    Operating Systems Review, Volume 47, Number 2, pages 30-37, July 2013


  2. Parameterized Key Assignment for Confidential Communication in Wireless Networks

    Ramon Novales and Neeraj Mittal

    Ad Hoc Networks, Volume 9, Issue 7, pages 1186-1201, September 2011 © Elsevier


  3. Cluster-Based Key Pre-Distribution using Deployment Knowledge

    Neeraj Mittal and Ramon Novales

    IEEE Transactions on Dependable and Secure Computing (TDSC), Short Paper, Volume 7, Number 3, pages 329-335, July-September 2010 © IEEE Computer Society


  4. On Neighbor Discovery in Multi-Channel Cognitive Radio Networks

    Neeraj Mittal, Srinivasan Krishnamurthy, R. Chandrasekaran, S. Venkatesan and Yanyan Zeng

    Journal of Parallel and Distributed Computing (JPDC), Volume 69, Issue 7, pages 623-637, July 2009 © Elsevier


  5. Safe Termination Detection in an Asynchronous Distributed System when Processes may Crash and Recover

    Neeraj Mittal, Kuppahalli L. Phaneesh and Felix C. Freiling

    Theoretical Computer Science (TCS) (Special Issue on Selected Papers from OPODIS 2006), Volume 410, numbers 6-7, pages 623-637, February 2009 © Elsevier


  6. Neighbor Discovery in Multi-Receiver Cognitive Radio Networks

    Srinivasan Krishnamurthy, Neeraj Mittal, R. Chandrasekaran and S. Venkatesan

    International Journal of Computers and Applications (IJCA), Volume 31, Number 1, pages 50-57, January 2009 © Actapress


  7. On Maximum Key Pool Size for a Key Pre-Distribution Scheme in Wireless Sensor Networks

    Tarun R. Belagodu and Neeraj Mittal

    International Journal of Computers and Applications (IJCA), Volume 31, Number 1, pages 30-35, January 2009 © Actapress


  8. On Termination Detection in Crash-Prone Distributed Systems with Failure Detectors

    Neeraj Mittal, Felix C. Freiling, S. Venkatesan and Lucia D. Penso

    Journal of Parallel and Distributed Computing (JPDC), Volume 68, Issue 6, pages 855-875, June 2008 © Elsevier


  9. Time-efficient Distributed Layer-2 Auto-Configuration for Cognitive Radio Networks

    Srinivasan Krishnamurthy, Mansi Thoppian, Srikant Kuppa, R. Chandrasekaran, Neeraj Mittal, S. Venkatesan and Ravi Prakash

    Computer Networks (COMNET) (Special Issue on Cognitive Wireless Networks), Volume 52, Issue 4, pages 831-849, March 2008 © Elsevier


  10. A Delay-Optimal Group Mutual Exclusion Algorithm for a Tree Network

    Vinay Madenur and Neeraj Mittal

    Journal of Information Science and Engineering (JISE), Volume 24, Number 2, pages 573-583, March 2008 © Academia Sinica


  11. Improving the Efficacy of a Termination Detection Algorithm

    Sathya Peri and Neeraj Mittal

    Journal of Information Science and Engineering (JISE), Volume 24, Number 1, pages 159-174, January 2008 © Academia Sinica


  12. Solving Computation Slicing using Predicate Detection

    Neeraj Mittal, Alper Sen and Vijay K. Garg

    IEEE Transactions on Parallel and Distributed Systems (TPDS), Volume 18, Number 12, pages 1700-1713, December 2007 © IEEE Computer Society


  13. A Quorum-Based Group Mutual Exclusion Algorithm for a Distributed System with Dynamic Group Set

    Ranganath Atreya, Neeraj Mittal and Sathya Peri

    IEEE Transactions on Parallel and Distributed Systems (TPDS), Volume 18, Number 10, pages 1345-1360, October 2007 © IEEE Computer Society


  14. A Family of Optimal Termination Detection Algorithms

    Neeraj Mittal, S. Venkatesan and Sathya Peri

    Distributed Computing (DC), Volume 20, Number 2, pages 141-162, August 2007 © Springer-Verlag


  15. A Priority-Based Distributed Group Mutual Exclusion Algorithm when Group Access is Non-Uniform

    Neeraj Mittal and Prajwal K. Mohan

    Journal of Parallel and Distributed Computing (JPDC), Volume 67, Issue 7, pages 797-815, July 2007 © Elsevier


  16. An Efficient Algorithm for Detecting a Locally Stable Predicate in a Distributed Computation

    Ranganath Atreya, Neeraj Mittal, Ajay D. Kshemkalyani, Vijay K. Garg and Mukesh Singhal

    Journal of Parallel and Distributed Computing (JPDC), Volume 37, Issue 4, pages 369-385, April 2007 © Elsevier


  17. Timestamping Messages and Events in a Distributed System using Synchronous Communication

    Vijay K. Garg, Chakarat Skawratananond and Neeraj Mittal

    Distributed Computing (DC), Volume 19, Number 5-6, pages 387-402, April 2007 © Springer-Verlag


  18. A Critique of Java for Concurrent Programming

    Vijay K. Garg and Neeraj Mittal

    IEEE Distributed Systems Online, Volume 6, Number 9, September 2005 © IEEE Computer Society


  19. Techniques and Applications of Computation Slicing

    Neeraj Mittal and Vijay K. Garg

    Distributed Computing (DC), Volume 17, Number 3, pages 251-277, March 2005 © Springer-Verlag


  20. Finding Missing Synchronization in a Distributed Computation using Controlled Re-execution

    Neeraj Mittal and Vijay K. Garg

    Distributed Computing (DC), Volume 17, Number 2, pages 107-130, August 2004 © Springer-Verlag


Conference/Workshop Papers:

  1. Fast Concurrent Lock-Free Binary Search Trees

    Aravind Natarajan and Neeraj Mittal

    Proceedings of the 19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), Orlando, Florida, USA, February 2014


  2. Online Algorithms to Generate Slices for Regular Temporal Logic Predicates

    Aravind Natarajan, Neeraj Mittal and Vijay K. Garg

    Proceedings of the 15th International Conference on Distributed Computing and Networking (ICDCN), Coimbatore, India, January 2014


  3. Concurrent Wait-Free Red-Black Trees

    Aravind Natarajan, Lee Savoie and Neeraj Mittal

    Proceedings of the 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), pages 45-60, Osaka, Japan, November 2013


  4. Brief Announcement: A Concurrent Lock-Free Red-Black Tree

    Aravind Natarajan and Neeraj Mittal

    Proceedings of the 27th International Symposium on Distributed Computing (DISC), Jerusalem, Israel, October 2013


  5. A Distributed Abstraction Algorithm for Online Predicate Detection

    Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan and Neeraj Mittal

    Proceedings of the 32nd IEEE Symposium on Reliable Distributed Systems (SRDS), pages 101--110, Braga, Portugal, October 2013


  6. Energy Efficient Hadoop using Mirrored Data Block Replication Policy

    Sara Arbab Yazd, Subbarayan Venkatesan and Neeraj Mittal

    Proceedings of the 1st International Workshop on Dependability Issues in Cloud Computing (DISCCO), Irvine, California, USA, October 2012 (held in conjunction with SRDS 2012)


  7. Brief Announcement: Concurrent Wait-Free Red-Black Trees

    Aravind Natarajan, Lee Savoie and Neeraj Mittal

    Proceedings of the 26th International Symposium on Distributed Computing (DISC), pages 421--422, Salvador, Brazil, October 2012


  8. Enhancing ASSERT: Making an Accurate Testbed Friendly

    Ehsan Nourbakhsh, Ryan Burchfield, S. Venkatesan, Neeraj Mittal and Ravi Prakash

    Proceedings of the 6th ACM International Workshop on Wireless Network Testbeds, Experimental evaluation and Characterization (WiNTECH), pages 3--10, Las Vegas, Nevada, USA, September 2011 (held in conjunction with MobiCom 2011)


  9. Secure Location Verification with Randomly-Selected Base Stations

    Matthew Holiday, Neeraj Mittal and S. Venkatesan

    Proceedings of the 3rd International Workshop on Specialized Ad Hoc Networks and Systems (SAHNS), pages 119--122, Minneapolis, Minnesota, USA, June 2011 (held in conjunction with ICDCS 2011)


  10. Randomized Distributed Algorithms for Neighbor Discovery in Multi-Hop Multi-Channel Heterogeneous Wireless Networks

    Neeraj Mittal, Yanyan Zeng, S. Venkatesan and R. Chandrasekaran

    In Proceedings of the 31st International Conference on Distributed Computing Systems (ICDCS), pages 57-66, Minneapolis, Minnesota, USA, June 2011 © IEEE Computer Society


  11. Relay Assignment in AMT-based Multicast Content Distribution

    Suhel Patel, Kamil Sarac, R. Chandrasekaran, Turgay Korkmaz and Neeraj Mittal

    In Proceedings of the 9th Annual Conference on Communication Networks and Services Research (CNSR) (accepted for publication), Ottawa, Ontario, Canada, May 2011 © IEEE Communications Society


  12. Minimal Time Broadcasting in Cognitive Radio Networks

    Chanaka Liyana Arachchige, S. Venkatesan, R. Chandrasekaran and Neeraj Mittal

    In Proceedings of the 12th International Conference on Distributed Computing and Networking (ICDCN), pages 364-375, Bangalore, India, January 2011 © Springer-Verlag


  13. Fast Neighbor Discovery with Lightweight Termination Detection in Heterogeneous Cognitive Radio Networks

    Yanyan Zeng, Neeraj Mittal, S. Venkatesan and R. Chandrasekaran

    In Proceedings of the 9th International Symposium on Parallel and Distributed Computing (ISPDC), pages 149-156, Istanbul, Turkey, July 2010 © IEEE Computer Society


  14. SKAIT: A Parameterized Key Assignment Scheme for Wireless Networks

    Ramon Novales, Neeraj Mittal and Kamil Sarac

    In Proceedings of the 9th International Symposium on Parallel and Distributed Computing (ISPDC), pages 157-164, Istanbul, Turkey, July 2010 © IEEE Computer Society


  15. ASSERT: A Wireless Networking Testbed

    Ehsan Nourbakhsh, Jeff Dix, Paul Johnson, Ryan Burchfield, S. Venkatesan, Neeraj Mittal and Ravi Prakash

    In Proceedings of the 6th International Conference on Testbeds and Research Infrastructures for the Development of Networks & Communities (TridentCom), pages 209-218, Berlin, Germany, May 2010 © ICST


  16. False Conflict Reduction in the Swiss Transactional Memory (SwissTM) System

    Aravind Natarajan and Neeraj Mittal

    In Proceedings of the 15th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS), Atlanta, Georgia, USA, April 2010 © IEEE Computer Society


  17. Maintaining Perpetual System Connectivity in Dynamic Distributed Systems

    Tarun Bansal and Neeraj Mittal

    In Proceedings of the 24th IEEE International Parallel and Distributed Processing Symposium (IPDPS), Atlanta, Georgia, USA, April 2010 © IEEE Computer Society


  18. TASK: Template-Based Key Assignment for Confidential Communication in Wireless Networks

    Ramon Novales and Neeraj Mittal

    In Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS), pages 209-216, Niagara Falls, New York, USA, September 2009 © IEEE Computer Society


  19. PEQ: A Privacy-Preserving Scheme for Exact Query Evaluation in Distributed Sensor Data Networks

    Hai T. Vu, Thuc D. Nguyen, Neeraj Mittal and S. Venkatesan

    In Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS), pages 189-198, Niagara Falls, New York, USA, September 2009 © IEEE Computer Society


  20. A Distributed Termination Detection Algorithm for Dynamic Asynchronous Systems

    Paul Johnson and Neeraj Mittal

    In Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS), pages 343-351, Montreal, Quebec, Canada, June 2009 © IEEE Computer Society


  21. An Asynchronous Neighbor Discovery Algorithm for Cognitive Radio Networks

    Chanaka Liyana Arachchige, S. Venkatesan and Neeraj Mittal

    In Proceedings of the 3rd IEEE Symposia on New Frontiers in Dynamic Spectrum Access Networks (DySPAN), Chicago, Illinois, USA, October 2008 © IEEE Communications Society


  22. Leader Election Algorithms for Multi-Channel Wireless Networks

    Tarun Bansal, Neeraj Mittal and S. Venkatesan

    In Proceedings of the International Conference on Wireless Algorithms, Systems and Applications (WASA), pages 310-321, Dallas, Texas, USA, October 2008 © Springer-Verlag


  23. WORMEROS: A New Framework for Defending Against Wormhole Attacks on Wireless Ad Hoc Networks

    Hai Vu, Ajay Kulkarni, Kamil Sarac and Neeraj Mittal

    In Proceedings of the International Conference on Wireless Algorithms, Systems and Applications (WASA), pages 491-502, Dallas, Texas, USA, October 2008 © Springer-Verlag


  24. A Lightweight Solution for Defending against Deauthentication/Disassociation Attacks on 802.11 Networks

    Thuc D. Nguyen, Duc H. M. Nguyen, Bao N. Tran, Hai Vu and Neeraj Mittal

    In Proceedings of the 17th IEEE International Conference on Computer Communications and Networks (ICCCN), pages 185-190, St. Thomas, Virgin Islands, USA, August 2008 © IEEE Communications Society


  25. A Unified Framework of Node Mobility Models

    Noun Choi, Alieza Mahdian, Ravi Prakash, S. Venkatesan, Neeraj Mittal, Albert Anderson, Eric Redding and Robert Butler

    In Proceedings of the IEEE Military Communications Conference (MILCOM), Orlando, Florida, USA, October 2007 © IEEE Communications Society


  26. Space-Efficient Keying in Wireless Communication Networks

    Neeraj Mittal

    In Proceedings of the 3rd IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) (Special Session on Security in Mobile Ad hoc Networks and Wireless Sensor Networks), White Plains, New York, USA, October 2007 © IEEE Computer Society


  27. On Detecting Termination in the Crash-Recovery Model

    Felix C. Freiling, Matthias Majuntke and Neeraj Mittal

    In Proceedings of the International European Conference on Parallel and Distributed Computing (Euro-Par), pages 629-638, Rennes, France, August 2007 © Springer-Verlag


  28. THIS: THreshold security for Information aggregation in Sensor networks

    Hai T. Vu, Neeraj Mittal and S. Venkatesan

    In Proceedings of the International Conference on Information Technology: New Generations (ITNG), pages 89-95, Las Vegas, Nevada, April 2007 © IEEE Computer Society


  29. Safe Termination Detection in an Asynchronous Distributed System when Processes may Crash and Recover

    Neeraj Mittal, Kuppahalli L. Phaneesh and Felix C. Freiling

    In Proceedings of the 10th International Conference On Principles Of Distributed Systems (OPODIS), pages 126-141, Saint-Emilion, Bordeaux, France, December 2006 © Springer-Verlag


  30. Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures (Brief Announcement)

    Felix C. Freiling, Matthias Majuntke and Neeraj Mittal

    In Proceedings of the 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), pages 572-573, Dallas, Texas, USA, November 2006 © Springer-Verlag


  31. Improving Performance of Parallel Simulation Kernel for Wireless Network Simulations

    Mansi Thoppian, S. Venkatesan, Hai Vu, Ravi Prakash, Neeraj Mittal and Jackson Anderson

    In Proceedings of the IEEE Military Communications Conference (MILCOM), Washington, DC, USA, October 2006 © IEEE Communications Society


  32. Synchronous Distributed algorithms for Node Discovery and Configuration in Multi-channel Cognitive Radio Networks (Brief Announcement)

    Srinivasan Krishnamurthy, R. Chandrasekaran, Neeraj Mittal and S. Venkatesan

    In Proceedings of the 20th International Symposium on Distributed Computing (DISC), pages 572-574, Stockholm, Sweden, September 2006 © Springer-Verlag


  33. Monitoring Stable Properties in Dynamic Peer-to-Peer Distributed Systems

    Sathya Peri and Neeraj Mittal

    In Proceedings of the 25th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), pages 420-431, Hyderabad, India, December 2005 © Springer-Verlag


  34. An Efficient Distributed Group Mutual Exclusion Algorithm for Non-Uniform Group Access

    Neeraj Mittal and Prajwal K. Mohan

    In Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS), pages 367-372, Phoenix, Arizona, USA, November 2005 © IASTED


  35. Time-efficient Layer-2 Auto-configuration for Cognitive Radios

    Srikant Kuppa, Mansi Thoppian, Srinivasan Krishnamurthy, S. Venkatsan, R. Chandrasekaran, Neeraj Mittal and Ravi Prakash

    In Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS), pages 459-464, Phoenix, Arizona, USA, November 2005 © IASTED


  36. A Distributed Algorithm for Path Restoration in Circuit Switched Communication Networks

    S. Venkatesan, Maulin Patel and Neeraj Mittal

    In Proceedings of the 24th IEEE Symposium on Reliable and Distributed Systems (SRDS), pages 226-236, Orlando, Florida, USA, October 2005 © IEEE Computer Society


  37. Efficient Reduction for Wait-Free Termination Detection in a Crash-Prone Distributed System

    Neeraj Mittal, Felix C. Freiling, S. Venkatesan and Lucia D. Penso

    In Proceedings of the 19th International Symposium on Distributed Computing (DISC), pages 93-107, Cracow, Poland, September 2005 © Springer-Verlag


  38. A Dynamic Group Mutual Exclusion Algorithm using Surrogate-Quorums

    Ranganath Atreya and Neeraj Mittal

    In Proceedings of the 25th IEEE International Conference on Distributed Computing Systems (ICDCS), pages 251-260, Columbus, Ohio, USA, June 2005 © IEEE Computer Society


  39. Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies

    Neeraj Mittal, S. Venkatesan and Sathya Peri

    In Proceedings of the 18th International Symposium on Distributed Computing (DISC), pages 290-304, Amsterdam, The Netherlands, October 2004 © Springer-Verlag


  40. On Termination Detection in an Asynchronous Distributed System

    Sathya Peri and Neeraj Mittal

    In Proceedings of the 17th ISCA International Conference on Parallel and Distributed Computing Systems (PDCS), pages 209-215, San Francisco, California, USA, September 2004 © ISCA


  41. Finding Satisfying Global States: One for All and All for One

    Neeraj Mittal, Alper Sen, Vijay K. Garg and Ranganath Atreya

    In Proceedings of the 18th IEEE International Parallel and Distributed Processing Symposium (IPDPS), Santa Fe, New Mexico, USA, April 2004 © IEEE Computer Society


  42. Detecting Locally Stable Predicates without Modifying Application Messages

    Ranganath Atreya, Neeraj Mittal and Vijay K. Garg

    In Proceedings of the 7th International Conference on Principles of Distributed Systems (OPODIS), pages 20-33, La Martinique, France, December 2003 © Springer-Verlag


  43. Software Fault Tolerance of Distributed Programs using Computation Slicing

    Neeraj Mittal and Vijay K. Garg

    In Proceedings of the 23rd IEEE International Conference on Distributed Computing System (ICDCS), pages 105-113, Providence, Rhode Island, USA, May 2003 © IEEE Computer Society
    (The search-time for the Primary-Secondary example in the version that appeared in the conference proceedings was reported to be in seconds by mistake. It is actually in milli-seconds.)


  44. Computation Slicing: Techniques and Theory

    Neeraj Mittal and Vijay K. Garg

    In Proceedings of the 15th International Symposium on Distributed Computing (DISC), pages 78-92, Lisbon, Portugal, October 2001 © Springer-Verlag


  45. On Slicing a Distributed Computation

    Vijay K. Garg and Neeraj Mittal

    In Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS), pages 322-329, Phoenix, Arizona, USA, April 2001 (nominated for the best paper award) © IEEE Computer Society


  46. On Detecting Global Predicates in Distributed Computations

    Neeraj Mittal and Vijay K. Garg

    In Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS), pages 3-10, Phoenix, Arizona, USA, April 2001 © IEEE Computer Society


  47. Database Managed External File Update

    Neeraj Mittal and Hui-I Hsiao

    In Proceedings of the 17th IEEE International Conference on Data Engineering (ICDE), pages 557-564, Heidelberg, Germany, April 2001 © IEEE Computer Society


  48. Debugging Distributed Programs Using Controlled Re-execution

    Neeraj Mittal and Vijay K. Garg

    In Proceedings of 19th ACM Symposium on Principles of Distributed Computing (PODC), pages 239-248, Portland, Oregon, USA, July 2000 © ACM


  49. A Lightweight Algorithm for Causal Message Ordering in Mobile Computing Systems

    Chakarat Skawratananond, Neeraj Mittal and Vijay K. Garg

    In Proceedings of 12th ISCA International Conference on Parallel and Distributed Computing Systems (PDCS), pages 245-250, Florida, USA, 1999 © ISCA


  50. Consistency Conditions for Multi-Object Distributed Operations

    Neeraj Mittal and Vijay K. Garg

    In Proceedings of 18th IEEE International Conference on Distributed Computing Systems (ICDCS) , pages 582-589, Amsterdam, The Netherlands, May 1998 © IEEE Computer Society


Invited Papers:

  1. Using Order in Distributed Computing

    Vijay K. Garg, Neeraj Mittal and Alper Sen

    American Mathematical Society National Meeting, January 2006

Theses:

  1. Techniques for Analyzing Distributed Computations

    Neeraj Mittal

    Doctoral Thesis, Department of Computer Science, The University of Texas at Austin, Austin, Texas, USA, May 2002

    Supervisor: Vijay K. Garg

  2. Automatic Incorporation of Modifications to Sequential Code in Efficient Compile-Time Parallelization on Distributed-Memory Machines

    Pankaj Gupta and Neeraj Mittal

    Undergraduate Thesis, Department of Computer Science and Engineering, Indian Institute of Technology, Delhi, India, May 1995

    Supervisors: Pankaj Mehra and Gautam M. Shroff