Distributed Computing and Intelligent Technology - 22nd International Conference, ICDCIT 2026, Bhubaneswar, India, January 16-19, 2026, Proceedings

Neeraj Mittal Bapi Chatterjee Kishore Kothapalli Neeraj Mittal Arul Murugan Natarajan Dinesh Singh 0001 Distributed Computing and Intelligent Technology - 22nd International Conference, ICDCIT 2026, Bhubaneswar, India, January 16-19, 2026, Proceedings ICDCIT Springer 2026 Lecture Notes in Computer Science 16420 978-3-032-16631-9 978-3-032-16632-6 https://doi.org/10.1007/978-3-032-16632-6 db/conf/icdcit/icdcit2026.html

Sahil Dhoked Neeraj Mittal Adaptive and Fair Transformation for Recoverable Mutual Exclusion. 24:1-24:61 2025 August 72 J. ACM 4 https://doi.org/10.1145/3744236 db/journals/jacm/jacm72.html#DhokedM25 streams/journals/jacm

Ahmed Fahmy Wojciech Golab Neeraj Mittal Brief Announcement: Using Detectability to Simplify the Design of Concurrent Algorithms for Persistent Memory. 252-255 2025 PODC https://doi.org/10.1145/3732772.3733517 conf/podc/2025 db/conf/podc/podc2025.html#FahmyGM25

Amit Anand Tiwari Samrat Gupta Efpraxia D. Zamani Neeraj Mittal Renu Agarwal An Overarching Conceptual Framework for ICT-enabled Responsive Governance. 1161-1182 2024 June 26 Inf. Syst. Frontiers 3 https://doi.org/10.1007/s10796-023-10415-4 db/journals/isf/isf26.html#TiwariGZMA24

Sahil Dhoked Ahmed Fahmy Wojciech Golab Neeraj Mittal RMR-Efficient Detectable Objects for Persistent Memory and Their Applications. 5:1-5:26 2024 OPODIS https://doi.org/10.4230/LIPIcs.OPODIS.2024.5 conf/opodis/2024 db/conf/opodis/opodis2024.html#DhokedFGM24

Sarat Chandra Varanasi Neeraj Mittal Gopal Gupta 0001 Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP. 812-831 2023 July 23 Theory Pract. Log. Program. 4 https://doi.org/10.1017/s1471068423000303 db/journals/tplp/tplp23.html#VaranasiMG23

Sahil Dhoked Wojciech Golab Neeraj Mittal Brief Announcement: On Solving Recoverable Mutual Exclusion Under System-Wide Failures. 287-290 2023 SPAA https://doi.org/10.1145/3558481.3591317 conf/spaa/2023 db/conf/spaa/spaa2023.html#DhokedGM23 Sahil Dhoked Wojciech Golab Neeraj Mittal Modular Recoverable Mutual Exclusion Under System-Wide Failures. 17:1-17:24 2023 DISC https://doi.org/10.4230/LIPIcs.DISC.2023.17 conf/wdag/2023 db/conf/wdag/disc2023.html#DhokedGM23

Sarat Chandra Varanasi Neeraj Mittal Gopal Gupta 0001 Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP. 2023 abs/2305.18225 CoRR https://doi.org/10.48550/arXiv.2305.18225 db/journals/corr/corr2305.html#abs-2305-18225

Stéphane Devismes Neeraj Mittal Special issue of SSS 2020. 104955 2022 289 Inf. Comput. Part https://doi.org/10.1016/j.ic.2022.104955 db/journals/iandc/iandc289.html#DevismesM22

Shreyas Gokhale Sahil Dhoked Neeraj Mittal On group mutual exclusion for dynamic systems. 446-447 2021 PPoPP https://doi.org/10.1145/3437801.3441608 conf/ppopp/2021 db/conf/ppopp/ppopp2021.html#GokhaleDM21 Sarat Chandra Varanasi Neeraj Mittal Gopal Gupta 0001 Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming. ICLP Technical Communications 2021 219-233 journals/corr/abs-2109-07914 https://doi.org/10.4204/EPTCS.345.36 https://arxiv.org/abs/2109.08298 db/series/eptcs/eptcs345.html#abs-2109-08298

Sahil Dhoked Neeraj Mittal Memory Reclamation for Recoverable Mutual Exclusion. 2021 abs/2103.01538 CoRR https://arxiv.org/abs/2103.01538 db/journals/corr/corr2103.html#abs-2103-01538

Sahil Dhoked Neeraj Mittal Adaptive and Fair Transformation for Recoverable Mutual Exclusion. 2021 abs/2110.08308 CoRR https://arxiv.org/abs/2110.08308 db/journals/corr/corr2110.html#abs-2110-08308

Kenneth Platz Neeraj Mittal S. Venkatesan 0001 Practical concurrent unrolled linked lists using lazy synchronization. 110-134 2020 139 J. Parallel Distributed Comput. https://doi.org/10.1016/j.jpdc.2019.11.005 db/journals/jpdc/jpdc139.html#PlatzMV20

