Neeraj Mittal

According to our database, Neeraj Mittal authored at least 98 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP.

Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta

Theory Pract. Log. Program., July, 2023

Modular Recoverable Mutual Exclusion Under System-Wide Failures.

Sahil Dhoked, Wojciech Golab, Neeraj Mittal

Proceedings of the 37th International Symposium on Distributed Computing, 2023

Brief Announcement: On Solving Recoverable Mutual Exclusion Under System-Wide Failures.

Sahil Dhoked, Wojciech Golab, Neeraj Mittal

Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, 2023

2022

Special issue of SSS 2020.

Stéphane Devismes, Neeraj Mittal

Inf. Comput., 2022

2021

Adaptive and Fair Transformation for Recoverable Mutual Exclusion.

Sahil Dhoked, Neeraj Mittal

CoRR, 2021

Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming.

Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

Memory Reclamation for Recoverable Mutual Exclusion.

Sahil Dhoked, Neeraj Mittal

CoRR, 2021

On group mutual exclusion for dynamic systems.

Shreyas Gokhale, Sahil Dhoked, Neeraj Mittal

Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

2020

FEAST: A Lightweight Lock-free Concurrent Binary Search Tree.

Aravind Natarajan, Arunmoezhi Ramachandran, Neeraj Mittal

ACM Trans. Parallel Comput., 2020

Algorithms for optimal replica placement under correlated failure in hierarchical failure domains.

K. Alex Mills, R. Chandrasekaran, Neeraj Mittal

Theor. Comput. Sci., 2020

Practical concurrent unrolled linked lists using lazy synchronization.

Kenneth Platz, Neeraj Mittal, S. Venkatesan

J. Parallel Distributed Comput., 2020

Generating Concurrent Programs From Sequential Data Structure Knowledge.

Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta

CoRR, 2020

Pointer Data Structure Synthesis from Answer Set Programming Specifications.

Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta

CoRR, 2020

An Adaptive Approach to Recoverable Mutual Exlcusion.

Sahil Dhoked, Neeraj Mittal

CoRR, 2020

An Adaptive Approach to Recoverable Mutual Exclusion.

Sahil Dhoked, Neeraj Mittal

Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020

2019

Synthesizing Imperative Code from Answer Set Programming Specifications.

Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

Concurrent Unrolled Skiplist.

Kenneth Platz, Neeraj Mittal, S. Venkatesan

Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

Improving efficacy of concurrent internal binary search trees using local recovery.

Arunmoezhi Ramachandran, Neeraj Mittal

Proceedings of the 20th International Conference on Distributed Computing and Networking, 2019

2018

Fast and Scalable Group Mutual Exclusion.

Shreyas Gokhale, Neeraj Mittal

CoRR, 2018

Brief Announcement: Fast and Scalable Group Mutual Exclusion.

Shreyas Gokhale, Neeraj Mittal

Proceedings of the 32nd International Symposium on Distributed Computing, 2018

2017

Efficient abstraction algorithms for predicate detection.

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

Theor. Comput. Sci., 2017

Lexico-Minimum Replica Placement in Multitrees.

K. Alex Mills, R. Chandrasekaran, Neeraj Mittal

Proceedings of the Combinatorial Optimization and Applications, 2017

2016

Robust neighbor discovery in multi-hop multi-channel heterogeneous wireless networks.

Yanyan Zeng, K. Alex Mills, Shreyas Gokhale, Neeraj Mittal, S. Venkatesan, R. Chandrasekaran

J. Parallel Distributed Comput., 2016

Improving efficacy of internal binary search trees using local recovery.

Arunmoezhi Ramachandran, Neeraj Mittal

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

2015

Algorithms for Replica Placement in High-Availability Storage.

K. Alex Mills, R. Chandrasekaran, Neeraj Mittal

CoRR, 2015

CASTLE: fast concurrent internal binary search tree using edge-based locking.

