Neeraj Mittal

Orcid: 0000-0002-8734-1400

According to our database1, Neeraj Mittal authored at least 99 papers between 1998 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
An Overarching Conceptual Framework for ICT-enabled Responsive Governance.
Inf. Syst. Frontiers, June, 2024

2023
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP.
Theory Pract. Log. Program., July, 2023

Modular Recoverable Mutual Exclusion Under System-Wide Failures.
Proceedings of the 37th International Symposium on Distributed Computing, 2023

Brief Announcement: On Solving Recoverable Mutual Exclusion Under System-Wide Failures.
Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, 2023

2022
Special issue of SSS 2020.
Inf. Comput., 2022

2021
Adaptive and Fair Transformation for Recoverable Mutual Exclusion.
CoRR, 2021

Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming.
Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

Memory Reclamation for Recoverable Mutual Exclusion.
CoRR, 2021

On group mutual exclusion for dynamic systems.
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.
ACM Trans. Parallel Comput., 2020

Algorithms for optimal replica placement under correlated failure in hierarchical failure domains.
Theor. Comput. Sci., 2020

Practical concurrent unrolled linked lists using lazy synchronization.
J. Parallel Distributed Comput., 2020

Generating Concurrent Programs From Sequential Data Structure Knowledge.
CoRR, 2020

Pointer Data Structure Synthesis from Answer Set Programming Specifications.
CoRR, 2020

An Adaptive Approach to Recoverable Mutual Exlcusion.
CoRR, 2020

An Adaptive Approach to Recoverable Mutual Exclusion.
Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020

2019
Synthesizing Imperative Code from Answer Set Programming Specifications.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

Concurrent Unrolled Skiplist.
Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

Improving efficacy of concurrent internal binary search trees using local recovery.
Proceedings of the 20th International Conference on Distributed Computing and Networking, 2019

2018
Fast and Scalable Group Mutual Exclusion.
CoRR, 2018

Brief Announcement: Fast and Scalable Group Mutual Exclusion.
Proceedings of the 32nd International Symposium on Distributed Computing, 2018

2017
Efficient abstraction algorithms for predicate detection.
Theor. Comput. Sci., 2017

Lexico-Minimum Replica Placement in Multitrees.
Proceedings of the Combinatorial Optimization and Applications, 2017

2016
Robust neighbor discovery in multi-hop multi-channel heterogeneous wireless networks.
J. Parallel Distributed Comput., 2016

Improving efficacy of internal binary search trees using local recovery.
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

2015
Algorithms for Replica Placement in High-Availability Storage.
CoRR, 2015

CASTLE: fast concurrent internal binary search tree using edge-based locking.
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

A Fast Lock-Free Internal Binary Search Tree.
Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015

On Replica Placement in High-Availability Storage Under Correlated Failure.
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.
ACM SIGOPS Oper. Syst. Rev., 2014

Research Commentary - Using Income Accounting as the Theoretical Basis for Measuring IT Productivity.
Inf. Syst. Res., 2014

SKAIT: A parameterized key assignment scheme for confidential communication in resource constrained ad hoc wireless networks.
Ad Hoc Networks, 2014

Fast concurrent lock-free binary search trees.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Online Algorithms to Generate Slices for Regular Temporal Logic Predicates.
Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014

2013
Boosting energy efficiency with mirrored data block replication policy and energy scheduler.
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.
ACM SIGOPS Oper. Syst. Rev., 2013

Concurrent Wait-Free Red Black Trees.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

A Distributed Abstraction Algorithm for Online Predicate Detection.
Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013

2012
Brief Announcement: Concurrent Wait-Free Red-Black Trees.
Proceedings of the Distributed Computing - 26th International Symposium, 2012

Energy Efficient Hadoop Using Mirrored Data Block Replication Policy.
Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

2011
Parameterized key assignment for confidential communication in wireless networks.
Ad Hoc Networks, 2011

Enhancing ASSERT: making an accurate testbed friendly.
Proceedings of the 6th ACM International Workshop on Wireless Network Testbeds, 2011

Secure Location Verification with Randomly-Selected Base Stations.
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.
Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011

Minimal Time Broadcasting in Cognitive Radio Networks.
Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011

Relay Assignment in AMT-Based Multicast Content Distribution.
Proceedings of the Ninth Annual Communication Networks and Services Research Conference, 2011

2010
Cluster-Based Key Predistribution Using Deployment Knowledge.
IEEE Trans. Dependable Secur. Comput., 2010

ASSERT: A Wireless Networking Testbed.
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.
Proceedings of the Ninth International Symposium on Parallel and Distributed Computing, 2010

SKAIT: A Parameterized Key Assignment Scheme for Wireless Networks.
Proceedings of the Ninth International Symposium on Parallel and Distributed Computing, 2010