K. Alex Mills R. Chandrasekaran Neeraj Mittal Algorithms for optimal replica placement under correlated failure in hierarchical failure domains. 482-518 2020 809 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2020.01.004 https://www.wikidata.org/entity/Q126383496 db/journals/tcs/tcs809.html#MillsCM20

Aravind Natarajan Arunmoezhi Ramachandran Neeraj Mittal FEAST: A Lightweight Lock-free Concurrent Binary Search Tree. 10:1-10:64 2020 7 ACM Trans. Parallel Comput. 2 https://doi.org/10.1145/3391438 db/journals/topc/topc7.html#NatarajanRM20

Sahil Dhoked Neeraj Mittal An Adaptive Approach to Recoverable Mutual Exclusion. 1-10 2020 PODC https://doi.org/10.1145/3382734.3405739 conf/podc/2020 db/conf/podc/podc2020.html#DhokedM20 Stéphane Devismes Neeraj Mittal Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020, Proceedings SSS Springer 2020 Lecture Notes in Computer Science 12514 978-3-030-64347-8 978-3-030-64348-5 https://doi.org/10.1007/978-3-030-64348-5 db/conf/sss/sss2020.html

Sahil Dhoked Neeraj Mittal An Adaptive Approach to Recoverable Mutual Exlcusion. 2020 abs/2006.07086 CoRR https://arxiv.org/abs/2006.07086 db/journals/corr/corr2006.html#abs-2006-07086

Sarat Chandra Varanasi Neeraj Mittal Gopal Gupta 0001 Pointer Data Structure Synthesis from Answer Set Programming Specifications. 2020 abs/2006.07440 CoRR https://arxiv.org/abs/2006.07440 db/journals/corr/corr2006.html#abs-2006-07440

Sarat Chandra Varanasi Neeraj Mittal Gopal Gupta 0001 Generating Concurrent Programs From Sequential Data Structure Knowledge. 2020 abs/2011.04045 CoRR https://arxiv.org/abs/2011.04045 db/journals/corr/corr2011.html#abs-2011-04045

Arunmoezhi Ramachandran Neeraj Mittal Improving efficacy of concurrent internal binary search trees using local recovery. 61-70 2019 ICDCN https://doi.org/10.1145/3288599.3288615 conf/icdcn/2019 db/conf/icdcn/icdcn2019.html#RamachandranM19 Kenneth Platz Neeraj Mittal S. Venkatesan 0001 Concurrent Unrolled Skiplist. 1579-1589 2019 ICDCS https://doi.org/10.1109/ICDCS.2019.00157 conf/icdcs/2019 db/conf/icdcs/icdcs2019.html#PlatzM019 Sarat Chandra Varanasi Elmer Salazar Neeraj Mittal Gopal Gupta 0001 Synthesizing Imperative Code from Answer Set Programming Specifications. 75-89 2019 LOPSTR https://doi.org/10.1007/978-3-030-45260-5_5 conf/lopstr/2019 db/conf/lopstr/lopstr2019.html#VaranasiSMG19 Shreyas Gokhale Neeraj Mittal Brief Announcement: Fast and Scalable Group Mutual Exclusion. 49:1-49:3 2018 DISC https://doi.org/10.4230/LIPIcs.DISC.2018.49 conf/wdag/2018 db/conf/wdag/disc2018.html#GokhaleM18

Shreyas Gokhale Neeraj Mittal Fast and Scalable Group Mutual Exclusion. 2018 abs/1805.04819 CoRR http://arxiv.org/abs/1805.04819 db/journals/corr/corr1805.html#abs-1805-04819

Aravind Natarajan Himanshu Chauhan Neeraj Mittal Vijay K. Garg Efficient abstraction algorithms for predicate detection. 24-48 2017 688 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2015.12.037 db/journals/tcs/tcs688.html#NatarajanCMG17

K. Alex Mills R. Chandrasekaran Neeraj Mittal Lexico-Minimum Replica Placement in Multitrees. 122-137 2017 COCOA (2) https://doi.org/10.1007/978-3-319-71147-8_9 conf/cocoa/2017-2 db/conf/cocoa/cocoa2017-2.html#MillsCM17

K. Alex Mills Ramaswamy Chandrasekaran Neeraj Mittal Algorithms for Optimal Replica Placement Under Correlated Failure in Hierarchical Failure Domains. 2017 abs/1701.01539 CoRR http://arxiv.org/abs/1701.01539 db/journals/corr/corr1701.html#MillsCM17

K. Alex Mills R. Chandrasekaran Neeraj Mittal Lexico-minimum Replica Placement in Multitrees. 2017 abs/1709.05709 CoRR http://arxiv.org/abs/1709.05709 db/journals/corr/corr1709.html#abs-1709-05709

Yanyan Zeng K. Alex Mills Shreyas Gokhale Neeraj Mittal S. Venkatesan 0001 R. Chandrasekaran Robust neighbor discovery in multi-hop multi-channel heterogeneous wireless networks. 15-34 2016 92 J. Parallel Distributed Comput. https://doi.org/10.1016/j.jpdc.2016.02.001 db/journals/jpdc/jpdc92.html#ZengMGMVC16

