Neeraj Mittal

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 28

Top Venues

Publications

Amit Anand Tiwari, Samrat Gupta, Efpraxia D. Zamani, Neeraj Mittal, Renu Agarwal
An Overarching Conceptual Framework for ICT-enabled Responsive Governance. Inf. Syst. Frontiers 26 (3) (2024)
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP. CoRR (2023)
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP. Theory Pract. Log. Program. 23 (4) (2023)
Sahil Dhoked, Wojciech Golab, Neeraj Mittal
Brief Announcement: On Solving Recoverable Mutual Exclusion Under System-Wide Failures. SPAA (2023)
Sahil Dhoked, Wojciech Golab, Neeraj Mittal
Modular Recoverable Mutual Exclusion Under System-Wide Failures. DISC (2023)
Stéphane Devismes, Neeraj Mittal
Special issue of SSS 2020. Inf. Comput. 289 (Part) (2022)
Sahil Dhoked, Neeraj Mittal
Adaptive and Fair Transformation for Recoverable Mutual Exclusion. CoRR (2021)
Sahil Dhoked, Neeraj Mittal
Memory Reclamation for Recoverable Mutual Exclusion. CoRR (2021)
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming. ICLP Technical Communications (2021)
Shreyas Gokhale, Sahil Dhoked, Neeraj Mittal
On group mutual exclusion for dynamic systems. PPoPP (2021)
Aravind Natarajan, Arunmoezhi Ramachandran, Neeraj Mittal
FEAST: A Lightweight Lock-free Concurrent Binary Search Tree. ACM Trans. Parallel Comput. 7 (2) (2020)
Sahil Dhoked, Neeraj Mittal
An Adaptive Approach to Recoverable Mutual Exclusion. PODC (2020)
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
Pointer Data Structure Synthesis from Answer Set Programming Specifications. CoRR (2020)
K. Alex Mills, R. Chandrasekaran, Neeraj Mittal
Algorithms for optimal replica placement under correlated failure in hierarchical failure domains. Theor. Comput. Sci. 809 (2020)
Kenneth Platz, Neeraj Mittal, S. Venkatesan
Practical concurrent unrolled linked lists using lazy synchronization. J. Parallel Distributed Comput. 139 (2020)
Sahil Dhoked, Neeraj Mittal
An Adaptive Approach to Recoverable Mutual Exlcusion. CoRR (2020)
Sarat Chandra Varanasi, Neeraj Mittal, Gopal Gupta
Generating Concurrent Programs From Sequential Data Structure Knowledge. CoRR (2020)
Arunmoezhi Ramachandran, Neeraj Mittal
Improving efficacy of concurrent internal binary search trees using local recovery. ICDCN (2019)
Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta
Synthesizing Imperative Code from Answer Set Programming Specifications. LOPSTR (2019)
Kenneth Platz, Neeraj Mittal, S. Venkatesan
Concurrent Unrolled Skiplist. ICDCS (2019)
Shreyas Gokhale, Neeraj Mittal
Brief Announcement: Fast and Scalable Group Mutual Exclusion. DISC (2018)
Shreyas Gokhale, Neeraj Mittal
Fast and Scalable Group Mutual Exclusion. CoRR (2018)
K. Alex Mills, R. Chandrasekaran, Neeraj Mittal
Lexico-Minimum Replica Placement in Multitrees. COCOA (2) (2017)
K. Alex Mills, Ramaswamy Chandrasekaran, Neeraj Mittal
Algorithms for Optimal Replica Placement Under Correlated Failure in Hierarchical Failure Domains. CoRR (2017)
Aravind Natarajan, Himanshu Chauhan, Neeraj Mittal, Vijay K. Garg
Efficient abstraction algorithms for predicate detection. Theor. Comput. Sci. 688 (2017)
K. Alex Mills, R. Chandrasekaran, Neeraj Mittal
Lexico-minimum Replica Placement in Multitrees. CoRR (2017)
Arunmoezhi Ramachandran, Neeraj Mittal
Improving efficacy of internal binary search trees using local recovery. PPOPP (2016)
Yanyan Zeng, K. Alex Mills, Shreyas Gokhale, Neeraj Mittal, S. Venkatesan, R. Chandrasekaran
Robust neighbor discovery in multi-hop multi-channel heterogeneous wireless networks. J. Parallel Distributed Comput. 92 (2016)
Arunmoezhi Ramachandran, Neeraj Mittal
A Fast Lock-Free Internal Binary Search Tree. ICDCN (2015)
K. Alex Mills, R. Chandrasekaran, Neeraj Mittal
Algorithms for Replica Placement in High-Availability Storage. CoRR (2015)
Arunmoezhi Ramachandran, Neeraj Mittal
CASTLE: fast concurrent internal binary search tree using edge-based locking. PPOPP (2015)
Yanyan Zeng, K. Alex Mills, Shreyas Gokhale, Neeraj Mittal, S. Venkatesan, Ramaswamy Chandrasekaran
Robust Neighbor Discovery in Multi-Hop Multi-Channel Heterogeneous Wireless Networks. CoRR (2015)
K. Alex Mills, R. Chandrasekaran, Neeraj Mittal
On Replica Placement in High-Availability Storage Under Correlated Failure. COCOA (2015)
Miguel Correia, Neeraj Mittal
Cloud Computing Dependability: Report and Extended Papers of the Second International Workshop on Dependability Issues in Cloud Computing. ACM SIGOPS Oper. Syst. Rev. 48 (2) (2014)
Aravind Natarajan, Neeraj Mittal, Vijay K. Garg
Online Algorithms to Generate Slices for Regular Temporal Logic Predicates. ICDCN (2014)
Aravind Natarajan, Neeraj Mittal
Fast concurrent lock-free binary search trees. PPOPP (2014)
Kenneth Platz, Neeraj Mittal, Subbarayan Venkatesan
Practical Concurrent Unrolled Linked Lists Using Lazy Synchronization. OPODIS (2014)
Dennis Kundisch, Neeraj Mittal, Barrie R. Nault
Research Commentary - Using Income Accounting as the Theoretical Basis for Measuring IT Productivity. Inf. Syst. Res. 25 (3) (2014)
Ramon Novales, Neeraj Mittal, Kamil Saraç
SKAIT: A parameterized key assignment scheme for confidential communication in resource constrained ad hoc wireless networks. Ad Hoc Networks 20 (2014)
Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal
Distributed Abstraction Algorithm for Online Predicate Detection CoRR (2013)
Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal
A Distributed Abstraction Algorithm for Online Predicate Detection. SRDS (2013)
Aravind Natarajan, Lee Savoie, Neeraj Mittal
Concurrent Wait-Free Red Black Trees. SSS (2013)
Sara Arbab Yazd, Subbarayan Venkatesan, Neeraj Mittal
Boosting energy efficiency with mirrored data block replication policy and energy scheduler. ACM SIGOPS Oper. Syst. Rev. 47 (2) (2013)
Miguel Correia, Neeraj Mittal
Dependability issues in cloud computing: extended papers from the 1st international workshop on dependability issues in cloud computing - DISCCO. ACM SIGOPS Oper. Syst. Rev. 47 (2) (2013)
Sara Arbab Yazd, Subbarayan Venkatesan, Neeraj Mittal
Energy Efficient Hadoop Using Mirrored Data Block Replication Policy. SRDS (2012)
Aravind Natarajan, Lee Savoie, Neeraj Mittal
Brief Announcement: Concurrent Wait-Free Red-Black Trees. DISC (2012)
Chanaka Liyana Arachchige, S. Venkatesan, R. Chandrasekaran, Neeraj Mittal
Minimal Time Broadcasting in Cognitive Radio Networks. ICDCN (2011)
Suhel Patel, Kamil Saraç, R. Chandrasekaran, Turgay Korkmaz, Neeraj Mittal
Relay Assignment in AMT-Based Multicast Content Distribution. CNSR (2011)
Matthew Holiday, Neeraj Mittal, Subbarayan Venkatesan
Secure Location Verification with Randomly-Selected Base Stations. ICDCS Workshops (2011)
Ramon Novales, Neeraj Mittal
Parameterized key assignment for confidential communication in wireless networks. Ad Hoc Networks 9 (7) (2011)
Neeraj Mittal, Yanyan Zeng, S. Venkatesan, R. Chandrasekaran
Randomized Distributed Algorithms for Neighbor Discovery in Multi-hop Multi-channel Heterogeneous Wireless Networks. ICDCS (2011)
Ehsan Nourbakhsh, T. Ryan Burchfield, S. Venkatesan, Neeraj Mittal, Ravi Prakash
Enhancing ASSERT: making an accurate testbed friendly. WiNTECH@MOBICOM (2011)
Ehsan Nourbakhsh, Jeff Dix, Paul Johnson, T. Ryan Burchfield, S. Venkatesan, Neeraj Mittal, Ravi Prakash
ASSERT: A Wireless Networking Testbed. TRIDENTCOM (2010)
Ramon Novales, Neeraj Mittal, Kamil Saraç
SKAIT: A Parameterized Key Assignment Scheme for Wireless Networks. ISPDC (2010)
Aravind Natarajan, Neeraj Mittal
False conflict reduction in the Swiss Transactional Memory (SwissTM) system. IPDPS Workshops (2010)
Tarun Bansal, Neeraj Mittal
A scalable algorithm for maintaining perpetual system connectivity in dynamic distributed systems. IPDPS (2010)
Neeraj Mittal, Ramon Novales
Cluster-Based Key Predistribution Using Deployment Knowledge. IEEE Trans. Dependable Secur. Comput. 7 (3) (2010)
Yanyan Zeng, Neeraj Mittal, S. Venkatesan, R. Chandrasekaran
Fast Neighbor Discovery with Lightweight Termination Detection in Heterogeneous Cognitive Radio Networks. ISPDC (2010)
Hai Trong Vu, Thuc D. Nguyen, Neeraj Mittal, S. Venkatesan
PEQ: A Privacy-Preserving Scheme for Exact Query Evaluation in Distributed Sensor Data Networks. SRDS (2009)
Paul Johnson, Ehsan Nourbakhsh, T. Ryan Burchfield, Jeff Dix, Ravi Prakash, Subbarayan Venkatesan, Neeraj Mittal
ASSERT: Advanced wireleSS Environment Research Testbed. SenSys (2009)
Neeraj Mittal, Srinivasan Krishnamurthy, R. Chandrasekaran, Subbarayan Venkatesan, Yanyan Zeng
On neighbor discovery in cognitive radio networks. J. Parallel Distributed Comput. 69 (7) (2009)
Neeraj Mittal, Kuppahalli L. Phaneesh, Felix C. Freiling
Safe termination detection in an asynchronous distributed system when processes may crash and recover. Theor. Comput. Sci. 410 (6-7) (2009)
Paul Johnson, Neeraj Mittal
A Distributed Termination Detection Algorithm for Dynamic Asynchronous Systems. ICDCS (2009)
Neeraj Mittal, Barrie R. Nault
Research Note - Investments in Information Technology: Indirect Effects and Information Technology Intensity. Inf. Syst. Res. 20 (1) (2009)
Ramon Novales, Neeraj Mittal
TASK: Template-Based Key Assignment for Confidential Communication in Wireless Networks. SRDS (2009)
Thuc D. Nguyen, Duc H. M. Nguyen, Bao N. Tran, Hai Trong Vu, Neeraj Mittal
A Lightweight Solution for Defending Against Deauthentication/Disassociation Attacks on 802.11 Networks. ICCCN (2008)
Vinay Madenur, Neeraj Mittal
A Delay-Optimal Group Mutual Exclusion Algorithm for a Tree Network. J. Inf. Sci. Eng. 24 (2) (2008)
Sathya Peri, Neeraj Mittal
Improving the Efficacy of a Termination Detection Algorithm. J. Inf. Sci. Eng. 24 (1) (2008)
Neeraj Mittal, Felix C. Freiling, Subbarayan Venkatesan, Lucia Draque Penso
On termination detection in crash-prone distributed systems with failure detectors. J. Parallel Distributed Comput. 68 (6) (2008)
Srinivasan Krishnamurthy, Mansi Ramakrishnan Thoppian, Srikant Kuppa, Ramaswamy Chandrasekaran, Neeraj Mittal, Subbarayan Venkatesan, Ravi Prakash
Time-efficient distributed layer-2 auto-configuration for cognitive radio networks. Comput. Networks 52 (4) (2008)
Hai Trong Vu, Ajay Kulkarni, Kamil Saraç, Neeraj Mittal
WORMEROS: A New Framework for Defending against Wormhole Attacks on Wireless Ad Hoc Networks. WASA (2008)
Tarun Bansal, Neeraj Mittal, Subbarayan Venkatesan
Leader Election Algorithms for Multi-channel Wireless Networks. WASA (2008)
Neeraj Mittal
Space-Efficient Keying in Wireless Communication Networks. WiMob (2007)
Neeraj Mittal, Alper Sen, Vijay K. Garg
Solving Computation Slicing Using Predicate Detection. IEEE Trans. Parallel Distributed Syst. 18 (12) (2007)
Hai Trong Vu, Neeraj Mittal, Subbarayan Venkatesan
THIS: THreshold security for Information aggregation in Sensor networks. ITNG (2007)
Neeraj Mittal, Subbarayan Venkatesan, Sathya Peri
A family of optimal termination detection algorithms. Distributed Comput. 20 (2) (2007)
Ranganath Atreya, Neeraj Mittal, Ajay D. Kshemkalyani, Vijay K. Garg, Mukesh Singhal
Efficient detection of a locally stable predicate in a distributed system. J. Parallel Distributed Comput. 67 (4) (2007)
Neeraj Mittal, Prajwal K. Mohan
A priority-based distributed group mutual exclusion algorithm when group access is non-uniform. J. Parallel Distributed Comput. 67 (7) (2007)
Vijay K. Garg, Chakarat Skawratananond, Neeraj Mittal
Timestamping messages and events in a distributed system using synchronous communication. Distributed Comput. 19 (5-6) (2007)
Felix C. Freiling, Matthias Majuntke, Neeraj Mittal
On Detecting Termination in the Crash-Recovery Model. Euro-Par (2007)
Ranganath Atreya, Neeraj Mittal, Sathya Peri
A Quorum-Based Group Mutual Exclusion Algorithm for a Distributed System with Dynamic Group Set. IEEE Trans. Parallel Distributed Syst. 18 (10) (2007)
Felix C. Freiling, Matthias Majuntke, Neeraj Mittal
Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures. SSS (2006)
Srinivasan Krishnamurthy, R. Chandrasekaran, Neeraj Mittal, Subbarayan Venkatesan
Brief Announcement: Synchronous Distributed Algorithms for Node Discovery and Configuration in Multi-channel Cognitive Radio Networks. DISC (2006)
Neeraj Mittal, Kuppahalli L. Phaneesh, Felix C. Freiling
Safe Termination Detection in an Asynchronous Distributed System When Processes May Crash and Recover. OPODIS (2006)
Neeraj Mittal, Felix C. Freiling, Subbarayan Venkatesan, Lucia Draque Penso
Efficient Reduction for Wait-Free Termination Detection in a Crash-Prone Distributed System. DISC (2005)
Sathya Peri, Neeraj Mittal
Monitoring Stable Properties in Dynamic Peer-to-Peer Distributed Systems. FSTTCS (2005)
Felix C. Freiling, Neeraj Mittal, Lucia Draque Penso
Transformations in Secure and Fault-Tolerant Distributed Computation. GI Jahrestagung (1) (2005)
Ranganath Atreya, Neeraj Mittal
A Dynamic Group Mutual Exclusion Algorithm Using Surrogate-Quorums. ICDCS (2005)
Neeraj Mittal, Vijay K. Garg
Techniques and applications of computation slicing. Distributed Comput. 17 (3) (2005)
Srinivasan Krishnamurthy, Mansi Ramakrishnan Thoppian, Srikant Kuppa, Subbarayan Venkatesan, Ramaswamy Chandrasekaran, Neeraj Mittal, Ravi Prakash
Time-Efficient Layer-2 Auto-Configuration for Cognitive Radios. IASTED PDCS (2005)
Vijay K. Garg, Neeraj Mittal
A Critique of Java for Concurrent Programming. IEEE Distributed Syst. Online 6 (9) (2005)
Subbarayan Venkatesan, Maulin Patel, Neeraj Mittal
A Distributed Algorithm for Path Restoration in Circuit Switched Communication Networks. SRDS (2005)
Neeraj Mittal, Prajwal K. Mohan
An Efficient Distributed Group Mutual Exclusion Algorithm for Non-Uniform Group Access. IASTED PDCS (2005)
Neeraj Mittal, Subbarayan Venkatesan, Sathya Peri
Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies. DISC (2004)
Neeraj Mittal, Alper Sen, Vijay K. Garg, Ranganath Atreya
Finding Satisfying Global States: All for One and One for All. IPDPS (2004)
Neeraj Mittal, Vijay K. Garg
Finding missing synchronization in a distributed computation using controlled re-execution. Distributed Comput. 17 (2) (2004)
Sathya Peri, Neeraj Mittal
On Termination Detection in an Asynchronous Distributed System. PDCS (2004)
Ranganath Atreya, Neeraj Mittal, Vijay K. Garg
Detecting Locally Stable Predicates Without Modifying Application Messages. OPODIS (2003)
Neeraj Mittal, Vijay K. Garg
Software Fault Tolerance of Distributed Programs Using Computation Slicing. ICDCS (2003)
Neeraj Mittal, Vijay K. Garg
Techniques and Applications of Computation Slicing CoRR (2003)

Neeraj Mittal.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Neeraj Mittal