Neeraj Mittal - RankMe

113 papers A* 4A 17B 16C 7Misc 7Journal 45Unranked 15

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