Arunmoezhi Ramachandran Neeraj Mittal Improving efficacy of internal binary search trees using local recovery. 42:1-42:2 2016 PPoPP https://doi.org/10.1145/2851141.2851173 https://doi.org/10.1145/3016078.2851173 conf/ppopp/2016 db/conf/ppopp/ppopp2016.html#RamachandranM16 K. Alex Mills R. Chandrasekaran Neeraj Mittal On Replica Placement in High-Availability Storage Under Correlated Failure. 348-363 2015 COCOA https://doi.org/10.1007/978-3-319-26626-8_26 conf/cocoa/2015 db/conf/cocoa/cocoa2015.html#MillsCM15 Arunmoezhi Ramachandran Neeraj Mittal A Fast Lock-Free Internal Binary Search Tree. 37:1-37:10 2015 ICDCN https://doi.org/10.1145/2684464.2684472 conf/icdcn/2015 db/conf/icdcn/icdcn2015.html#RamachandranM15 Arunmoezhi Ramachandran Neeraj Mittal CASTLE: fast concurrent internal binary search tree using edge-based locking. 281-282 2015 PPoPP https://doi.org/10.1145/2688500.2688551 https://doi.org/10.1145/2858788.2688551 conf/ppopp/2015 db/conf/ppopp/ppopp2015.html#RamachandranM15

K. Alex Mills R. Chandrasekaran Neeraj Mittal Algorithms for Replica Placement in High-Availability Storage. 2015 abs/1503.02654 CoRR http://arxiv.org/abs/1503.02654 db/journals/corr/corr1503.html#MillsCM15

Yanyan Zeng K. Alex Mills Shreyas Gokhale Neeraj Mittal S. Venkatesan 0001 Ramaswamy Chandrasekaran Robust Neighbor Discovery in Multi-Hop Multi-Channel Heterogeneous Wireless Networks. 2015 abs/1505.00267 CoRR http://arxiv.org/abs/1505.00267 db/journals/corr/corr1505.html#ZengMGMVC15

Ramon Novales Neeraj Mittal Kamil Saraç SKAIT: A parameterized key assignment scheme for confidential communication in resource constrained ad hoc wireless networks. 163-181 2014 20 Ad Hoc Networks https://doi.org/10.1016/j.adhoc.2014.04.006 db/journals/adhoc/adhoc20.html#NovalesMS14

Dennis Kundisch Neeraj Mittal Barrie R. Nault Research Commentary - Using Income Accounting as the Theoretical Basis for Measuring IT Productivity. 449-467 2014 25 Inf. Syst. Res. 3 https://doi.org/10.1287/isre.2014.0534 db/journals/isr/isr25.html#KundischMN14

Miguel Correia 0001 Neeraj Mittal Cloud Computing Dependability: Report and Extended Papers of the Second International Workshop on Dependability Issues in Cloud Computing. 1-2 2014 48 ACM SIGOPS Oper. Syst. Rev. 2 https://doi.org/10.1145/2694737.2694739 db/journals/sigops/sigops48.html#CorreiaM14

Aravind Natarajan Neeraj Mittal Vijay K. Garg Online Algorithms to Generate Slices for Regular Temporal Logic Predicates. 165-180 2014 ICDCN https://doi.org/10.1007/978-3-642-45249-9_11 conf/icdcn/2014 db/conf/icdcn/icdcn2014.html#NatarajanMG14 Kenneth Platz Neeraj Mittal Subbarayan Venkatesan Practical Concurrent Unrolled Linked Lists Using Lazy Synchronization. 388-403 2014 OPODIS https://doi.org/10.1007/978-3-319-14472-6_26 conf/opodis/2014 db/conf/opodis/opodis2014.html#PlatzMV14 Aravind Natarajan Neeraj Mittal Fast concurrent lock-free binary search trees. 317-328 2014 PPoPP https://doi.org/10.1145/2555243.2555256 https://doi.org/10.1145/2692916.2555256 conf/ppopp/2014 db/conf/ppopp/ppopp2014.html#NatarajanM14

Miguel Correia 0001 Neeraj Mittal Dependability issues in cloud computing: extended papers from the 1st international workshop on dependability issues in cloud computing - DISCCO. 20-22 2013 47 ACM SIGOPS Oper. Syst. Rev. 2 https://doi.org/10.1145/2506164.2506169 db/journals/sigops/sigops47.html#CorreiaM13

Sara Arbab Yazd Subbarayan Venkatesan Neeraj Mittal Boosting energy efficiency with mirrored data block replication policy and energy scheduler. 33-40 2013 47 ACM SIGOPS Oper. Syst. Rev. 2 https://doi.org/10.1145/2506164.2506171 https://www.wikidata.org/entity/Q131115504 db/journals/sigops/sigops47.html#YazdVM13