Arunmoezhi Ramachandran, Neeraj Mittal

Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

A Fast Lock-Free Internal Binary Search Tree.

Arunmoezhi Ramachandran, Neeraj Mittal

Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015

On Replica Placement in High-Availability Storage Under Correlated Failure.

K. Alex Mills, R. Chandrasekaran, Neeraj Mittal

Proceedings of the Combinatorial Optimization and Applications, 2015

2014

Cloud Computing Dependability: Report and Extended Papers of the Second International Workshop on Dependability Issues in Cloud Computing.

Miguel Correia, Neeraj Mittal

ACM SIGOPS Oper. Syst. Rev., 2014

Research Commentary - Using Income Accounting as the Theoretical Basis for Measuring IT Productivity.

Dennis Kundisch, Neeraj Mittal, Barrie R. Nault

Inf. Syst. Res., 2014

SKAIT: A parameterized key assignment scheme for confidential communication in resource constrained ad hoc wireless networks.

Ramon Novales, Neeraj Mittal, Kamil Saraç

Ad Hoc Networks, 2014

Fast concurrent lock-free binary search trees.

Aravind Natarajan, Neeraj Mittal

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Online Algorithms to Generate Slices for Regular Temporal Logic Predicates.

Aravind Natarajan, Neeraj Mittal, Vijay K. Garg

Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014

2013

Boosting energy efficiency with mirrored data block replication policy and energy scheduler.

Sara Arbab Yazd, Subbarayan Venkatesan, Neeraj Mittal

ACM SIGOPS Oper. Syst. Rev., 2013

Dependability issues in cloud computing: extended papers from the 1st international workshop on dependability issues in cloud computing - DISCCO.

Miguel Correia, Neeraj Mittal

ACM SIGOPS Oper. Syst. Rev., 2013

Concurrent Wait-Free Red Black Trees.

Aravind Natarajan, Lee Savoie, Neeraj Mittal

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

A Distributed Abstraction Algorithm for Online Predicate Detection.

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

Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013

2012

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

Aravind Natarajan, Lee Savoie, Neeraj Mittal

Proceedings of the Distributed Computing - 26th International Symposium, 2012

Energy Efficient Hadoop Using Mirrored Data Block Replication Policy.

Sara Arbab Yazd, Subbarayan Venkatesan, Neeraj Mittal

Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

2011

Parameterized key assignment for confidential communication in wireless networks.

Ramon Novales, Neeraj Mittal

Ad Hoc Networks, 2011

Enhancing ASSERT: making an accurate testbed friendly.

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

Proceedings of the 6th ACM International Workshop on Wireless Network Testbeds, 2011

Secure Location Verification with Randomly-Selected Base Stations.

Matthew Holiday, Neeraj Mittal, Subbarayan Venkatesan

Proceedings of the 31st IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2011 Workshops), 2011

Randomized Distributed Algorithms for Neighbor Discovery in Multi-hop Multi-channel Heterogeneous Wireless Networks.

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

Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011

Minimal Time Broadcasting in Cognitive Radio Networks.

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

Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011

Relay Assignment in AMT-Based Multicast Content Distribution.

Suhel Patel, Kamil Saraç, R. Chandrasekaran, Turgay Korkmaz, Neeraj Mittal

Proceedings of the Ninth Annual Communication Networks and Services Research Conference, 2011

2010

Cluster-Based Key Predistribution Using Deployment Knowledge.

Neeraj Mittal, Ramon Novales

IEEE Trans. Dependable Secur. Comput., 2010

ASSERT: A Wireless Networking Testbed.

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

Proceedings of the Testbeds and Research Infrastructures. Development of Networks and Communities, 2010

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

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

Proceedings of the Ninth International Symposium on Parallel and Distributed Computing, 2010

SKAIT: A Parameterized Key Assignment Scheme for Wireless Networks.

Ramon Novales, Neeraj Mittal, Kamil Saraç