False conflict reduction in the Swiss Transactional Memory (SwissTM) system.
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.
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.
Theor. Comput. Sci., 2009

On neighbor discovery in cognitive radio networks.
J. Parallel Distributed Comput., 2009

Research Note - Investments in Information Technology: Indirect Effects and Information Technology Intensity.
Inf. Syst. Res., 2009

PEQ: A Privacy-Preserving Scheme for Exact Query Evaluation in Distributed Sensor Data Networks.
Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009

TASK: Template-Based Key Assignment for Confidential Communication in Wireless Networks.
Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009

ASSERT: Advanced wireleSS Environment Research Testbed.
Proceedings of the 7th International Conference on Embedded Networked Sensor Systems, 2009

A Distributed Termination Detection Algorithm for Dynamic Asynchronous Systems.
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

2008
Time and State in Asynchronous Distributed Systems.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

On termination detection in crash-prone distributed systems with failure detectors.
J. Parallel Distributed Comput., 2008

Improving the Efficacy of a Termination Detection Algorithm.
J. Inf. Sci. Eng., 2008

A Delay-Optimal Group Mutual Exclusion Algorithm for a Tree Network.
J. Inf. Sci. Eng., 2008

Time-efficient distributed layer-2 auto-configuration for cognitive radio networks.
Comput. Networks, 2008

WORMEROS: A New Framework for Defending against Wormhole Attacks on Wireless Ad Hoc Networks.
Proceedings of the Wireless Algorithms, 2008

Leader Election Algorithms for Multi-channel Wireless Networks.
Proceedings of the Wireless Algorithms, 2008

A Lightweight Solution for Defending Against Deauthentication/Disassociation Attacks on 802.11 Networks.
Proceedings of the 17th International Conference on Computer Communications and Networks, 2008

2007
Solving Computation Slicing Using Predicate Detection.
IEEE Trans. Parallel Distributed Syst., 2007

A Quorum-Based Group Mutual Exclusion Algorithm for a Distributed System with Dynamic Group Set.
IEEE Trans. Parallel Distributed Syst., 2007

A priority-based distributed group mutual exclusion algorithm when group access is non-uniform.
J. Parallel Distributed Comput., 2007

Efficient detection of a locally stable predicate in a distributed system.
J. Parallel Distributed Comput., 2007

A family of optimal termination detection algorithms.
Distributed Comput., 2007

Timestamping messages and events in a distributed system using synchronous communication.
Distributed Comput., 2007

Space-Efficient Keying in Wireless Communication Networks.
Proceedings of the Third IEEE International Conference on Wireless and Mobile Computing, 2007

THIS: THreshold security for Information aggregation in Sensor networks.
Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2007

On Detecting Termination in the Crash-Recovery Model.
Proceedings of the Euro-Par 2007, 2007

2006
Brief Announcement: Synchronous Distributed Algorithms for Node Discovery and Configuration in Multi-channel Cognitive Radio Networks.
Proceedings of the Distributed Computing, 20th International Symposium, 2006

Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures.
Proceedings of the Stabilization, 2006

2005
A Critique of Java for Concurrent Programming.
IEEE Distributed Syst. Online, 2005

Techniques and applications of computation slicing.
Distributed Comput., 2005

Efficient Reduction for Wait-Free Termination Detection in a Crash-Prone Distributed System.
Proceedings of the Distributed Computing, 19th International Conference, 2005

A Distributed Algorithm for Path Restoration in Circuit Switched Communication Networks.
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.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2005

Time-Efficient Layer-2 Auto-Configuration for Cognitive Radios.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2005

A Dynamic Group Mutual Exclusion Algorithm Using Surrogate-Quorums.
Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005

Transformations in Secure and Fault-Tolerant Distributed Computation.
Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

Monitoring Stable Properties in Dynamic Peer-to-Peer Distributed Systems.
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.
Distributed Comput., 2004

Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies.
Proceedings of the Distributed Computing, 18th International Conference, 2004

Finding Satisfying Global States: All for One and One for All.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

On Termination Detection in an Asynchronous Distributed System.
Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems, 2004

2003
Detecting Locally Stable Predicates Without Modifying Application Messages.
Proceedings of the Principles of Distributed Systems, 7th International Conference, 2003

Software Fault Tolerance of Distributed Programs Using Computation Slicing.
Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

2001
Computation Slicing: Techniques and Theory.
Proceedings of the Distributed Computing, 15th International Conference, 2001

Database Managed External File Update.
Proceedings of the 17th International Conference on Data Engineering, 2001

On Detecting Global Predicates in Distributed Computations.
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

On Slicing a Distributed Computation.
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

2000
Debugging distributed programs using controlled re-execution.
Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

1998
Consistency Conditions for Multi-Object Distributed Operations.
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998


  Loading...