Himanshu Chauhan Vijay K. Garg Aravind Natarajan Neeraj Mittal A Distributed Abstraction Algorithm for Online Predicate Detection. 101-110 2013 SRDS https://doi.org/10.1109/SRDS.2013.19 https://doi.ieeecomputersociety.org/10.1109/SRDS.2013.19 conf/srds/2013 db/conf/srds/srds2013.html#ChauhanGNM13 Aravind Natarajan Lee Savoie Neeraj Mittal Concurrent Wait-Free Red Black Trees. 45-60 2013 SSS https://doi.org/10.1007/978-3-319-03089-0_4 conf/sss/2013 db/conf/sss/sss2013.html#NatarajanSM13 Miguel Correia 0001 Neeraj Mittal Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing, DISCCO '13, Braga, Portugal, September 30, 2013 DISCCO@SRDS ACM 2013 978-1-4503-2248-5 https://doi.org/10.1145/2506155 db/conf/srds/discco2013.html

Himanshu Chauhan Vijay K. Garg Aravind Natarajan Neeraj Mittal Distributed Abstraction Algorithm for Online Predicate Detection http://arxiv.org/abs/1304.4326 2013 CoRR abs/1304.4326 db/journals/corr/corr1304.html#abs-1304-4326

Sara Arbab Yazd Subbarayan Venkatesan Neeraj Mittal Energy Efficient Hadoop Using Mirrored Data Block Replication Policy. 457-462 2012 SRDS https://doi.org/10.1109/SRDS.2012.25 https://doi.ieeecomputersociety.org/10.1109/SRDS.2012.25 conf/srds/2012 db/conf/srds/srds2012.html#YazdVM12 Aravind Natarajan Lee Savoie Neeraj Mittal Brief Announcement: Concurrent Wait-Free Red-Black Trees. 421-422 2012 DISC https://doi.org/10.1007/978-3-642-33651-5_38 conf/wdag/2012 db/conf/wdag/disc2012.html#NatarajanSM12

Ramon Novales Neeraj Mittal Parameterized key assignment for confidential communication in wireless networks. 1186-1201 2011 9 Ad Hoc Networks 7 https://doi.org/10.1016/j.adhoc.2011.01.009 db/journals/adhoc/adhoc9.html#NovalesM11

Suhel Patel Kamil Saraç R. Chandrasekaran Turgay Korkmaz Neeraj Mittal Relay Assignment in AMT-Based Multicast Content Distribution. 263-270 2011 CNSR https://doi.org/10.1109/CNSR.2011.45 https://doi.ieeecomputersociety.org/10.1109/CNSR.2011.45 conf/cnsr/2011 db/conf/cnsr/cnsr2011.html#PatelSCKM11 Chanaka Liyana Arachchige S. Venkatesan 0001 R. Chandrasekaran Neeraj Mittal Minimal Time Broadcasting in Cognitive Radio Networks. 364-375 2011 ICDCN https://doi.org/10.1007/978-3-642-17679-1_32 conf/icdcn/2011 db/conf/icdcn/icdcn2011.html#ArachchigeVCM11 Neeraj Mittal Yanyan Zeng S. Venkatesan 0001 R. Chandrasekaran Randomized Distributed Algorithms for Neighbor Discovery in Multi-hop Multi-channel Heterogeneous Wireless Networks. 57-66 2011 ICDCS https://doi.org/10.1109/ICDCS.2011.92 https://doi.ieeecomputersociety.org/10.1109/ICDCS.2011.92 conf/icdcs/2011 db/conf/icdcs/icdcs2011.html#MittalZVC11 Matthew Holiday Neeraj Mittal Subbarayan Venkatesan Secure Location Verification with Randomly-Selected Base Stations. 119-122 2011 ICDCS Workshops https://doi.org/10.1109/ICDCSW.2011.44 https://doi.ieeecomputersociety.org/10.1109/ICDCSW.2011.44 conf/icdcsw/2011 db/conf/icdcsw/icdcsw2011.html#HolidayMV11 Ehsan Nourbakhsh T. Ryan Burchfield S. Venkatesan 0001 Neeraj Mittal Ravi Prakash 0001 Enhancing ASSERT: making an accurate testbed friendly. 3-10 2011 WiNTECH https://doi.org/10.1145/2030718.2030722 conf/mobicom/2011wintech db/conf/mobicom/wintech2011.html#NourbakhshB0MP11

Neeraj Mittal Ramon Novales Cluster-Based Key Predistribution Using Deployment Knowledge. 329-335 2010 7 IEEE Trans. Dependable Secur. Comput. 3 https://doi.org/10.1109/TDSC.2009.34 http://doi.ieeecomputersociety.org/10.1109/TDSC.2009.34 db/journals/tdsc/tdsc7.html#MittalN10

