Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVijay K. Garg
Vijay Kumar Garg
Person information
- affiliation: University of Texas at Austin, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c115]Vijay Kumar Garg
:
Keynote Talk: Lattice Linear Predicate Algorithms for the Constrained Stable Marriage Problem with Ties✱. ICDCN 2023: 2-11- 2022
- [j60]Abdul Karim Siddiqui, Vijay Kumar Garg:
An Analysis of Adaptable Intelligent Models for Pulmonary Tuberculosis Detection and Classification. SN Comput. Sci. 3(1): 34 (2022) - [c114]Vijay K. Garg:
A Lattice Linear Predicate Parallel Algorithm for the Dynamic Programming Problems. ICDCN 2022: 72-76 - [c113]David R. Alves, Vijay K. Garg:
Parallel Minimum Spanning Tree Algorithms via Lattice Linear Predicate Detection. IPDPS Workshops 2022: 774-782 - [c112]Vijay K. Garg, Saptaparni Kumar, Lewis Tseng, Xiong Zheng:
Fault-tolerant Snapshot Objects in Message Passing Systems. IPDPS 2022: 1129-1139 - [i24]Vijay K. Garg:
Lattice Linear Predicate Algorithms for the Constrained Stable Marriage Problem with Ties. CoRR abs/2208.01370 (2022) - 2021
- [c111]Vijay K. Garg:
A Lattice Linear Predicate Parallel Algorithm for the Housing Market Problem. SSS 2021: 108-122 - [c110]Changyong Hu, Vijay K. Garg:
Characterization of Super-Stable Matchings. WADS 2021: 485-498 - [i23]Vijay K. Garg:
A Lattice Linear Predicate Parallel Algorithm for the Dynamic Programming Problems. CoRR abs/2103.06264 (2021) - [i22]Changyong Hu, Vijay K. Garg:
Characterization of Super-stable Matchings. CoRR abs/2105.09602 (2021) - [i21]Changyong Hu, Vijay K. Garg:
Minimal Envy Matchings in the Hospitals/Residents Problem with Lower Quotas. CoRR abs/2110.15559 (2021) - 2020
- [j59]Reema Jain, Vijay Kumar Garg:
EMG Signal Feature Extraction, Normalization and Classification for Pain and Normal Muscles Using Genetic Algorithm and Support Vector Machine. Rev. d'Intelligence Artif. 34(5): 653-661 (2020) - [c109]Changyong Hu, Vijay K. Garg:
NC Algorithms for Popular Matchings in One-Sided Preference Systems and Related Problems. IPDPS 2020: 759-768 - [c108]David R. Alves, Madan S. Krishnakumar, Vijay K. Garg:
Efficient Parallel Shortest Path Algorithms. ISPDC 2020: 188-195 - [c107]Xiong Zheng, Vijay K. Garg:
Byzantine Lattice Agreement in Asynchronous Systems. OPODIS 2020: 4:1-4:16 - [c106]Vijay K. Garg:
Predicate Detection to Solve Combinatorial Optimization Problems. SPAA 2020: 235-245 - [c105]Xiong Zheng, Vijay K. Garg:
Byzantine Lattice Agreement in Synchronous Message Passing Systems. DISC 2020: 32:1-32:16 - [i20]Vijay K. Garg:
A Generalization of Teo and Sethuraman's Median Stable Marriage Theorem. CoRR abs/2001.03133 (2020) - [i19]Xiong Zheng, Vijay K. Garg:
Byzantine Lattice Agreement in Asynchronous Systems. CoRR abs/2002.06779 (2020) - [i18]Vijay Kumar Garg, Changyong Hu:
Improved Paths to Stability for the Stable Marriage Problem. CoRR abs/2007.07121 (2020) - [i17]Vijay K. Garg, Saptaparni Kumar, Lewis Tseng, Xiong Zheng:
Amortized Constant Round Atomic Snapshot in Message-Passing Systems. CoRR abs/2008.11837 (2020)
2010 – 2019
- 2019
- [c104]Vijay K. Garg, Rohan Garg:
Parallel algorithms for predicate detection. ICDCN 2019: 51-60 - [c103]Xiong Zheng, Vijay K. Garg:
An Optimal Vector Clock Algorithm for Multithreaded Systems. ICDCS 2019: 2188-2194 - [c102]Xiong Zheng, Vijay K. Garg:
Parallel and Distributed Algorithms for the Housing Allocation Problem. OPODIS 2019: 23:1-23:16 - [c101]Xiong Zheng, Vijay K. Garg, John Kaippallimalil:
Linearizable Replicated State Machines With Lattice Agreement. OPODIS 2019: 29:1-29:16 - [i16]Xiong Zheng, Vijay K. Garg:
An Optimal Vector Clock Algorithm for Multithreaded Systems. CoRR abs/1901.06545 (2019) - [i15]Xiong Zheng, Vijay K. Garg:
Parallel and Distributed Algorithms for the housing allocation Problem. CoRR abs/1905.03111 (2019) - [i14]Changyong Hu, Vijay K. Garg:
NC Algorithms for Popular Matchings in One-Sided Preference Systems and Related Problems. CoRR abs/1910.13386 (2019) - [i13]Xiong Zheng, Vijay K. Garg:
Byzantine Lattice Agreement in Synchronous Systems. CoRR abs/1910.14141 (2019) - 2018
- [c100]Xiong Zheng, Changyong Hu, Vijay K. Garg:
Lattice Agreement in Message Passing Systems. DISC 2018: 41:1-41:17 - [e3]Paolo Bellavista, Vijay K. Garg:
Proceedings of the 19th International Conference on Distributed Computing and Networking, ICDCN 2018, Varanasi, India, January 4-7, 2018. ACM 2018, ISBN 978-1-4503-6372-3 [contents] - [i12]Xiong Zheng, Changyong Hu, Vijay K. Garg:
Lattice Agreement in Message Passing Systems. CoRR abs/1807.11557 (2018) - [i11]Xiong Zheng, Vijay K. Garg, John Kaippallimalil:
Linearizable Replicated State Machines with Lattice Agreement. CoRR abs/1810.05871 (2018) - [i10]Vijay K. Garg:
Applying Predicate Detection to the Constrained Optimization Problems. CoRR abs/1812.10431 (2018) - [i9]Vijay K. Garg:
Removing Sequential Bottleneck of Dijkstra's Algorithm for the Shortest Path Problem. CoRR abs/1812.10499 (2018) - 2017
- [j58]Pascal Felber, Vijay K. Garg:
Preface. Inf. Comput. 254: 329 (2017) - [j57]Aravind Natarajan, Himanshu Chauhan, Neeraj Mittal, Vijay K. Garg:
Efficient abstraction algorithms for predicate detection. Theor. Comput. Sci. 688: 24-48 (2017) - [c99]Wei-Lun Hung, Vijay K. Garg:
Automatic-Signal Monitors with Multi-object Synchronization. IPDPS 2017: 927-936 - [c98]Himanshu Chauhan, Vijay K. Garg:
Fast Detection of Stable and Count Predicates in Parallel Computations. OPODIS 2017: 20:1-20:21 - [c97]Himanshu Chauhan, Vijay K. Garg:
Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs. RV 2017: 138-154 - [c96]Vijay K. Garg:
Brief Announcement: Applying Predicate Detection to the Stable Marriage Problem. DISC 2017: 52:1-52:3 - [i8]Himanshu Chauhan, Vijay K. Garg:
Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs. CoRR abs/1707.07788 (2017) - 2016
- [c95]Yen-Jung Chang, Vijay K. Garg:
Predicate Detection for Parallel Computations with Locking Constraints. OPODIS 2016: 17:1-17:17 - 2015
- [j56]Hammurabi Mendes, Maurice Herlihy, Nitin H. Vaidya, Vijay K. Garg:
Multidimensional agreement in Byzantine systems. Distributed Comput. 28(6): 423-441 (2015) - [c94]Himanshu Chauhan, Vijay K. Garg:
Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations. ICDCN 2015: 34:1-34:10 - [c93]Yen-Jung Chang, Vijay K. Garg:
QuickLex: A Fast Algorithm for Consistent Global States Enumeration of Distributed Computations. OPODIS 2015: 25:1-25:17 - [c92]Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg:
ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization. OPODIS 2015: 29:1-29:17 - [c91]Yen-Jung Chang, Vijay K. Garg:
A parallel algorithm for global states enumeration in concurrent systems. PPoPP 2015: 140-149 - 2014
- [j55]Bharath Balasubramanian, Vijay K. Garg:
Fault tolerance in distributed systems using fused state machines. Distributed Comput. 27(4): 287-311 (2014) - [j54]Vijay K. Garg, Anurag Agarwal, Vinit A. Ogale:
Modeling, analyzing and slicing periodic distributed computations. Inf. Comput. 234: 26-43 (2014) - [c90]Aravind Natarajan, Neeraj Mittal, Vijay K. Garg:
Online Algorithms to Generate Slices for Regular Temporal Logic Predicates. ICDCN 2014: 165-180 - [c89]Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg:
Non-blocking Monitor Executions for Increased Parallelism. DISC 2014: 553-554 - [e2]Pascal Felber, Vijay K. Garg:
Stabilization, Safety, and Security of Distributed Systems - 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014. Proceedings. Lecture Notes in Computer Science 8756, Springer 2014, ISBN 978-3-319-11763-8 [contents] - [i7]Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg:
ActiveMonitor: Non-blocking Monitor Executions for Increased Parallelism. CoRR abs/1408.0818 (2014) - [i6]Himanshu Chauhan, Vijay K. Garg:
Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations. CoRR abs/1410.1209 (2014) - 2013
- [j53]Bharath Balasubramanian, Vijay K. Garg:
Fault Tolerance in Distributed Systems Using Fused Data Structures. IEEE Trans. Parallel Distributed Syst. 24(4): 701-715 (2013) - [c88]Himanshu Chauhan, Vijay K. Garg:
Democratic Elections in Faulty Distributed Systems. ICDCN 2013: 176-191 - [c87]Vijay K. Garg:
Maximal Antichain Lattice Algorithms for Distributed Computations. ICDCN 2013: 240-254 - [c86]Wei-Lun Hung, Vijay K. Garg:
AutoSynch: an automatic-signal monitor based on predicate tagging. PLDI 2013: 253-262 - [c85]Nitin H. Vaidya, Vijay K. Garg:
Byzantine vector consensus in complete graphs. PODC 2013: 65-73 - [c84]Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal:
A Distributed Abstraction Algorithm for Online Predicate Detection. SRDS 2013: 101-110 - [i5]Nitin H. Vaidya, Vijay K. Garg:
Byzantine Vector Consensus in Complete Graphs. CoRR abs/1302.2543 (2013) - [i4]Wei-Lun Hung, Vijay K. Garg:
AutoSynch: An Automatic-Signal Monitor Based on Predicate Tagging. CoRR abs/1303.0276 (2013) - [i3]Bharath Balasubramanian, Vijay K. Garg:
Fault Tolerance in Distributed Systems using Fused State Machines. CoRR abs/1303.5891 (2013) - [i2]Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal:
Distributed Abstraction Algorithm for Online Predicate Detection. CoRR abs/1304.4326 (2013) - 2012
- [j52]Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal:
Efficient Decentralized Algorithms for the Distributed Trigger Counting Problem. Theory Comput. Syst. 51(4): 447-473 (2012) - [c83]Vijay K. Garg:
Lattice Completion Algorithms for Distributed Computations. OPODIS 2012: 166-180 - [c82]John Bridgman, Vijay K. Garg:
Brief announcement: all-to-all gradecast using coding with byzantine failures. PODC 2012: 95-96 - [c81]John Bridgman, Vijay K. Garg:
All-to-All Gradecast Using Coding with Byzantine Failures. SSS 2012: 285-298 - 2011
- [c80]Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal:
An Efficient Decentralized Algorithm for the Distributed Trigger Counting Problem. ICDCN 2011: 53-64 - [c79]Bharath Balasubramanian, Vijay K. Garg:
Fused Data Structures for Handling Multiple Faults in Distributed Systems. ICDCS 2011: 677-688 - [c78]Vijay K. Garg, John Bridgman:
The Weighted Byzantine Agreement Problem. IPDPS 2011: 524-531 - [c77]Bharath Balasubramanian, Vijay K. Garg:
Fused State Machines for Fault Tolerance in Distributed Systems. OPODIS 2011: 266-282 - [c76]Vijay K. Garg, John Bridgman, Bharath Balasubramanian:
Accurate Byzantine Agreement with Feedback. OPODIS 2011: 465-480 - [c75]Vijay K. Garg, John Bridgman, Bharath Balasubramanian:
Accurate byzantine agreement with feedback. PODC 2011: 215-216 - 2010
- [j51]Rahul Garg, Vijay K. Garg, Yogish Sabharwal:
Efficient Algorithms for Global Snapshots in Large Distributed Systems. IEEE Trans. Parallel Distributed Syst. 21(5): 620-630 (2010) - [c74]Anurag Agarwal, Vijay K. Garg, Vinit A. Ogale:
Modeling and Analyzing Periodic Distributed Computations. SSS 2010: 191-205 - [c73]Venkatesan T. Chakaravarthy, Anamitra R. Choudhury, Vijay K. Garg, Yogish Sabharwal:
Brief Announcement: A Decentralized Algorithm for Distributed Trigger Counting. DISC 2010: 398-400 - [c72]Vijay K. Garg:
Implementing Fault-Tolerant Services Using State Machines: Beyond Replication. DISC 2010: 450-464
2000 – 2009
- 2009
- [c71]Ankur Narang, Vikas Agarwal, Monu Kedia, Vijay K. Garg:
Highly scalable algorithm for distributed real-time text indexing. HiPC 2009: 332-341 - [c70]Vinit A. Ogale, Bharath Balasubramanian, Vijay K. Garg:
A fusion-based approach for tolerating faults in finite state machines. IPDPS 2009: 1-11 - [e1]Vijay K. Garg, Roger Wattenhofer, Kishore Kothapalli:
Distributed Computing and Networking, 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings. Lecture Notes in Computer Science 5408, Springer 2009, ISBN 978-3-540-92294-0 [contents] - 2008
- [j50]Yali Xiong, Xu Cheng, Zheng John Shen, Chunting Mi, Hongjie Wu, Vijay K. Garg:
Prognostic and Warning System for Power-Electronic Modules in Electric, Hybrid Electric, and Fuel-Cell Vehicles. IEEE Trans. Ind. Electron. 55(6): 2268-2276 (2008) - [c69]Sujatha Kashyap, Vijay K. Garg:
Producing Short Counterexamples Using "Crucial Events". CAV 2008: 491-503 - [c68]Vaibhav Saxena, Prashant Agrawal, Yogish Sabharwal, Vijay K. Garg, Vimitha A. Kuruvilla, John A. Gunnels:
Optimization of BLAS on the Cell Processor. HiPC 2008: 18-29 - [c67]Bharath Balasubramanian, Vinit A. Ogale, Vijay K. Garg:
Fault Tolerance in Finite State Machines Using Fusion. ICDCN 2008: 124-134 - [p1]Vijay K. Garg, Neeraj Mittal:
Time and State in Asynchronous Distributed Systems. Wiley Encyclopedia of Computer Science and Engineering 2008 - 2007
- [j49]Anurag Agarwal, Vijay K. Garg:
Efficient dependency tracking for relevant events in concurrent systems. Distributed Comput. 19(3): 163-183 (2007) - [j48]Vijay K. Garg, Chakarat Skawratananond, Neeraj Mittal:
Timestamping messages and events in a distributed system using synchronous communication. Distributed Comput. 19(5-6): 387-402 (2007) - [j47]Ranganath Atreya, Neeraj Mittal, Ajay D. Kshemkalyani, Vijay K. Garg, Mukesh Singhal:
Efficient detection of a locally stable predicate in a distributed system. J. Parallel Distributed Comput. 67(4): 369-385 (2007) - [j46]Alper Sen, Vijay K. Garg:
Formal Verification of Simulation Traces Using Computation Slicing. IEEE Trans. Computers 56(4): 511-527 (2007) - [j45]Neeraj Mittal, Alper Sen, Vijay K. Garg:
Solving Computation Slicing Using Predicate Detection. IEEE Trans. Parallel Distributed Syst. 18(12): 1700-1713 (2007) - [c66]Vijay K. Garg, Vinit A. Ogale:
Fusible Data Structures for Fault-Tolerance. ICDCS 2007: 20 - [c65]Vinit A. Ogale, Vijay K. Garg:
Detecting Temporal Logic Predicates on Distributed Computations. DISC 2007: 420-434 - 2006
- [j44]R. K. Ghosh, Vijay K. Garg, M. Shangkar Meitei, Shree Raman, Abhijeet Kumar, Nishit Tewari:
Dense cluster gateway based routing protocol for multi-hop mobile ad hoc networks. Ad Hoc Networks 4(2): 168-185 (2006) - [j43]Shailesh Patil, Vijay K. Garg:
Adaptive general perfectly periodic scheduling. Inf. Process. Lett. 98(3): 107-114 (2006) - [j42]Vijay K. Garg:
Algorithmic combinatorics based on slicing posets. Theor. Comput. Sci. 359(1-3): 200-213 (2006) - [c64]Selma Ikiz, Vijay K. Garg:
Efficient Incremental Optimal Chain Partition of Distributed Program Traces. ICDCS 2006: 18 - [c63]Rahul Garg, Vijay K. Garg, Yogish Sabharwal:
Scalable algorithms for global snapshots in distributed systems. ICS 2006: 269-277 - [c62]Jae-Sik Lee, Byoung-Il Kim, Jae-Pil Moon, Tae-Gyu Chang, Vijay K. Garg:
Power saving in a mobile multimedia terminal. WCNC 2006: 48-51 - [c61]Vinit A. Ogale, Vijay K. Garg:
Brief Announcement: Many Slices Are Better Than One. DISC 2006: 548-550 - 2005
- [j41]Neeraj Mittal, Vijay K. Garg:
Techniques and applications of computation slicing. Distributed Comput. 17(3): 251-277 (2005) - [j40]Vijay K. Garg, Neeraj Mittal:
A Critique of Java for Concurrent Programming. IEEE Distributed Syst. Online 6(9) (2005) - [j39]Sujatha Kashyap, Vijay K. Garg:
Intractability results in predicate detection. Inf. Process. Lett. 94(6): 277-282 (2005) - [j38]Ratnesh Kumar, Vijay K. Garg:
On computation of state avoidance control for infinite state systems in assignment program framework. IEEE Trans Autom. Sci. Eng. 2(1): 87-91 (2005) - [c60]Vijay K. Garg, Anurag Agarwal:
Distributed Maintenance of a Spanning Tree Using Labeled Tree Encoding. Euro-Par 2005: 606-616 - [c59]Jae-Sik Lee, Tae-Gyu Chang, Vijay K. Garg:
SNR Investigation of Beam Forming in IS-95 CDMA Base Station Receiver. Systems Communications 2005: 45-48 - [c58]Sujatha Kashyap, Vijay K. Garg:
Exploiting predicate structure for efficient reachability detection. ASE 2005: 4-13 - [c57]Selma Ikiz, Vinit A. Ogale, Vijay K. Garg:
Coordinated Energy Conservation in Ad Hoc Networks. IASTED PDCS 2005: 749-754 - [c56]Anurag Agarwal, Vijay K. Garg:
Efficient dependency tracking for relevant events in shared-memory systems. PODC 2005: 19-28 - 2004
- [b3]Vijay K. Garg:
Concurrent and distributed computing in Java. Wiley 2004, ISBN 978-0-471-43230-2, pp. I-XX, 1-309 - [j37]Neeraj Mittal, Vijay K. Garg:
Finding missing synchronization in a distributed computation using controlled re-execution. Distributed Comput. 17(2): 107-130 (2004) - [j36]Ashis Tarafdar, Vijay K. Garg:
Predicate control: synchronization in distributed computations with look-ahead. J. Parallel Distributed Comput. 64(2): 219-237 (2004) - [c55]Neeraj Mittal, Alper Sen, Vijay K. Garg, Ranganath Atreya:
Finding Satisfying Global States: All for One and One for All. IPDPS 2004 - [c54]Alper Sen, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra:
Formal Verification of a System-on-Chip Using Computation Slicing. ITC 2004: 810-819 - [c53]Vijay K. Garg, R. K. Ghosh:
Effect of Data Encryption on Wireless Ad Hoc Network Performance. IWDC 2004: 258-263 - 2003
- [j35]Om P. Damani, Yi-Min Wang, Vijay K. Garg:
Distributed recovery with K-optimistic logging. J. Parallel Distributed Comput. 63(12): 1193-1218 (2003) - [c52]Alper Sen, Vijay K. Garg:
On Checking Whether a Predicate Definitely Holds. FATES 2003: 15-29 - [c51]Neeraj Mittal, Vijay K. Garg:
Software Fault Tolerance of Distributed Programs Using Computation Slicing. ICDCS 2003: 105- - [c50]Ranganath Atreya, Neeraj Mittal, Vijay K. Garg:
Detecting Locally Stable Predicates Without Modifying Application Messages. OPODIS 2003: 20-33 - [c49]Alper Sen, Vijay K. Garg:
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing. OPODIS 2003: 171-183 - [c48]Alper Sen, Vijay K. Garg:
Partial Order Trace Analyzer (POTA) for Distributed Programs. RV@CAV 2003: 22-43 - [i1]Neeraj Mittal, Vijay K. Garg:
Techniques and Applications of Computation Slicing. CoRR cs.DC/0303010 (2003) - 2002
- [b2]Vijay K. Garg:
Elements of distributed computing. Wiley 2002, ISBN 978-0-471-03600-5, pp. I-XX, 1-423 - [c47]