Proceedings of the Ninth International Symposium on Parallel and Distributed Computing, 2010

False conflict reduction in the Swiss Transactional Memory (SwissTM) system.

Aravind Natarajan, Neeraj Mittal

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

A scalable algorithm for maintaining perpetual system connectivity in dynamic distributed systems.

Tarun Bansal, Neeraj Mittal

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

2009

Safe termination detection in an asynchronous distributed system when processes may crash and recover.

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

Theor. Comput. Sci., 2009

On neighbor discovery in cognitive radio networks.

Neeraj Mittal, Srinivasan Krishnamurthy, R. Chandrasekaran, Subbarayan Venkatesan, Yanyan Zeng

J. Parallel Distributed Comput., 2009

Research Note - Investments in Information Technology: Indirect Effects and Information Technology Intensity.

Neeraj Mittal, Barrie R. Nault

Inf. Syst. Res., 2009

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

Hai Trong Vu, Thuc D. Nguyen, Neeraj Mittal, S. Venkatesan

Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009

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

Ramon Novales, Neeraj Mittal

Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009

ASSERT: Advanced wireleSS Environment Research Testbed.

Paul Johnson, Ehsan Nourbakhsh, T. Ryan Burchfield, Jeff Dix, Ravi Prakash, Subbarayan Venkatesan, Neeraj Mittal

Proceedings of the 7th International Conference on Embedded Networked Sensor Systems, 2009

A Distributed Termination Detection Algorithm for Dynamic Asynchronous Systems.

Paul Johnson, Neeraj Mittal

Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

2008

Time and State in Asynchronous Distributed Systems.

Vijay K. Garg, Neeraj Mittal

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

On termination detection in crash-prone distributed systems with failure detectors.

Neeraj Mittal, Felix C. Freiling, Subbarayan Venkatesan, Lucia Draque Penso

J. Parallel Distributed Comput., 2008

Improving the Efficacy of a Termination Detection Algorithm.

Sathya Peri, Neeraj Mittal

J. Inf. Sci. Eng., 2008

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

Vinay Madenur, Neeraj Mittal

J. Inf. Sci. Eng., 2008

Time-efficient distributed layer-2 auto-configuration for cognitive radio networks.

Srinivasan Krishnamurthy, Mansi Ramakrishnan Thoppian, Srikant Kuppa, Ramaswamy Chandrasekaran, Neeraj Mittal, Subbarayan Venkatesan, Ravi Prakash

Comput. Networks, 2008

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

Hai Trong Vu, Ajay Kulkarni, Kamil Saraç, Neeraj Mittal

Proceedings of the Wireless Algorithms, 2008

Leader Election Algorithms for Multi-channel Wireless Networks.

Tarun Bansal, Neeraj Mittal, Subbarayan Venkatesan

Proceedings of the Wireless Algorithms, 2008

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

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

Proceedings of the 17th International Conference on Computer Communications and Networks, 2008

2007

Solving Computation Slicing Using Predicate Detection.

Neeraj Mittal, Alper Sen, Vijay K. Garg

IEEE Trans. Parallel Distributed Syst., 2007

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

Ranganath Atreya, Neeraj Mittal, Sathya Peri

IEEE Trans. Parallel Distributed Syst., 2007

A priority-based distributed group mutual exclusion algorithm when group access is non-uniform.

Neeraj Mittal, Prajwal K. Mohan

J. Parallel Distributed Comput., 2007

Efficient detection of a locally stable predicate in a distributed system.

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

J. Parallel Distributed Comput., 2007

A family of optimal termination detection algorithms.

Neeraj Mittal, Subbarayan Venkatesan, Sathya Peri

Distributed Comput., 2007

Timestamping messages and events in a distributed system using synchronous communication.

Vijay K. Garg, Chakarat Skawratananond, Neeraj Mittal

Distributed Comput., 2007