Tarun Bansal Neeraj Mittal A scalable algorithm for maintaining perpetual system connectivity in dynamic distributed systems. 1-12 2010 IPDPS https://doi.org/10.1109/IPDPS.2010.5470412 https://doi.ieeecomputersociety.org/10.1109/IPDPS.2010.5470412 conf/ipps/2010 db/conf/ipps/ipdps2010.html#BansalM10 Aravind Natarajan Neeraj Mittal False conflict reduction in the Swiss Transactional Memory (SwissTM) system. 1-8 2010 IPDPS Workshops https://doi.org/10.1109/IPDPSW.2010.5470942 https://doi.ieeecomputersociety.org/10.1109/IPDPSW.2010.5470942 conf/ipps/2010w db/conf/ipps/ipdps2010w.html#NatarajanM10 Yanyan Zeng Neeraj Mittal S. Venkatesan 0001 R. Chandrasekaran Fast Neighbor Discovery with Lightweight Termination Detection in Heterogeneous Cognitive Radio Networks. 149-156 2010 ISPDC https://doi.org/10.1109/ISPDC.2010.32 https://doi.ieeecomputersociety.org/10.1109/ISPDC.2010.32 conf/ispdc/2010 db/conf/ispdc/ispdc2010.html#ZengMVC10 Ramon Novales Neeraj Mittal Kamil Saraç SKAIT: A Parameterized Key Assignment Scheme for Wireless Networks. 157-164 2010 ISPDC https://doi.org/10.1109/ISPDC.2010.18 https://doi.ieeecomputersociety.org/10.1109/ISPDC.2010.18 conf/ispdc/2010 db/conf/ispdc/ispdc2010.html#NovalesMS10 Ehsan Nourbakhsh Jeff Dix Paul Johnson T. Ryan Burchfield S. Venkatesan 0001 Neeraj Mittal Ravi Prakash 0001 ASSERT: A Wireless Networking Testbed. 209-218 2010 TRIDENTCOM https://doi.org/10.1007/978-3-642-17851-1_17 http://eudl.eu/doi/10.1007/978-3-642-17851-1_17 conf/tridentcom/2010 db/conf/tridentcom/tridentcom2010.html#NourbakhshDJBVMP10

Neeraj Mittal Barrie R. Nault Research Note - Investments in Information Technology: Indirect Effects and Information Technology Intensity. 140-154 2009 20 Inf. Syst. Res. 1 https://doi.org/10.1287/isre.1080.0186 db/journals/isr/isr20.html#MittalN09

Neeraj Mittal Srinivasan Krishnamurthy R. Chandrasekaran Subbarayan Venkatesan Yanyan Zeng On neighbor discovery in cognitive radio networks. 623-637 2009 69 J. Parallel Distributed Comput. 7 https://doi.org/10.1016/j.jpdc.2009.03.008 db/journals/jpdc/jpdc69.html#MittalKCVZ09

Neeraj Mittal Kuppahalli L. Phaneesh Felix C. Freiling Safe termination detection in an asynchronous distributed system when processes may crash and recover. 614-628 2009 410 Theor. Comput. Sci. 6-7 https://doi.org/10.1016/j.tcs.2008.10.011 db/journals/tcs/tcs410.html#MittalPF09

Paul Johnson Neeraj Mittal A Distributed Termination Detection Algorithm for Dynamic Asynchronous Systems. 343-351 2009 ICDCS https://doi.org/10.1109/ICDCS.2009.16 https://doi.ieeecomputersociety.org/10.1109/ICDCS.2009.16 conf/icdcs/2009 db/conf/icdcs/icdcs2009.html#JohnsonM09 Paul Johnson Ehsan Nourbakhsh T. Ryan Burchfield Jeff Dix Ravi Prakash 0001 Subbarayan Venkatesan Neeraj Mittal ASSERT: Advanced wireleSS Environment Research Testbed. 297-298 2009 SenSys https://doi.org/10.1145/1644038.1644069 conf/sensys/2009 db/conf/sensys/sensys2009.html#JohnsonNBDPVM09 Hai Trong Vu Thuc D. Nguyen Neeraj Mittal S. Venkatesan 0001 PEQ: A Privacy-Preserving Scheme for Exact Query Evaluation in Distributed Sensor Data Networks. 189-198 2009 SRDS https://doi.org/10.1109/SRDS.2009.14 https://doi.ieeecomputersociety.org/10.1109/SRDS.2009.14 conf/srds/2009 db/conf/srds/srds2009.html#VuNMV09 Ramon Novales Neeraj Mittal TASK: Template-Based Key Assignment for Confidential Communication in Wireless Networks. 209-216 2009 SRDS https://doi.org/10.1109/SRDS.2009.30 https://doi.ieeecomputersociety.org/10.1109/SRDS.2009.30 conf/srds/2009 db/conf/srds/srds2009.html#NovalesM09

Srinivasan Krishnamurthy Mansi Ramakrishnan Thoppian Srikant Kuppa Ramaswamy Chandrasekaran Neeraj Mittal Subbarayan Venkatesan Ravi Prakash 0001 Time-efficient distributed layer-2 auto-configuration for cognitive radio networks. 831-849 2008 52 Comput. Networks 4 https://doi.org/10.1016/j.comnet.2007.11.013 db/journals/cn/cn52.html#KrishnamurthyTKCMVP08

