BibTeX records: Neeraj Mittal

download as .bib file

@article{DBLP:journals/tplp/VaranasiMG23,
  author       = {Sarat Chandra Varanasi and
                  Neeraj Mittal and
                  Gopal Gupta},
  title        = {Locksynth: Deriving Synchronization Code for Concurrent Data Structures
                  with {ASP}},
  journal      = {Theory Pract. Log. Program.},
  volume       = {23},
  number       = {4},
  pages        = {812--831},
  year         = {2023},
  url          = {https://doi.org/10.1017/s1471068423000303},
  doi          = {10.1017/S1471068423000303},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/VaranasiMG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/DhokedGM23,
  author       = {Sahil Dhoked and
                  Wojciech Golab and
                  Neeraj Mittal},
  editor       = {Kunal Agrawal and
                  Julian Shun},
  title        = {Brief Announcement: On Solving Recoverable Mutual Exclusion Under
                  System-Wide Failures},
  booktitle    = {Proceedings of the 35th {ACM} Symposium on Parallelism in Algorithms
                  and Architectures, {SPAA} 2023, Orlando, FL, USA, June 17-19, 2023},
  pages        = {287--290},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3558481.3591317},
  doi          = {10.1145/3558481.3591317},
  timestamp    = {Thu, 15 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spaa/DhokedGM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/DhokedGM23,
  author       = {Sahil Dhoked and
                  Wojciech Golab and
                  Neeraj Mittal},
  editor       = {Rotem Oshman},
  title        = {Modular Recoverable Mutual Exclusion Under System-Wide Failures},
  booktitle    = {37th International Symposium on Distributed Computing, {DISC} 2023,
                  October 10-12, 2023, L'Aquila, Italy},
  series       = {LIPIcs},
  volume       = {281},
  pages        = {17:1--17:24},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.DISC.2023.17},
  doi          = {10.4230/LIPICS.DISC.2023.17},
  timestamp    = {Thu, 05 Oct 2023 15:45:05 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/DhokedGM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-18225,
  author       = {Sarat Chandra Varanasi and
                  Neeraj Mittal and
                  Gopal Gupta},
  title        = {Locksynth: Deriving Synchronization Code for Concurrent Data Structures
                  with {ASP}},
  journal      = {CoRR},
  volume       = {abs/2305.18225},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.18225},
  doi          = {10.48550/ARXIV.2305.18225},
  eprinttype    = {arXiv},
  eprint       = {2305.18225},
  timestamp    = {Wed, 07 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-18225.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/DevismesM22,
  author       = {St{\'{e}}phane Devismes and
                  Neeraj Mittal},
  title        = {Special issue of {SSS} 2020},
  journal      = {Inf. Comput.},
  volume       = {289},
  number       = {Part},
  pages        = {104955},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.ic.2022.104955},
  doi          = {10.1016/J.IC.2022.104955},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/DevismesM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/GokhaleDM21,
  author       = {Shreyas Gokhale and
                  Sahil Dhoked and
                  Neeraj Mittal},
  editor       = {Jaejin Lee and
                  Erez Petrank},
  title        = {On group mutual exclusion for dynamic systems},
  booktitle    = {PPoPP '21: 26th {ACM} {SIGPLAN} Symposium on Principles and Practice
                  of Parallel Programming, Virtual Event, Republic of Korea, February
                  27- March 3, 2021},
  pages        = {446--447},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3437801.3441608},
  doi          = {10.1145/3437801.3441608},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppopp/GokhaleDM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08298,
  author       = {Sarat Chandra Varanasi and
                  Neeraj Mittal and
                  Gopal Gupta},
  editor       = {Andrea Formisano and
                  Yanhong Annie Liu and
                  Bart Bogaerts and
                  Alex Brik and
                  Ver{\'{o}}nica Dahl and
                  Carmine Dodaro and
                  Paul Fodor and
                  Gian Luca Pozzato and
                  Joost Vennekens and
                  Neng{-}Fa Zhou},
  title        = {Generating Concurrent Programs From Sequential Data Structure Knowledge
                  Using Answer Set Programming},
  booktitle    = {Proceedings 37th International Conference on Logic Programming (Technical
                  Communications), {ICLP} Technical Communications 2021, Porto (virtual
                  event), 20-27th September 2021},
  series       = {{EPTCS}},
  volume       = {345},
  pages        = {219--233},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.345.36},
  doi          = {10.4204/EPTCS.345.36},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-08298.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-01538,
  author       = {Sahil Dhoked and
                  Neeraj Mittal},
  title        = {Memory Reclamation for Recoverable Mutual Exclusion},
  journal      = {CoRR},
  volume       = {abs/2103.01538},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.01538},
  eprinttype    = {arXiv},
  eprint       = {2103.01538},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-01538.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-08308,
  author       = {Sahil Dhoked and
                  Neeraj Mittal},
  title        = {Adaptive and Fair Transformation for Recoverable Mutual Exclusion},
  journal      = {CoRR},
  volume       = {abs/2110.08308},
  year         = {2021},
  url          = {https://arxiv.org/abs/2110.08308},
  eprinttype    = {arXiv},
  eprint       = {2110.08308},
  timestamp    = {Fri, 22 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-08308.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/PlatzMV20,
  author       = {Kenneth Platz and
                  Neeraj Mittal and
                  S. Venkatesan},
  title        = {Practical concurrent unrolled linked lists using lazy synchronization},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {139},
  pages        = {110--134},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jpdc.2019.11.005},
  doi          = {10.1016/J.JPDC.2019.11.005},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jpdc/PlatzMV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MillsCM20,
  author       = {K. Alex Mills and
                  R. Chandrasekaran and
                  Neeraj Mittal},
  title        = {Algorithms for optimal replica placement under correlated failure
                  in hierarchical failure domains},
  journal      = {Theor. Comput. Sci.},
  volume       = {809},
  pages        = {482--518},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2020.01.004},
  doi          = {10.1016/J.TCS.2020.01.004},
  timestamp    = {Fri, 31 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MillsCM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topc/NatarajanRM20,
  author       = {Aravind Natarajan and
                  Arunmoezhi Ramachandran and
                  Neeraj Mittal},
  title        = {{FEAST:} {A} Lightweight Lock-free Concurrent Binary Search Tree},
  journal      = {{ACM} Trans. Parallel Comput.},
  volume       = {7},
  number       = {2},
  pages        = {10:1--10:64},
  year         = {2020},
  url          = {https://doi.org/10.1145/3391438},
  doi          = {10.1145/3391438},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topc/NatarajanRM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/DhokedM20,
  author       = {Sahil Dhoked and
                  Neeraj Mittal},
  editor       = {Yuval Emek and
                  Christian Cachin},
  title        = {An Adaptive Approach to Recoverable Mutual Exclusion},
  booktitle    = {{PODC} '20: {ACM} Symposium on Principles of Distributed Computing,
                  Virtual Event, Italy, August 3-7, 2020},
  pages        = {1--10},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3382734.3405739},
  doi          = {10.1145/3382734.3405739},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/DhokedM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sss/2020,
  editor       = {St{\'{e}}phane Devismes and
                  Neeraj Mittal},
  title        = {Stabilization, Safety, and Security of Distributed Systems - 22nd
                  International Symposium, {SSS} 2020, Austin, TX, USA, November 18-21,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12514},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-64348-5},
  doi          = {10.1007/978-3-030-64348-5},
  isbn         = {978-3-030-64347-8},
  timestamp    = {Wed, 25 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sss/2020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-07086,
  author       = {Sahil Dhoked and
                  Neeraj Mittal},
  title        = {An Adaptive Approach to Recoverable Mutual Exlcusion},
  journal      = {CoRR},
  volume       = {abs/2006.07086},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.07086},
  eprinttype    = {arXiv},
  eprint       = {2006.07086},
  timestamp    = {Wed, 17 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-07086.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-07440,
  author       = {Sarat Chandra Varanasi and
                  Neeraj Mittal and
                  Gopal Gupta},
  title        = {Pointer Data Structure Synthesis from Answer Set Programming Specifications},
  journal      = {CoRR},
  volume       = {abs/2006.07440},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.07440},
  eprinttype    = {arXiv},
  eprint       = {2006.07440},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-07440.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-04045,
  author       = {Sarat Chandra Varanasi and
                  Neeraj Mittal and
                  Gopal Gupta},
  title        = {Generating Concurrent Programs From Sequential Data Structure Knowledge},
  journal      = {CoRR},
  volume       = {abs/2011.04045},
  year         = {2020},
  url          = {https://arxiv.org/abs/2011.04045},
  eprinttype    = {arXiv},
  eprint       = {2011.04045},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2011-04045.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/RamachandranM19,
  author       = {Arunmoezhi Ramachandran and
                  Neeraj Mittal},
  editor       = {R. C. Hansdah and
                  Dilip Krishnaswamy and
                  Nitin H. Vaidya},
  title        = {Improving efficacy of concurrent internal binary search trees using
                  local recovery},
  booktitle    = {Proceedings of the 20th International Conference on Distributed Computing
                  and Networking, {ICDCN} 2019, Bangalore, India, January 04-07, 2019},
  pages        = {61--70},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3288599.3288615},
  doi          = {10.1145/3288599.3288615},
  timestamp    = {Wed, 01 Sep 2021 12:22:37 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcn/RamachandranM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/PlatzM019,
  author       = {Kenneth Platz and
                  Neeraj Mittal and
                  S. Venkatesan},
  title        = {Concurrent Unrolled Skiplist},
  booktitle    = {39th {IEEE} International Conference on Distributed Computing Systems,
                  {ICDCS} 2019, Dallas, TX, USA, July 7-10, 2019},
  pages        = {1579--1589},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICDCS.2019.00157},
  doi          = {10.1109/ICDCS.2019.00157},
  timestamp    = {Wed, 06 Nov 2019 12:17:39 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/PlatzM019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/VaranasiSMG19,
  author       = {Sarat Chandra Varanasi and
                  Elmer Salazar and
                  Neeraj Mittal and
                  Gopal Gupta},
  editor       = {Maurizio Gabbrielli},
  title        = {Synthesizing Imperative Code from Answer Set Programming Specifications},
  booktitle    = {Logic-Based Program Synthesis and Transformation - 29th International
                  Symposium, {LOPSTR} 2019, Porto, Portugal, October 8-10, 2019, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12042},
  pages        = {75--89},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-45260-5\_5},
  doi          = {10.1007/978-3-030-45260-5\_5},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/VaranasiSMG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/GokhaleM18,
  author       = {Shreyas Gokhale and
                  Neeraj Mittal},
  editor       = {Ulrich Schmid and
                  Josef Widder},
  title        = {Brief Announcement: Fast and Scalable Group Mutual Exclusion},
  booktitle    = {32nd International Symposium on Distributed Computing, {DISC} 2018,
                  New Orleans, LA, USA, October 15-19, 2018},
  series       = {LIPIcs},
  volume       = {121},
  pages        = {49:1--49:3},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/LIPIcs.DISC.2018.49},
  doi          = {10.4230/LIPICS.DISC.2018.49},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/wdag/GokhaleM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-04819,
  author       = {Shreyas Gokhale and
                  Neeraj Mittal},
  title        = {Fast and Scalable Group Mutual Exclusion},
  journal      = {CoRR},
  volume       = {abs/1805.04819},
  year         = {2018},
  url          = {http://arxiv.org/abs/1805.04819},
  eprinttype    = {arXiv},
  eprint       = {1805.04819},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-04819.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NatarajanCMG17,
  author       = {Aravind Natarajan and
                  Himanshu Chauhan and
                  Neeraj Mittal and
                  Vijay K. Garg},
  title        = {Efficient abstraction algorithms for predicate detection},
  journal      = {Theor. Comput. Sci.},
  volume       = {688},
  pages        = {24--48},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2015.12.037},
  doi          = {10.1016/J.TCS.2015.12.037},
  timestamp    = {Tue, 04 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/NatarajanCMG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoa/MillsCM17,
  author       = {K. Alex Mills and
                  R. Chandrasekaran and
                  Neeraj Mittal},
  editor       = {Xiaofeng Gao and
                  Hongwei Du and
                  Meng Han},
  title        = {Lexico-Minimum Replica Placement in Multitrees},
  booktitle    = {Combinatorial Optimization and Applications - 11th International Conference,
                  {COCOA} 2017, Shanghai, China, December 16-18, 2017, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10628},
  pages        = {122--137},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-71147-8\_9},
  doi          = {10.1007/978-3-319-71147-8\_9},
  timestamp    = {Tue, 14 Jun 2022 14:15:49 +0200},
  biburl       = {https://dblp.org/rec/conf/cocoa/MillsCM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MillsCM17,
  author       = {K. Alex Mills and
                  Ramaswamy Chandrasekaran and
                  Neeraj Mittal},
  title        = {Algorithms for Optimal Replica Placement Under Correlated Failure
                  in Hierarchical Failure Domains},
  journal      = {CoRR},
  volume       = {abs/1701.01539},
  year         = {2017},
  url          = {http://arxiv.org/abs/1701.01539},
  eprinttype    = {arXiv},
  eprint       = {1701.01539},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MillsCM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-05709,
  author       = {K. Alex Mills and
                  R. Chandrasekaran and
                  Neeraj Mittal},
  title        = {Lexico-minimum Replica Placement in Multitrees},
  journal      = {CoRR},
  volume       = {abs/1709.05709},
  year         = {2017},
  url          = {http://arxiv.org/abs/1709.05709},
  eprinttype    = {arXiv},
  eprint       = {1709.05709},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-05709.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/ZengMGMVC16,
  author       = {Yanyan Zeng and
                  K. Alex Mills and
                  Shreyas Gokhale and
                  Neeraj Mittal and
                  S. Venkatesan and
                  R. Chandrasekaran},
  title        = {Robust neighbor discovery in multi-hop multi-channel heterogeneous
                  wireless networks},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {92},
  pages        = {15--34},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jpdc.2016.02.001},
  doi          = {10.1016/J.JPDC.2016.02.001},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jpdc/ZengMGMVC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/RamachandranM16,
  author       = {Arunmoezhi Ramachandran and
                  Neeraj Mittal},
  editor       = {Rafael Asenjo and
                  Tim Harris},
  title        = {Improving efficacy of internal binary search trees using local recovery},
  booktitle    = {Proceedings of the 21st {ACM} {SIGPLAN} Symposium on Principles and
                  Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March
                  12-16, 2016},
  pages        = {42:1--42:2},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2851141.2851173},
  doi          = {10.1145/2851141.2851173},
  timestamp    = {Sun, 12 Jun 2022 19:46:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ppopp/RamachandranM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoa/MillsCM15,
  author       = {K. Alex Mills and
                  R. Chandrasekaran and
                  Neeraj Mittal},
  editor       = {Zaixin Lu and
                  Donghyun Kim and
                  Weili Wu and
                  Wei Li and
                  Ding{-}Zhu Du},
  title        = {On Replica Placement in High-Availability Storage Under Correlated
                  Failure},
  booktitle    = {Combinatorial Optimization and Applications - 9th International Conference,
                  {COCOA} 2015, Houston, TX, USA, December 18-20, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9486},
  pages        = {348--363},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26626-8\_26},
  doi          = {10.1007/978-3-319-26626-8\_26},
  timestamp    = {Thu, 02 Dec 2021 16:45:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cocoa/MillsCM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/RamachandranM15,
  author       = {Arunmoezhi Ramachandran and
                  Neeraj Mittal},
  editor       = {Sajal K. Das and
                  Dilip Krishnaswamy and
                  Santonu Karkar and
                  Amos Korman and
                  Mohan J. Kumar and
                  Marius Portmann and
                  Srikanth Sastry},
  title        = {A Fast Lock-Free Internal Binary Search Tree},
  booktitle    = {Proceedings of the 2015 International Conference on Distributed Computing
                  and Networking, {ICDCN} 2015, Goa, India, January 4-7, 2015},
  pages        = {37:1--37:10},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2684464.2684472},
  doi          = {10.1145/2684464.2684472},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcn/RamachandranM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/RamachandranM15,
  author       = {Arunmoezhi Ramachandran and
                  Neeraj Mittal},
  editor       = {Albert Cohen and
                  David Grove},
  title        = {{CASTLE:} fast concurrent internal binary search tree using edge-based
                  locking},
  booktitle    = {Proceedings of the 20th {ACM} {SIGPLAN} Symposium on Principles and
                  Practice of Parallel Programming, PPoPP 2015, San Francisco, CA, USA,
                  February 7-11, 2015},
  pages        = {281--282},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2688500.2688551},
  doi          = {10.1145/2688500.2688551},
  timestamp    = {Sun, 12 Jun 2022 19:46:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ppopp/RamachandranM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MillsCM15,
  author       = {K. Alex Mills and
                  R. Chandrasekaran and
                  Neeraj Mittal},
  title        = {Algorithms for Replica Placement in High-Availability Storage},
  journal      = {CoRR},
  volume       = {abs/1503.02654},
  year         = {2015},
  url          = {http://arxiv.org/abs/1503.02654},
  eprinttype    = {arXiv},
  eprint       = {1503.02654},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MillsCM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZengMGMVC15,
  author       = {Yanyan Zeng and
                  K. Alex Mills and
                  Shreyas Gokhale and
                  Neeraj Mittal and
                  S. Venkatesan and
                  Ramaswamy Chandrasekaran},
  title        = {Robust Neighbor Discovery in Multi-Hop Multi-Channel Heterogeneous
                  Wireless Networks},
  journal      = {CoRR},
  volume       = {abs/1505.00267},
  year         = {2015},
  url          = {http://arxiv.org/abs/1505.00267},
  eprinttype    = {arXiv},
  eprint       = {1505.00267},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ZengMGMVC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adhoc/NovalesMS14,
  author       = {Ramon Novales and
                  Neeraj Mittal and
                  Kamil Sara{\c{c}}},
  title        = {{SKAIT:} {A} parameterized key assignment scheme for confidential
                  communication in resource constrained ad hoc wireless networks},
  journal      = {Ad Hoc Networks},
  volume       = {20},
  pages        = {163--181},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.adhoc.2014.04.006},
  doi          = {10.1016/J.ADHOC.2014.04.006},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/adhoc/NovalesMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isr/KundischMN14,
  author       = {Dennis Kundisch and
                  Neeraj Mittal and
                  Barrie R. Nault},
  title        = {Research Commentary - Using Income Accounting as the Theoretical Basis
                  for Measuring {IT} Productivity},
  journal      = {Inf. Syst. Res.},
  volume       = {25},
  number       = {3},
  pages        = {449--467},
  year         = {2014},
  url          = {https://doi.org/10.1287/isre.2014.0534},
  doi          = {10.1287/ISRE.2014.0534},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isr/KundischMN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/CorreiaM14,
  author       = {Miguel Correia and
                  Neeraj Mittal},
  title        = {Cloud Computing Dependability: Report and Extended Papers of the Second
                  International Workshop on Dependability Issues in Cloud Computing},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {48},
  number       = {2},
  pages        = {1--2},
  year         = {2014},
  url          = {https://doi.org/10.1145/2694737.2694739},
  doi          = {10.1145/2694737.2694739},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/CorreiaM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/NatarajanMG14,
  author       = {Aravind Natarajan and
                  Neeraj Mittal and
                  Vijay K. Garg},
  editor       = {Mainak Chatterjee and
                  Jiannong Cao and
                  Kishore Kothapalli and
                  Sergio Rajsbaum},
  title        = {Online Algorithms to Generate Slices for Regular Temporal Logic Predicates},
  booktitle    = {Distributed Computing and Networking - 15th International Conference,
                  {ICDCN} 2014, Coimbatore, India, January 4-7, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8314},
  pages        = {165--180},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-45249-9\_11},
  doi          = {10.1007/978-3-642-45249-9\_11},
  timestamp    = {Tue, 14 Apr 2020 13:23:10 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcn/NatarajanMG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/PlatzMV14,
  author       = {Kenneth Platz and
                  Neeraj Mittal and
                  Subbarayan Venkatesan},
  editor       = {Marcos K. Aguilera and
                  Leonardo Querzoni and
                  Marc Shapiro},
  title        = {Practical Concurrent Unrolled Linked Lists Using Lazy Synchronization},
  booktitle    = {Principles of Distributed Systems - 18th International Conference,
                  {OPODIS} 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8878},
  pages        = {388--403},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-14472-6\_26},
  doi          = {10.1007/978-3-319-14472-6\_26},
  timestamp    = {Mon, 15 Jun 2020 17:10:01 +0200},
  biburl       = {https://dblp.org/rec/conf/opodis/PlatzMV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/NatarajanM14,
  author       = {Aravind Natarajan and
                  Neeraj Mittal},
  editor       = {Jos{\'{e}} E. Moreira and
                  James R. Larus},
  title        = {Fast concurrent lock-free binary search trees},
  booktitle    = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
                  PPoPP '14, Orlando, FL, USA, February 15-19, 2014},
  pages        = {317--328},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2555243.2555256},
  doi          = {10.1145/2555243.2555256},
  timestamp    = {Sun, 12 Jun 2022 19:46:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ppopp/NatarajanM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/CorreiaM13,
  author       = {Miguel Correia and
                  Neeraj Mittal},
  title        = {Dependability issues in cloud computing: extended papers from the
                  1st international workshop on dependability issues in cloud computing
                  - {DISCCO}},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {47},
  number       = {2},
  pages        = {20--22},
  year         = {2013},
  url          = {https://doi.org/10.1145/2506164.2506169},
  doi          = {10.1145/2506164.2506169},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/CorreiaM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/YazdVM13,
  author       = {Sara Arbab Yazd and
                  Subbarayan Venkatesan and
                  Neeraj Mittal},
  title        = {Boosting energy efficiency with mirrored data block replication policy
                  and energy scheduler},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {47},
  number       = {2},
  pages        = {33--40},
  year         = {2013},
  url          = {https://doi.org/10.1145/2506164.2506171},
  doi          = {10.1145/2506164.2506171},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/YazdVM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/ChauhanGNM13,
  author       = {Himanshu Chauhan and
                  Vijay K. Garg and
                  Aravind Natarajan and
                  Neeraj Mittal},
  title        = {A Distributed Abstraction Algorithm for Online Predicate Detection},
  booktitle    = {{IEEE} 32nd Symposium on Reliable Distributed Systems, {SRDS} 2013,
                  Braga, Portugal, 1-3 October 2013},
  pages        = {101--110},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/SRDS.2013.19},
  doi          = {10.1109/SRDS.2013.19},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/ChauhanGNM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/NatarajanSM13,
  author       = {Aravind Natarajan and
                  Lee Savoie and
                  Neeraj Mittal},
  editor       = {Teruo Higashino and
                  Yoshiaki Katayama and
                  Toshimitsu Masuzawa and
                  Maria Potop{-}Butucaru and
                  Masafumi Yamashita},
  title        = {Concurrent Wait-Free Red Black Trees},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 15th
                  International Symposium, {SSS} 2013, Osaka, Japan, November 13-16,
                  2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8255},
  pages        = {45--60},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-03089-0\_4},
  doi          = {10.1007/978-3-319-03089-0\_4},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/NatarajanSM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/srds/2013discco,
  editor       = {Miguel Correia and
                  Neeraj Mittal},
  title        = {Proceedings of the 2nd International Workshop on Dependability Issues
                  in Cloud Computing, {DISCCO} '13, Braga, Portugal, September 30, 2013},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2506155},
  doi          = {10.1145/2506155},
  isbn         = {978-1-4503-2248-5},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/2013discco.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-4326,
  author       = {Himanshu Chauhan and
                  Vijay K. Garg and
                  Aravind Natarajan and
                  Neeraj Mittal},
  title        = {Distributed Abstraction Algorithm for Online Predicate Detection},
  journal      = {CoRR},
  volume       = {abs/1304.4326},
  year         = {2013},
  url          = {http://arxiv.org/abs/1304.4326},
  eprinttype    = {arXiv},
  eprint       = {1304.4326},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-4326.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/YazdVM12,
  author       = {Sara Arbab Yazd and
                  Subbarayan Venkatesan and
                  Neeraj Mittal},
  title        = {Energy Efficient Hadoop Using Mirrored Data Block Replication Policy},
  booktitle    = {{IEEE} 31st Symposium on Reliable Distributed Systems, {SRDS} 2012,
                  Irvine, CA, USA, October 8-11, 2012},
  pages        = {457--462},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/SRDS.2012.25},
  doi          = {10.1109/SRDS.2012.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/YazdVM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/NatarajanSM12,
  author       = {Aravind Natarajan and
                  Lee Savoie and
                  Neeraj Mittal},
  editor       = {Marcos K. Aguilera},
  title        = {Brief Announcement: Concurrent Wait-Free Red-Black Trees},
  booktitle    = {Distributed Computing - 26th International Symposium, {DISC} 2012,
                  Salvador, Brazil, October 16-18, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7611},
  pages        = {421--422},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33651-5\_38},
  doi          = {10.1007/978-3-642-33651-5\_38},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/NatarajanSM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adhoc/NovalesM11,
  author       = {Ramon Novales and
                  Neeraj Mittal},
  title        = {Parameterized key assignment for confidential communication in wireless
                  networks},
  journal      = {Ad Hoc Networks},
  volume       = {9},
  number       = {7},
  pages        = {1186--1201},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.adhoc.2011.01.009},
  doi          = {10.1016/J.ADHOC.2011.01.009},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/adhoc/NovalesM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnsr/PatelSCKM11,
  author       = {Suhel Patel and
                  Kamil Sara{\c{c}} and
                  R. Chandrasekaran and
                  Turgay Korkmaz and
                  Neeraj Mittal},
  editor       = {Jeremiah F. Hayes and
                  Ioannis Lambadaris and
                  Fei Richard Yu and
                  Ioanis Nikolaidis and
                  Yannis Viniotis},
  title        = {Relay Assignment in AMT-Based Multicast Content Distribution},
  booktitle    = {Proceedings of the Ninth Annual Communication Networks and Services
                  Research Conference, {CNSR} 2011, Ottawa, Ontario, Canada, 2-5 May
                  2011},
  pages        = {263--270},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/CNSR.2011.45},
  doi          = {10.1109/CNSR.2011.45},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cnsr/PatelSCKM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/ArachchigeVCM11,
  author       = {Chanaka Liyana Arachchige and
                  S. Venkatesan and
                  R. Chandrasekaran and
                  Neeraj Mittal},
  editor       = {Marcos Kawazoe Aguilera and
                  Haifeng Yu and
                  Nitin H. Vaidya and
                  Vikram Srinivasan and
                  Romit Roy Choudhury},
  title        = {Minimal Time Broadcasting in Cognitive Radio Networks},
  booktitle    = {Distributed Computing and Networking - 12th International Conference,
                  {ICDCN} 2011, Bangalore, India, January 2-5, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6522},
  pages        = {364--375},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-17679-1\_32},
  doi          = {10.1007/978-3-642-17679-1\_32},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcn/ArachchigeVCM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/MittalZVC11,
  author       = {Neeraj Mittal and
                  Yanyan Zeng and
                  S. Venkatesan and
                  R. Chandrasekaran},
  title        = {Randomized Distributed Algorithms for Neighbor Discovery in Multi-hop
                  Multi-channel Heterogeneous Wireless Networks},
  booktitle    = {2011 International Conference on Distributed Computing Systems, {ICDCS}
                  2011, Minneapolis, Minnesota, USA, June 20-24, 2011},
  pages        = {57--66},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICDCS.2011.92},
  doi          = {10.1109/ICDCS.2011.92},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/MittalZVC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/HolidayMV11,
  author       = {Matthew Holiday and
                  Neeraj Mittal and
                  Subbarayan Venkatesan},
  title        = {Secure Location Verification with Randomly-Selected Base Stations},
  booktitle    = {31st {IEEE} International Conference on Distributed Computing Systems
                  Workshops {(ICDCS} 2011 Workshops), 20-24 June 2011, Minneapolis,
                  Minnesota, {USA}},
  pages        = {119--122},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICDCSW.2011.44},
  doi          = {10.1109/ICDCSW.2011.44},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcsw/HolidayMV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobicom/NourbakhshB0MP11,
  author       = {Ehsan Nourbakhsh and
                  T. Ryan Burchfield and
                  S. Venkatesan and
                  Neeraj Mittal and
                  Ravi Prakash},
  editor       = {Giuseppe Bianchi and
                  Joseph Camp},
  title        = {Enhancing {ASSERT:} making an accurate testbed friendly},
  booktitle    = {Proceedings of the 6th {ACM} International Workshop on Wireless Network
                  Testbeds, Experimental Evaluation and Characterization, WiNTECH@MobiCom
                  2011, Las Vegas, Nevada, USA, September 19, 2011},
  pages        = {3--10},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2030718.2030722},
  doi          = {10.1145/2030718.2030722},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mobicom/NourbakhshB0MP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/MittalN10,
  author       = {Neeraj Mittal and
                  Ramon Novales},
  title        = {Cluster-Based Key Predistribution Using Deployment Knowledge},
  journal      = {{IEEE} Trans. Dependable Secur. Comput.},
  volume       = {7},
  number       = {3},
  pages        = {329--335},
  year         = {2010},
  url          = {https://doi.org/10.1109/TDSC.2009.34},
  doi          = {10.1109/TDSC.2009.34},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tdsc/MittalN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/BansalM10,
  author       = {Tarun Bansal and
                  Neeraj Mittal},
  title        = {A scalable algorithm for maintaining perpetual system connectivity
                  in dynamic distributed systems},
  booktitle    = {24th {IEEE} International Symposium on Parallel and Distributed Processing,
                  {IPDPS} 2010, Atlanta, Georgia, USA, 19-23 April 2010 - Conference
                  Proceedings},
  pages        = {1--12},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/IPDPS.2010.5470412},
  doi          = {10.1109/IPDPS.2010.5470412},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/BansalM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/NatarajanM10,
  author       = {Aravind Natarajan and
                  Neeraj Mittal},
  title        = {False conflict reduction in the Swiss Transactional Memory (SwissTM)
                  system},
  booktitle    = {24th {IEEE} International Symposium on Parallel and Distributed Processing,
                  {IPDPS} 2010, Atlanta, Georgia, USA, 19-23 April 2010 - Workshop Proceedings},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/IPDPSW.2010.5470942},
  doi          = {10.1109/IPDPSW.2010.5470942},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/NatarajanM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispdc/ZengMVC10,
  author       = {Yanyan Zeng and
                  Neeraj Mittal and
                  S. Venkatesan and
                  R. Chandrasekaran},
  title        = {Fast Neighbor Discovery with Lightweight Termination Detection in
                  Heterogeneous Cognitive Radio Networks},
  booktitle    = {Ninth International Symposium on Parallel and Distributed Computing,
                  {ISPDC} 2010, Istanbul, Turkey, July 7-9, 2010},
  pages        = {149--156},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ISPDC.2010.32},
  doi          = {10.1109/ISPDC.2010.32},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ispdc/ZengMVC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispdc/NovalesMS10,
  author       = {Ramon Novales and
                  Neeraj Mittal and
                  Kamil Sara{\c{c}}},
  title        = {{SKAIT:} {A} Parameterized Key Assignment Scheme for Wireless Networks},
  booktitle    = {Ninth International Symposium on Parallel and Distributed Computing,
                  {ISPDC} 2010, Istanbul, Turkey, July 7-9, 2010},
  pages        = {157--164},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ISPDC.2010.18},
  doi          = {10.1109/ISPDC.2010.18},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ispdc/NovalesMS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tridentcom/NourbakhshDJBVMP10,
  author       = {Ehsan Nourbakhsh and
                  Jeff Dix and
                  Paul Johnson and
                  T. Ryan Burchfield and
                  S. Venkatesan and
                  Neeraj Mittal and
                  Ravi Prakash},
  editor       = {Thomas Magedanz and
                  Anastasius Gavras and
                  Huu{-}Thanh Nguyen and
                  Jeffrey S. Chase},
  title        = {{ASSERT:} {A} Wireless Networking Testbed},
  booktitle    = {Testbeds and Research Infrastructures. Development of Networks and
                  Communities - 6th International {ICST} Conference, TridentCom 2010,
                  Berlin, Germany, May 18-20, 2010, Revised Selected Papers},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {46},
  pages        = {209--218},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17851-1\_17},
  doi          = {10.1007/978-3-642-17851-1\_17},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tridentcom/NourbakhshDJBVMP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isr/MittalN09,
  author       = {Neeraj Mittal and
                  Barrie R. Nault},
  title        = {Research Note - Investments in Information Technology: Indirect Effects
                  and Information Technology Intensity},
  journal      = {Inf. Syst. Res.},
  volume       = {20},
  number       = {1},
  pages        = {140--154},
  year         = {2009},
  url          = {https://doi.org/10.1287/isre.1080.0186},
  doi          = {10.1287/ISRE.1080.0186},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isr/MittalN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/MittalKCVZ09,
  author       = {Neeraj Mittal and
                  Srinivasan Krishnamurthy and
                  R. Chandrasekaran and
                  Subbarayan Venkatesan and
                  Yanyan Zeng},
  title        = {On neighbor discovery in cognitive radio networks},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {69},
  number       = {7},
  pages        = {623--637},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.jpdc.2009.03.008},
  doi          = {10.1016/J.JPDC.2009.03.008},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jpdc/MittalKCVZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MittalPF09,
  author       = {Neeraj Mittal and
                  Kuppahalli L. Phaneesh and
                  Felix C. Freiling},
  title        = {Safe termination detection in an asynchronous distributed system when
                  processes may crash and recover},
  journal      = {Theor. Comput. Sci.},
  volume       = {410},
  number       = {6-7},
  pages        = {614--628},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.tcs.2008.10.011},
  doi          = {10.1016/J.TCS.2008.10.011},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MittalPF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/JohnsonM09,
  author       = {Paul Johnson and
                  Neeraj Mittal},
  title        = {A Distributed Termination Detection Algorithm for Dynamic Asynchronous
                  Systems},
  booktitle    = {29th {IEEE} International Conference on Distributed Computing Systems
                  {(ICDCS} 2009), 22-26 June 2009, Montreal, Qu{\'{e}}bec, Canada},
  pages        = {343--351},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICDCS.2009.16},
  doi          = {10.1109/ICDCS.2009.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/JohnsonM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/JohnsonNBDPVM09,
  author       = {Paul Johnson and
                  Ehsan Nourbakhsh and
                  T. Ryan Burchfield and
                  Jeff Dix and
                  Ravi Prakash and
                  Subbarayan Venkatesan and
                  Neeraj Mittal},
  editor       = {David E. Culler and
                  Jie Liu and
                  Matt Welsh},
  title        = {{ASSERT:} Advanced wireleSS Environment Research Testbed},
  booktitle    = {Proceedings of the 7th International Conference on Embedded Networked
                  Sensor Systems, SenSys 2009, Berkeley, California, USA, November 4-6,
                  2009},
  pages        = {297--298},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1644038.1644069},
  doi          = {10.1145/1644038.1644069},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sensys/JohnsonNBDPVM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/VuNMV09,
  author       = {Hai Trong Vu and
                  Thuc D. Nguyen and
                  Neeraj Mittal and
                  S. Venkatesan},
  title        = {{PEQ:} {A} Privacy-Preserving Scheme for Exact Query Evaluation in
                  Distributed Sensor Data Networks},
  booktitle    = {28th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2009),
                  Niagara Falls, New York, USA, September 27-30, 2009},
  pages        = {189--198},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/SRDS.2009.14},
  doi          = {10.1109/SRDS.2009.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/VuNMV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/NovalesM09,
  author       = {Ramon Novales and
                  Neeraj Mittal},
  title        = {{TASK:} Template-Based Key Assignment for Confidential Communication
                  in Wireless Networks},
  booktitle    = {28th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2009),
                  Niagara Falls, New York, USA, September 27-30, 2009},
  pages        = {209--216},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/SRDS.2009.30},
  doi          = {10.1109/SRDS.2009.30},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/NovalesM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/KrishnamurthyTKCMVP08,
  author       = {Srinivasan Krishnamurthy and
                  Mansi Ramakrishnan Thoppian and
                  Srikant Kuppa and
                  Ramaswamy Chandrasekaran and
                  Neeraj Mittal and
                  Subbarayan Venkatesan and
                  Ravi Prakash},
  title        = {Time-efficient distributed layer-2 auto-configuration for cognitive
                  radio networks},
  journal      = {Comput. Networks},
  volume       = {52},
  number       = {4},
  pages        = {831--849},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.comnet.2007.11.013},
  doi          = {10.1016/J.COMNET.2007.11.013},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cn/KrishnamurthyTKCMVP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jise/PeriM08,
  author       = {Sathya Peri and
                  Neeraj Mittal},
  title        = {Improving the Efficacy of a Termination Detection Algorithm},
  journal      = {J. Inf. Sci. Eng.},
  volume       = {24},
  number       = {1},
  pages        = {159--174},
  year         = {2008},
  url          = {http://www.iis.sinica.edu.tw/page/jise/2008/200801\_11.html},
  timestamp    = {Fri, 16 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jise/PeriM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jise/MadenurM08,
  author       = {Vinay Madenur and
                  Neeraj Mittal},
  title        = {A Delay-Optimal Group Mutual Exclusion Algorithm for a Tree Network},
  journal      = {J. Inf. Sci. Eng.},
  volume       = {24},
  number       = {2},
  pages        = {573--583},
  year         = {2008},
  url          = {http://www.iis.sinica.edu.tw/page/jise/2008/200803\_16.html},
  timestamp    = {Fri, 16 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jise/MadenurM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/MittalFVP08,
  author       = {Neeraj Mittal and
                  Felix C. Freiling and
                  Subbarayan Venkatesan and
                  Lucia Draque Penso},
  title        = {On termination detection in crash-prone distributed systems with failure
                  detectors},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {68},
  number       = {6},
  pages        = {855--875},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.jpdc.2008.02.001},
  doi          = {10.1016/J.JPDC.2008.02.001},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jpdc/MittalFVP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccn/NguyenNTVM08,
  author       = {Thuc D. Nguyen and
                  Duc H. M. Nguyen and
                  Bao N. Tran and
                  Hai Trong Vu and
                  Neeraj Mittal},
  title        = {A Lightweight Solution for Defending Against Deauthentication/Disassociation
                  Attacks on 802.11 Networks},
  booktitle    = {Proceedings of the 17th International Conference on Computer Communications
                  and Networks, {IEEE} {ICCCN} 2008, St. Thomas, {U.S.} Virgin Islands,
                  August 3-7, 2008},
  pages        = {185--190},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICCCN.2008.ECP.51},
  doi          = {10.1109/ICCCN.2008.ECP.51},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/icccn/NguyenNTVM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wasa/BansalMV08,
  author       = {Tarun Bansal and
                  Neeraj Mittal and
                  Subbarayan Venkatesan},
  editor       = {Yingshu Li and
                  Dung T. Huynh and
                  Sajal K. Das and
                  Ding{-}Zhu Du},
  title        = {Leader Election Algorithms for Multi-channel Wireless Networks},
  booktitle    = {Wireless Algorithms, Systems, and Applications, Third International
                  Conference, {WASA} 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5258},
  pages        = {310--321},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88582-5\_30},
  doi          = {10.1007/978-3-540-88582-5\_30},
  timestamp    = {Tue, 10 Sep 2019 13:47:28 +0200},
  biburl       = {https://dblp.org/rec/conf/wasa/BansalMV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wasa/VuKSM08,
  author       = {Hai Trong Vu and
                  Ajay Kulkarni and
                  Kamil Sara{\c{c}} and
                  Neeraj Mittal},
  editor       = {Yingshu Li and
                  Dung T. Huynh and
                  Sajal K. Das and
                  Ding{-}Zhu Du},
  title        = {{WORMEROS:} {A} New Framework for Defending against Wormhole Attacks
                  on Wireless Ad Hoc Networks},
  booktitle    = {Wireless Algorithms, Systems, and Applications, Third International
                  Conference, {WASA} 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5258},
  pages        = {491--502},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88582-5\_46},
  doi          = {10.1007/978-3-540-88582-5\_46},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wasa/VuKSM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/wiley/GargM08,
  author       = {Vijay K. Garg and
                  Neeraj Mittal},
  editor       = {Benjamin W. Wah},
  title        = {Time and State in Asynchronous Distributed Systems},
  booktitle    = {Wiley Encyclopedia of Computer Science and Engineering},
  publisher    = {John Wiley {\&} Sons, Inc.},
  year         = {2008},
  url          = {https://doi.org/10.1002/9780470050118.ecse436},
  doi          = {10.1002/9780470050118.ECSE436},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/wiley/GargM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/GargSM07,
  author       = {Vijay K. Garg and
                  Chakarat Skawratananond and
                  Neeraj Mittal},
  title        = {Timestamping messages and events in a distributed system using synchronous
                  communication},
  journal      = {Distributed Comput.},
  volume       = {19},
  number       = {5-6},
  pages        = {387--402},
  year         = {2007},
  url          = {https://doi.org/10.1007/s00446-006-0018-5},
  doi          = {10.1007/S00446-006-0018-5},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/GargSM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/MittalVP07,
  author       = {Neeraj Mittal and
                  Subbarayan Venkatesan and
                  Sathya Peri},
  title        = {A family of optimal termination detection algorithms},
  journal      = {Distributed Comput.},
  volume       = {20},
  number       = {2},
  pages        = {141--162},
  year         = {2007},
  url          = {https://doi.org/10.1007/s00446-007-0031-3},
  doi          = {10.1007/S00446-007-0031-3},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/MittalVP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/AtreyaMKGS07,
  author       = {Ranganath Atreya and
                  Neeraj Mittal and
                  Ajay D. Kshemkalyani and
                  Vijay K. Garg and
                  Mukesh Singhal},
  title        = {Efficient detection of a locally stable predicate in a distributed
                  system},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {67},
  number       = {4},
  pages        = {369--385},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.jpdc.2006.12.004},
  doi          = {10.1016/J.JPDC.2006.12.004},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jpdc/AtreyaMKGS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/MittalM07,
  author       = {Neeraj Mittal and
                  Prajwal K. Mohan},
  title        = {A priority-based distributed group mutual exclusion algorithm when
                  group access is non-uniform},
  journal      = {J. Parallel Distributed Comput.},
  volume       = {67},
  number       = {7},
  pages        = {797--815},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.jpdc.2007.02.005},
  doi          = {10.1016/J.JPDC.2007.02.005},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jpdc/MittalM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/AtreyaMP07,
  author       = {Ranganath Atreya and
                  Neeraj Mittal and
                  Sathya Peri},
  title        = {A Quorum-Based Group Mutual Exclusion Algorithm for a Distributed
                  System with Dynamic Group Set},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {18},
  number       = {10},
  pages        = {1345--1360},
  year         = {2007},
  url          = {https://doi.org/10.1109/TPDS.2007.1072},
  doi          = {10.1109/TPDS.2007.1072},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/AtreyaMP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/MittalSG07,
  author       = {Neeraj Mittal and
                  Alper Sen and
                  Vijay K. Garg},
  title        = {Solving Computation Slicing Using Predicate Detection},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {18},
  number       = {12},
  pages        = {1700--1713},
  year         = {2007},
  url          = {https://doi.org/10.1109/TPDS.2007.1077},
  doi          = {10.1109/TPDS.2007.1077},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/MittalSG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/FreilingMM07,
  author       = {Felix C. Freiling and
                  Matthias Majuntke and
                  Neeraj Mittal},
  editor       = {Anne{-}Marie Kermarrec and
                  Luc Boug{\'{e}} and
                  Thierry Priol},
  title        = {On Detecting Termination in the Crash-Recovery Model},
  booktitle    = {Euro-Par 2007, Parallel Processing, 13th International Euro-Par Conference,
                  Rennes, France, August 28-31, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4641},
  pages        = {629--638},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74466-5\_66},
  doi          = {10.1007/978-3-540-74466-5\_66},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/FreilingMM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itng/VuMV07,
  author       = {Hai Trong Vu and
                  Neeraj Mittal and
                  Subbarayan Venkatesan},
  editor       = {Shahram Latifi},
  title        = {{THIS:} THreshold security for Information aggregation in Sensor networks},
  booktitle    = {Fourth International Conference on Information Technology: New Generations
                  {(ITNG} 2007), 2-4 April 2007, Las Vegas, Nevada, {USA}},
  pages        = {89--95},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ITNG.2007.193},
  doi          = {10.1109/ITNG.2007.193},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itng/VuMV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wimob/Mittal07,
  author       = {Neeraj Mittal},
  title        = {Space-Efficient Keying in Wireless Communication Networks},
  booktitle    = {Third {IEEE} International Conference on Wireless and Mobile Computing,
                  Networking and Communications, WiMob 2007, White Plains, New York,
                  USA, 8-10 October 2007, Proceedings},
  pages        = {75},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.ieeecomputersociety.org/10.1109/WIMOB.2007.73},
  doi          = {10.1109/WIMOB.2007.73},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wimob/Mittal07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/MittalPF06,
  author       = {Neeraj Mittal and
                  Kuppahalli L. Phaneesh and
                  Felix C. Freiling},
  editor       = {Alexander A. Shvartsman},
  title        = {Safe Termination Detection in an Asynchronous Distributed System When
                  Processes May Crash and Recover},
  booktitle    = {Principles of Distributed Systems, 10th International Conference,
                  {OPODIS} 2006, Bordeaux, France, December 12-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4305},
  pages        = {126--141},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11945529\_10},
  doi          = {10.1007/11945529\_10},
  timestamp    = {Mon, 03 Jan 2022 22:35:20 +0100},
  biburl       = {https://dblp.org/rec/conf/opodis/MittalPF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/FreilingMM06,
  author       = {Felix C. Freiling and
                  Matthias Majuntke and
                  Neeraj Mittal},
  editor       = {Ajoy Kumar Datta and
                  Maria Gradinariu},
  title        = {Brief Announcement: Termination Detection in an Asynchronous Distributed
                  System with Crash-Recovery Failures},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems, 8th International
                  Symposium, {SSS} 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4280},
  pages        = {572--573},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-49823-0\_43},
  doi          = {10.1007/978-3-540-49823-0\_43},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/FreilingMM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/KrishnamurthyCMV06,
  author       = {Srinivasan Krishnamurthy and
                  R. Chandrasekaran and
                  Neeraj Mittal and
                  Subbarayan Venkatesan},
  editor       = {Shlomi Dolev},
  title        = {Brief Announcement: Synchronous Distributed Algorithms for Node Discovery
                  and Configuration in Multi-channel Cognitive Radio Networks},
  booktitle    = {Distributed Computing, 20th International Symposium, {DISC} 2006,
                  Stockholm, Sweden, September 18-20, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4167},
  pages        = {572--574},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11864219\_49},
  doi          = {10.1007/11864219\_49},
  timestamp    = {Sat, 19 Oct 2019 20:32:37 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/KrishnamurthyCMV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/MittalG05,
  author       = {Neeraj Mittal and
                  Vijay K. Garg},
  title        = {Techniques and applications of computation slicing},
  journal      = {Distributed Comput.},
  volume       = {17},
  number       = {3},
  pages        = {251--277},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00446-004-0117-0},
  doi          = {10.1007/S00446-004-0117-0},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/MittalG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dsonline/GargM05,
  author       = {Vijay K. Garg and
                  Neeraj Mittal},
  title        = {A Critique of Java for Concurrent Programming},
  journal      = {{IEEE} Distributed Syst. Online},
  volume       = {6},
  number       = {9},
  year         = {2005},
  url          = {https://doi.org/10.1109/MDSO.2005.43},
  doi          = {10.1109/MDSO.2005.43},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dsonline/GargM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/PeriM05,
  author       = {Sathya Peri and
                  Neeraj Mittal},
  editor       = {Ramaswamy Ramanujam and
                  Sandeep Sen},
  title        = {Monitoring Stable Properties in Dynamic Peer-to-Peer Distributed Systems},
  booktitle    = {{FSTTCS} 2005: Foundations of Software Technology and Theoretical
                  Computer Science, 25th International Conference, Hyderabad, India,
                  December 15-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3821},
  pages        = {420--431},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11590156\_34},
  doi          = {10.1007/11590156\_34},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/PeriM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/FreilingMP05,
  author       = {Felix C. Freiling and
                  Neeraj Mittal and
                  Lucia Draque Penso},
  editor       = {Armin B. Cremers and
                  Rainer Manthey and
                  Peter Martini and
                  Volker Steinhage},
  title        = {Transformations in Secure and Fault-Tolerant Distributed Computation},
  booktitle    = {35. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
                  LIVE!, {INFORMATIK} 2005, Bonn, Germany, September 19-22, 2005, Band
                  1},
  series       = {{LNI}},
  volume       = {{P-67}},
  pages        = {410--412},
  publisher    = {{GI}},
  year         = {2005},
  url          = {https://dl.gi.de/handle/20.500.12116/28071},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/FreilingMP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/AtreyaM05,
  author       = {Ranganath Atreya and
                  Neeraj Mittal},
  title        = {A Dynamic Group Mutual Exclusion Algorithm Using Surrogate-Quorums},
  booktitle    = {25th International Conference on Distributed Computing Systems {(ICDCS}
                  2005), 6-10 June 2005, Columbus, OH, {USA}},
  pages        = {251--260},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/ICDCS.2005.5},
  doi          = {10.1109/ICDCS.2005.5},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/AtreyaM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcs/MittalM05,
  author       = {Neeraj Mittal and
                  Prajwal K. Mohan},
  editor       = {S. Q. Zheng},
  title        = {An Efficient Distributed Group Mutual Exclusion Algorithm for Non-Uniform
                  Group Access},
  booktitle    = {International Conference on Parallel and Distributed Computing Systems,
                  {PDCS} 2005, November 14-16, 2005, Phoenix, AZ, {USA}},
  pages        = {367--372},
  publisher    = {{IASTED/ACTA} Press},
  year         = {2005},
  timestamp    = {Wed, 09 Nov 2022 13:58:44 +0100},
  biburl       = {https://dblp.org/rec/conf/pdcs/MittalM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcs/KrishnamurthyTKVCMP05,
  author       = {Srinivasan Krishnamurthy and
                  Mansi Ramakrishnan Thoppian and
                  Srikant Kuppa and
                  Subbarayan Venkatesan and
                  Ramaswamy Chandrasekaran and
                  Neeraj Mittal and
                  Ravi Prakash},
  editor       = {S. Q. Zheng},
  title        = {Time-Efficient Layer-2 Auto-Configuration for Cognitive Radios},
  booktitle    = {International Conference on Parallel and Distributed Computing Systems,
                  {PDCS} 2005, November 14-16, 2005, Phoenix, AZ, {USA}},
  pages        = {459--464},
  publisher    = {{IASTED/ACTA} Press},
  year         = {2005},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pdcs/KrishnamurthyTKVCMP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/VenkatesanPM05,
  author       = {Subbarayan Venkatesan and
                  Maulin Patel and
                  Neeraj Mittal},
  title        = {A Distributed Algorithm for Path Restoration in Circuit Switched Communication
                  Networks},
  booktitle    = {24th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2005),26-28
                  October 2005, Orlando, FL, {USA}},
  pages        = {226--236},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/RELDIS.2005.5},
  doi          = {10.1109/RELDIS.2005.5},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/VenkatesanPM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/MittalFVP05,
  author       = {Neeraj Mittal and
                  Felix C. Freiling and
                  Subbarayan Venkatesan and
                  Lucia Draque Penso},
  editor       = {Pierre Fraigniaud},
  title        = {Efficient Reduction for Wait-Free Termination Detection in a Crash-Prone
                  Distributed System},
  booktitle    = {Distributed Computing, 19th International Conference, {DISC} 2005,
                  Cracow, Poland, September 26-29, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3724},
  pages        = {93--107},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11561927\_9},
  doi          = {10.1007/11561927\_9},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/MittalFVP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/MittalG04,
  author       = {Neeraj Mittal and
                  Vijay K. Garg},
  title        = {Finding missing synchronization in a distributed computation using
                  controlled re-execution},
  journal      = {Distributed Comput.},
  volume       = {17},
  number       = {2},
  pages        = {107--130},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00446-003-0104-x},
  doi          = {10.1007/S00446-003-0104-X},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/MittalG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ISCApdcs/PeriM04,
  author       = {Sathya Peri and
                  Neeraj Mittal},
  editor       = {David A. Bader and
                  Ashfaq A. Khokhar},
  title        = {On Termination Detection in an Asynchronous Distributed System},
  booktitle    = {Proceedings of the {ISCA} 17th International Conference on Parallel
                  and Distributed Computing Systems, September 15-17, 2004, The Canterbury
                  Hotel, San Francisco, California, {USA}},
  pages        = {209--215},
  publisher    = {{ISCA}},
  year         = {2004},
  timestamp    = {Mon, 09 Aug 2021 16:35:42 +0200},
  biburl       = {https://dblp.org/rec/conf/ISCApdcs/PeriM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/MittalSGA04,
  author       = {Neeraj Mittal and
                  Alper Sen and
                  Vijay K. Garg and
                  Ranganath Atreya},
  title        = {Finding Satisfying Global States: All for One and One for All},
  booktitle    = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
                  2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
                  New Mexico, {USA}},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/IPDPS.2004.1302994},
  doi          = {10.1109/IPDPS.2004.1302994},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/MittalSGA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/MittalVP04,
  author       = {Neeraj Mittal and
                  Subbarayan Venkatesan and
                  Sathya Peri},
  editor       = {Rachid Guerraoui},
  title        = {Message-Optimal and Latency-Optimal Termination Detection Algorithms
                  for Arbitrary Topologies},
  booktitle    = {Distributed Computing, 18th International Conference, {DISC} 2004,
                  Amsterdam, The Netherlands, October 4-7, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3274},
  pages        = {290--304},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30186-8\_21},
  doi          = {10.1007/978-3-540-30186-8\_21},
  timestamp    = {Wed, 07 Dec 2022 23:11:11 +0100},
  biburl       = {https://dblp.org/rec/conf/wdag/MittalVP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/MittalG03,
  author       = {Neeraj Mittal and
                  Vijay K. Garg},
  title        = {Software Fault Tolerance of Distributed Programs Using Computation
                  Slicing},
  booktitle    = {23rd International Conference on Distributed Computing Systems {(ICDCS}
                  2003), 19-22 May 2003, Providence, RI, {USA}},
  pages        = {105},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/ICDCS.2003.1203457},
  doi          = {10.1109/ICDCS.2003.1203457},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/MittalG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/AtreyaMG03,
  author       = {Ranganath Atreya and
                  Neeraj Mittal and
                  Vijay K. Garg},
  editor       = {Marina Papatriantafilou and
                  Philippe Hunel},
  title        = {Detecting Locally Stable Predicates Without Modifying Application
                  Messages},
  booktitle    = {Principles of Distributed Systems, 7th International Conference, {OPODIS}
                  2003 La Martinique, French West Indies, December 10-13, 2003 Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3144},
  pages        = {20--33},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-27860-3\_5},
  doi          = {10.1007/978-3-540-27860-3\_5},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/opodis/AtreyaMG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0303010,
  author       = {Neeraj Mittal and
                  Vijay K. Garg},
  title        = {Techniques and Applications of Computation Slicing},
  journal      = {CoRR},
  volume       = {cs.DC/0303010},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0303010},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-DC-0303010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/MittalG01,
  author       = {Neeraj Mittal and
                  Vijay K. Garg},
  title        = {On Detecting Global Predicates in Distributed Computations},
  booktitle    = {Proceedings of the 21st International Conference on Distributed Computing
                  Systems {(ICDCS} 2001), Phoenix, Arizona, USA, April 16-19, 2001},
  pages        = {3--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICDSC.2001.918927},
  doi          = {10.1109/ICDSC.2001.918927},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/MittalG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/GargM01,
  author       = {Vijay K. Garg and
                  Neeraj Mittal},
  title        = {On Slicing a Distributed Computation},
  booktitle    = {Proceedings of the 21st International Conference on Distributed Computing
                  Systems {(ICDCS} 2001), Phoenix, Arizona, USA, April 16-19, 2001},
  pages        = {322--329},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICDSC.2001.918962},
  doi          = {10.1109/ICDSC.2001.918962},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/GargM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/MittalHH01,
  author       = {Neeraj Mittal and
                  Hui{-}I Hsiao},
  editor       = {Dimitrios Georgakopoulos and
                  Alexander Buchmann},
  title        = {Database Managed External File Update},
  booktitle    = {Proceedings of the 17th International Conference on Data Engineering,
                  April 2-6, 2001, Heidelberg, Germany},
  pages        = {557--564},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICDE.2001.914870},
  doi          = {10.1109/ICDE.2001.914870},
  timestamp    = {Fri, 15 Mar 2024 12:30:44 +0100},
  biburl       = {https://dblp.org/rec/conf/icde/MittalHH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/MittalG01,
  author       = {Neeraj Mittal and
                  Vijay K. Garg},
  editor       = {Jennifer L. Welch},
  title        = {Computation Slicing: Techniques and Theory},
  booktitle    = {Distributed Computing, 15th International Conference, {DISC} 2001,
                  Lisbon, Portugal, October 3-5, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2180},
  pages        = {78--92},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45414-4\_6},
  doi          = {10.1007/3-540-45414-4\_6},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wdag/MittalG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MittalG00,
  author       = {Neeraj Mittal and
                  Vijay K. Garg},
  editor       = {Gil Neiger},
  title        = {Debugging distributed programs using controlled re-execution},
  booktitle    = {Proceedings of the Nineteenth Annual {ACM} Symposium on Principles
                  of Distributed Computing, July 16-19, 2000, Portland, Oregon, {USA}},
  pages        = {239--248},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/343477.343624},
  doi          = {10.1145/343477.343624},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/MittalG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/MittalG98,
  author       = {Neeraj Mittal and
                  Vijay K. Garg},
  title        = {Consistency Conditions for Multi-Object Distributed Operations},
  booktitle    = {Proceedings of the 18th International Conference on Distributed Computing
                  Systems, Amsterdam, The Netherlands, May 26-29, 1998},
  pages        = {582--599},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/ICDCS.1998.679835},
  doi          = {10.1109/ICDCS.1998.679835},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/MittalG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics