Efficient Abstraction Algorithms for Predicate Detection
Aravind Natarajan, Himanshu Chauhan, Neeraj Mittal and Vijay K. Garg
Theoretical Computer Science (TCS), Accepted for Publication, December 2015 © Elsevier
SKAIT: A Parameterized Key Assignment Scheme for Confidential Communication in Resource Constrained Ad Hoc Wireless Networks
Ramon Novales, Neeraj Mittal and Kamil Sarac
Ad Hoc Networks, volume 20, pages 163-181, September 2014 © Elsevier
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Poster: Improving Efficacy of Internal Binary Search Trees using Local Recovery
Arunmoezhi Ramachandran and Neeraj Mittal
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), Barcelona, Spain, March 2016 © ACM
On Replica Placement in High-Availability Storage under Correlated Failure
K. Alex Mills, R. Chandrasekaran and Neeraj Mittal
Proceedings of the 9th Annual International Conference on Combinatorial Optimization and Applications (COCOA), pages 348-363, Houston, Texas, USA, December 2015 © Springer-Verlag
Poster: CASTLE: Fast Concurrent Internal Binary Search Tree using Edge-Based Locking
Arunmoezhi Ramachandran and Neeraj Mittal
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), pages 281-282, San Francisco, California, USA, February 2015 © ACM
A Fast Lock-Free Internal Binary Search Tree
Arunmoezhi Ramachandran and Neeraj Mittal
Proceedings of the International Conference on Distributed Computing and Networking (ICDCN), pages 45-60, Goa, India, January 2015 © Springer-Verlag
Practical Concurrent Unrolled Linked Lists Using Lazy Synchronization
Kenneth Platz, Neeraj Mittal and S. Venkatesan
Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS), pages 388-403, Cortina d'Ampezzo, Italy, December 2014 © Springer-Verlag
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 © ACM
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 © Springer-Verlag
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 © Springer-Verlag
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 © Springer-Verlag
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
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)
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
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)
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)
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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.)
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
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
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
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
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
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
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
Using Order in Distributed Computing
Vijay K. Garg, Neeraj Mittal and Alper Sen
American Mathematical Society National Meeting, January 2006
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
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