Sathya Peri Neeraj Mittal Improving the Efficacy of a Termination Detection Algorithm. 159-174 2008 24 J. Inf. Sci. Eng. 1 http://www.iis.sinica.edu.tw/page/jise/2008/200801_11.html db/journals/jise/jise24.html#PeriM08

Vinay Madenur Neeraj Mittal A Delay-Optimal Group Mutual Exclusion Algorithm for a Tree Network. 573-583 2008 24 J. Inf. Sci. Eng. 2 http://www.iis.sinica.edu.tw/page/jise/2008/200803_16.html db/journals/jise/jise24.html#MadenurM08

Neeraj Mittal Felix C. Freiling Subbarayan Venkatesan Lucia Draque Penso On termination detection in crash-prone distributed systems with failure detectors. 855-875 2008 68 J. Parallel Distributed Comput. 6 https://doi.org/10.1016/j.jpdc.2008.02.001 db/journals/jpdc/jpdc68.html#MittalFVP08

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. 185-190 2008 ICCCN https://doi.org/10.1109/ICCCN.2008.ECP.51 https://www.wikidata.org/entity/Q56535046 conf/icccn/2008 db/conf/icccn/icccn2008.html#NguyenNTVM08 Tarun Bansal Neeraj Mittal Subbarayan Venkatesan Leader Election Algorithms for Multi-channel Wireless Networks. 310-321 2008 WASA https://doi.org/10.1007/978-3-540-88582-5_30 conf/wasa/2008 db/conf/wasa/wasa2008.html#BansalMV08 Hai Trong Vu Ajay Kulkarni Kamil Saraç Neeraj Mittal WORMEROS: A New Framework for Defending against Wormhole Attacks on Wireless Ad Hoc Networks. 491-502 2008 WASA https://doi.org/10.1007/978-3-540-88582-5_46 conf/wasa/2008 db/conf/wasa/wasa2008.html#VuKSM08 Vijay K. Garg Neeraj Mittal Time and State in Asynchronous Distributed Systems. 2008 Wiley Encyclopedia of Computer Science and Engineering https://doi.org/10.1002/9780470050118.ecse436 reference/wiley/2008 db/reference/wiley/wiley2008.html#GargM08

Vijay K. Garg Chakarat Skawratananond Neeraj Mittal Timestamping messages and events in a distributed system using synchronous communication. 387-402 2007 19 Distributed Comput. 5-6 https://doi.org/10.1007/s00446-006-0018-5 db/journals/dc/dc19.html#GargSM07

Neeraj Mittal Subbarayan Venkatesan Sathya Peri A family of optimal termination detection algorithms. 141-162 2007 20 Distributed Comput. 2 https://doi.org/10.1007/s00446-007-0031-3 db/journals/dc/dc20.html#MittalVP07

Ranganath Atreya Neeraj Mittal Ajay D. Kshemkalyani Vijay K. Garg Mukesh Singhal Efficient detection of a locally stable predicate in a distributed system. 369-385 2007 67 J. Parallel Distributed Comput. 4 https://doi.org/10.1016/j.jpdc.2006.12.004 db/journals/jpdc/jpdc67.html#AtreyaMKGS07

Neeraj Mittal Prajwal K. Mohan A priority-based distributed group mutual exclusion algorithm when group access is non-uniform. 797-815 2007 67 J. Parallel Distributed Comput. 7 https://doi.org/10.1016/j.jpdc.2007.02.005 db/journals/jpdc/jpdc67.html#MittalM07

Ranganath Atreya Neeraj Mittal Sathya Peri A Quorum-Based Group Mutual Exclusion Algorithm for a Distributed System with Dynamic Group Set. 1345-1360 2007 18 IEEE Trans. Parallel Distributed Syst. 10 https://doi.org/10.1109/TPDS.2007.1072 http://doi.ieeecomputersociety.org/10.1109/TPDS.2007.1072 db/journals/tpds/tpds18.html#AtreyaMP07

Neeraj Mittal Alper Sen 0001 Vijay K. Garg Solving Computation Slicing Using Predicate Detection. 1700-1713 2007 18 IEEE Trans. Parallel Distributed Syst. 12 https://doi.org/10.1109/TPDS.2007.1077 http://doi.ieeecomputersociety.org/10.1109/TPDS.2007.1077 db/journals/tpds/tpds18.html#MittalSG07