Space-Efficient Keying in Wireless Communication Networks.

Neeraj Mittal

Proceedings of the Third IEEE International Conference on Wireless and Mobile Computing, 2007

THIS: THreshold security for Information aggregation in Sensor networks.

Hai Trong Vu, Neeraj Mittal, Subbarayan Venkatesan

Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2007

On Detecting Termination in the Crash-Recovery Model.

Felix C. Freiling, Matthias Majuntke, Neeraj Mittal

Proceedings of the Euro-Par 2007, 2007

2006

Brief Announcement: Synchronous Distributed Algorithms for Node Discovery and Configuration in Multi-channel Cognitive Radio Networks.

Srinivasan Krishnamurthy, R. Chandrasekaran, Neeraj Mittal, Subbarayan Venkatesan

Proceedings of the Distributed Computing, 20th International Symposium, 2006

Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures.

Felix C. Freiling, Matthias Majuntke, Neeraj Mittal

Proceedings of the Stabilization, 2006

2005

A Critique of Java for Concurrent Programming.

Vijay K. Garg, Neeraj Mittal

IEEE Distributed Syst. Online, 2005

Techniques and applications of computation slicing.

Neeraj Mittal, Vijay K. Garg

Distributed Comput., 2005

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

Neeraj Mittal, Felix C. Freiling, Subbarayan Venkatesan, Lucia Draque Penso

Proceedings of the Distributed Computing, 19th International Conference, 2005

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

Subbarayan Venkatesan, Maulin Patel, Neeraj Mittal

Proceedings of the 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005), 2005

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

Neeraj Mittal, Prajwal K. Mohan

Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2005

Time-Efficient Layer-2 Auto-Configuration for Cognitive Radios.

Srinivasan Krishnamurthy, Mansi Ramakrishnan Thoppian, Srikant Kuppa, Subbarayan Venkatesan, Ramaswamy Chandrasekaran, Neeraj Mittal, Ravi Prakash

Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2005

A Dynamic Group Mutual Exclusion Algorithm Using Surrogate-Quorums.

Ranganath Atreya, Neeraj Mittal

Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005

Transformations in Secure and Fault-Tolerant Distributed Computation.

Felix C. Freiling, Neeraj Mittal, Lucia Draque Penso

Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

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

Sathya Peri, Neeraj Mittal

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

2004

Finding missing synchronization in a distributed computation using controlled re-execution.

Neeraj Mittal, Vijay K. Garg

Distributed Comput., 2004

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

Neeraj Mittal, Subbarayan Venkatesan, Sathya Peri

Proceedings of the Distributed Computing, 18th International Conference, 2004

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

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

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

On Termination Detection in an Asynchronous Distributed System.

Sathya Peri, Neeraj Mittal

Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems, 2004

2003

Detecting Locally Stable Predicates Without Modifying Application Messages.

Ranganath Atreya, Neeraj Mittal, Vijay K. Garg

Proceedings of the Principles of Distributed Systems, 7th International Conference, 2003

Software Fault Tolerance of Distributed Programs Using Computation Slicing.

Neeraj Mittal, Vijay K. Garg

Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

2001

Computation Slicing: Techniques and Theory.

Neeraj Mittal, Vijay K. Garg

Proceedings of the Distributed Computing, 15th International Conference, 2001

Database Managed External File Update.

Neeraj Mittal, Hui-I Hsiao

Proceedings of the 17th International Conference on Data Engineering, 2001

On Detecting Global Predicates in Distributed Computations.

Neeraj Mittal, Vijay K. Garg

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

On Slicing a Distributed Computation.

Vijay K. Garg, Neeraj Mittal

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

2000

Debugging distributed programs using controlled re-execution.

Neeraj Mittal, Vijay K. Garg

Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

1998

Consistency Conditions for Multi-Object Distributed Operations.

Neeraj Mittal, Vijay K. Garg

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998