Felix C. Freiling Matthias Majuntke Neeraj Mittal On Detecting Termination in the Crash-Recovery Model. 629-638 2007 conf/europar/2007 Euro-Par https://doi.org/10.1007/978-3-540-74466-5_66 db/conf/europar/europar2007.html#FreilingMM07 Hai Trong Vu Neeraj Mittal Subbarayan Venkatesan THIS: THreshold security for Information aggregation in Sensor networks. 89-95 2007 conf/itng/2007 ITNG https://doi.org/10.1109/ITNG.2007.193 https://doi.ieeecomputersociety.org/10.1109/ITNG.2007.193 db/conf/itng/itng2007.html#VuMV07 Neeraj Mittal Space-Efficient Keying in Wireless Communication Networks. 75 2007 WiMob https://doi.ieeecomputersociety.org/10.1109/WIMOB.2007.73 conf/wimob/2007 db/conf/wimob/wimob2007.html#Mittal07 Neeraj Mittal Kuppahalli L. Phaneesh Felix C. Freiling Safe Termination Detection in an Asynchronous Distributed System When Processes May Crash and Recover. 126-141 2006 conf/opodis/2006 OPODIS https://doi.org/10.1007/11945529_10 db/conf/opodis/opodis2006.html#MittalPF06 Felix C. Freiling Matthias Majuntke Neeraj Mittal Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures. 572-573 2006 conf/sss/2006 SSS https://doi.org/10.1007/978-3-540-49823-0_43 db/conf/sss/sss2006.html#FreilingMM06 Srinivasan Krishnamurthy R. Chandrasekaran Neeraj Mittal Subbarayan Venkatesan Brief Announcement: Synchronous Distributed Algorithms for Node Discovery and Configuration in Multi-channel Cognitive Radio Networks. 572-574 2006 conf/wdag/2006 DISC https://doi.org/10.1007/11864219_49 db/conf/wdag/disc2006.html#KrishnamurthyCMV06

Neeraj Mittal Vijay K. Garg Techniques and applications of computation slicing. 251-277 2005 17 Distributed Comput. 3 https://doi.org/10.1007/s00446-004-0117-0 db/journals/dc/dc17.html#MittalG05

Vijay K. Garg Neeraj Mittal A Critique of Java for Concurrent Programming. 2005 6 IEEE Distributed Syst. Online 9 https://doi.org/10.1109/MDSO.2005.43 https://doi.ieeecomputersociety.org/10.1109/MDSO.2005.43 db/journals/dsonline/dsonline6.html#GargM05

Sathya Peri Neeraj Mittal Monitoring Stable Properties in Dynamic Peer-to-Peer Distributed Systems. 420-431 2005 conf/fsttcs/2005 FSTTCS https://doi.org/10.1007/11590156_34 db/conf/fsttcs/fsttcs2005.html#PeriM05 Felix C. Freiling Neeraj Mittal Lucia Draque Penso Transformations in Secure and Fault-Tolerant Distributed Computation. 410-412 2005 conf/gi/2005-1 GI Jahrestagung (1) db/conf/gi/gi2005-1.html#FreilingMP05 https://dl.gi.de/handle/20.500.12116/28071 http://subs.emis.de/LNI/Proceedings/Proceedings67/article4140.html Ranganath Atreya Neeraj Mittal A Dynamic Group Mutual Exclusion Algorithm Using Surrogate-Quorums. 251-260 2005 conf/icdcs/2005 ICDCS https://doi.org/10.1109/ICDCS.2005.5 https://doi.ieeecomputersociety.org/10.1109/ICDCS.2005.5 db/conf/icdcs/icdcs2005.html#AtreyaM05 Neeraj Mittal Prajwal K. Mohan An Efficient Distributed Group Mutual Exclusion Algorithm for Non-Uniform Group Access. 367-372 2005 conf/pdcs/2005 IASTED PDCS db/conf/pdcs/pdcs2005.html#MittalM05 Srinivasan Krishnamurthy Mansi Ramakrishnan Thoppian Srikant Kuppa Subbarayan Venkatesan Ramaswamy Chandrasekaran Neeraj Mittal Ravi Prakash 0001 Time-Efficient Layer-2 Auto-Configuration for Cognitive Radios. 459-464 2005 conf/pdcs/2005 IASTED PDCS db/conf/pdcs/pdcs2005.html#KrishnamurthyTKVCMP05 Subbarayan Venkatesan Maulin Patel Neeraj Mittal A Distributed Algorithm for Path Restoration in Circuit Switched Communication Networks. 226-236 2005 conf/srds/2005 SRDS https://doi.org/10.1109/RELDIS.2005.5 https://doi.ieeecomputersociety.org/10.1109/RELDIS.2005.5 db/conf/srds/srds2005.html#VenkatesanPM05 Neeraj Mittal Felix C. Freiling Subbarayan Venkatesan Lucia Draque Penso Efficient Reduction for Wait-Free Termination Detection in a Crash-Prone Distributed System. 93-107 2005 conf/wdag/2005 DISC https://doi.org/10.1007/11561927_9 db/conf/wdag/disc2005.html#MittalFVP05

Neeraj Mittal Vijay K. Garg Finding missing synchronization in a distributed computation using controlled re-execution. 107-130 2004 17 Distributed Comput. 2 https://doi.org/10.1007/s00446-003-0104-x db/journals/dc/dc17.html#MittalG04

Sathya Peri Neeraj Mittal On Termination Detection in an Asynchronous Distributed System. 209-215 2004 conf/ISCApdcs/2004 PDCS db/conf/ISCApdcs/ISCApdcs2004.html#PeriM04 Neeraj Mittal Alper Sen 0001 Vijay K. Garg Ranganath Atreya Finding Satisfying Global States: All for One and One for All. 2004 conf/ipps/2004 IPDPS https://doi.org/10.1109/IPDPS.2004.1302994 https://doi.ieeecomputersociety.org/10.1109/IPDPS.2004.1302994 db/conf/ipps/ipdps2004-c.html#MittalSGA04 Neeraj Mittal Subbarayan Venkatesan Sathya Peri Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies. 290-304 https://doi.org/10.1007/978-3-540-30186-8_21 2004 conf/wdag/2004 DISC db/conf/wdag/disc2004.html#MittalVP04 Neeraj Mittal Vijay K. Garg Software Fault Tolerance of Distributed Programs Using Computation Slicing. 105- 2003 conf/icdcs/2003 ICDCS https://doi.org/10.1109/ICDCS.2003.1203457 https://doi.ieeecomputersociety.org/10.1109/ICDCS.2003.1203457 db/conf/icdcs/icdcs2003.html#MittalG03 Ranganath Atreya Neeraj Mittal Vijay K. Garg Detecting Locally Stable Predicates Without Modifying Application Messages. 20-33 https://doi.org/10.1007/978-3-540-27860-3_5 2003 conf/opodis/2003 OPODIS db/conf/opodis/opodis2003.html#AtreyaMG03

Neeraj Mittal Vijay K. Garg Techniques and Applications of Computation Slicing http://arxiv.org/abs/cs/0303010 2003 CoRR cs.DC/0303010 db/journals/corr/corr0303.html#cs-DC-0303010

Neeraj Mittal Vijay K. Garg On Detecting Global Predicates in Distributed Computations. 3-10 2001 conf/icdcs/2001 ICDCS https://doi.org/10.1109/ICDSC.2001.918927 https://doi.ieeecomputersociety.org/10.1109/ICDSC.2001.918927 db/conf/icdcs/icdcs2001.html#MittalG01 Vijay K. Garg Neeraj Mittal On Slicing a Distributed Computation. 322-329 2001 conf/icdcs/2001 ICDCS https://doi.org/10.1109/ICDSC.2001.918962 https://doi.ieeecomputersociety.org/10.1109/ICDSC.2001.918962 db/conf/icdcs/icdcs2001.html#GargM01 Neeraj Mittal Hui-I Hsiao Database Managed External File Update. 2001 conf/icde/2001 ICDE db/conf/icde/icde2001.html#MittalHH01 557-564 https://doi.org/10.1109/ICDE.2001.914870 https://doi.ieeecomputersociety.org/10.1109/ICDE.2001.914870 Neeraj Mittal Vijay K. Garg Computation Slicing: Techniques and Theory. 78-92 2001 conf/wdag/2001 DISC https://doi.org/10.1007/3-540-45414-4_6 db/conf/wdag/disc2001.html#MittalG01 Neeraj Mittal Vijay K. Garg Debugging distributed programs using controlled re-execution. 239-248 2000 conf/podc/2000 PODC https://doi.org/10.1145/343477.343624 db/conf/podc/podc2000.html#MittalG00 Neeraj Mittal Vijay K. Garg Consistency Conditions for Multi-Object Distributed Operations. 582-599 1998 conf/icdcs/1998 ICDCS https://doi.org/10.1109/ICDCS.1998.679835 https://doi.ieeecomputersociety.org/10.1109/ICDCS.1998.679835 db/conf/icdcs/icdcs98.html#MittalG98 Renu Agarwal Chanaka Liyana Arachchige Ranganath Atreya Tarun Bansal T. Ryan Burchfield Ramaswamy ChandrasekaranR. Chandrasekaran Bapi Chatterjee Himanshu Chauhan Miguel Correia 0001 Stéphane Devismes Sahil Dhoked Jeff Dix Ahmed Fahmy Felix C. Freiling Vijay K. Garg Shreyas Gokhale Wojciech M. GolabWojciech Golab Gopal Gupta 0001 Samrat Gupta Matthew Holiday Hui-I Hsiao Paul Johnson Turgay Korkmaz Kishore Kothapalli Srinivasan Krishnamurthy Ajay D. Kshemkalyani Ajay Kulkarni Dennis Kundisch Srikant Kuppa Vinay Madenur Matthias Majuntke K. Alex Mills Prajwal K. Mohan Aravind Natarajan Arul Murugan Natarajan Barrie R. Nault Duc H. M. Nguyen Thuc D. Nguyen Ehsan Nourbakhsh Ramon Novales Maulin Patel Suhel Patel Lucia Draque Penso Sathya Peri Kuppahalli L. Phaneesh Kenneth Platz Ravi Prakash 0001 Arunmoezhi Ramachandran Elmer Salazar Kamil Saraç Lee Savoie Alper Sen 0001 Dinesh Singh 0001 Mukesh Singhal Chakarat Skawratananond Mansi Ramakrishnan Thoppian Amit Anand Tiwari Bao N. Tran Sarat Chandra Varanasi S. Venkatesan 0001Subbarayan Venkatesan Hai Trong Vu Sara Arbab Yazd Efpraxia D. Zamani Yanyan Zeng