Predicate detection for parallel computations

vi

[1]  Vijay K. Garg,et al.  Detection of Unstable Predicates in Distributed Programs , 1992, FSTTCS.

[2]  Yuanyuan Zhou,et al.  CTrigger: exposing atomicity violation bugs from their hiding places , 2009, ASPLOS.

[3]  Vijay K. Garg,et al.  Detecting Temporal Logic Predicates on Distributed Computations , 2007, DISC.

[4]  Bernhard Ganter,et al.  Two Basic Algorithms in Concept Analysis , 2010, ICFCA.

[5]  Grigore Rosu,et al.  jPredictor: a predictive runtime analysis tool for java , 2008, ICSE '08.

[6]  Lhouari Nourine,et al.  Efficient algorithms on distributive lattices , 2001, Discret. Appl. Math..

[7]  Friedemann Mattern,et al.  Virtual Time and Global States of Distributed Systems , 2002 .

[8]  Lhouari Nourine,et al.  Linear Space Algorithm for On-line Detection of Global Predicates , 1995, STRICT.

[9]  Vijay K. Garg,et al.  Introduction to Lattice Theory with Computer Science Applications: Garg/Introduction to Lattice Theory with Computer Science Applications , 2015 .

[10]  Vijay K. Garg,et al.  A parallel algorithm for global states enumeration in concurrent systems , 2015, PPoPP.

[11]  Jong-Deok Choi,et al.  Hybrid dynamic data race detection , 2003, PPoPP '03.

[12]  Leslie Lamport,et al.  Distributed snapshots: determining global states of distributed systems , 1985, TOCS.

[13]  Francesco Sorrentino,et al.  PENELOPE: weaving threads to expose atomicity violations , 2010, FSE '10.

[14]  Mukesh Singhal,et al.  Efficient Distributed Detection of Conjunctions of Local Predicates , 1998, IEEE Trans. Software Eng..

[15]  Eitan Farchi,et al.  Concurrent bug patterns and how to test them , 2003, Proceedings International Parallel and Distributed Processing Symposium.

[16]  Vijay K. Garg,et al.  Solving Computation Slicing Using Predicate Detection , 2007, IEEE Transactions on Parallel and Distributed Systems.

[17]  Vijay K. Garg,et al.  Algorithmic combinatorics based on slicing posets , 2002, Theor. Comput. Sci..

[18]  Vijay K. Garg,et al.  QuickLex: A Fast Algorithm for Consistent Global States Enumeration of Distributed Computations , 2015, OPODIS.

[19]  Klaus Havelund,et al.  Model checking programs , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[20]  Chao Wang,et al.  Symbolic Predictive Analysis for Concurrent Programs , 2009, FM.

[21]  Stephen N. Freund,et al.  FastTrack: efficient and precise dynamic race detection , 2010, Commun. ACM.

[22]  Yuanyuan Zhou,et al.  AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants , 2007, IEEE Micro.

[23]  Vijay K. Garg,et al.  Enumerating Global States of a Distributed Computation , 2003 .

[24]  Satish Narayanasamy,et al.  Maple: a coverage-driven testing tool for multithreaded programs , 2012, OOPSLA '12.

[25]  Jeff Huang,et al.  Persuasive prediction of concurrency access anomalies , 2011, ISSTA '11.

[26]  Grigore Rosu,et al.  Runtime Verification with the RV System , 2010, RV.

[27]  Chao Wang,et al.  Trace-Based Symbolic Analysis for Atomicity Violations , 2010, TACAS.

[28]  George Steiner,et al.  An algorithm to generate the ideals of a partial order , 1986 .

[29]  PosetMatthew B. Squire.  Enumerating the Ideals of a , 2007 .

[30]  Chao Wang,et al.  Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs , 2010, CAV.

[31]  Maurice Herlihy,et al.  The art of multiprocessor programming , 2020, PODC '06.

[32]  Richard H. Carver,et al.  Reachability testing of concurrent programs , 2006, IEEE Transactions on Software Engineering.

[33]  Vijay K. Garg,et al.  Detecting temporal logic predicates on the happened-before model , 2002, Proceedings 16th International Parallel and Distributed Processing Symposium.

[34]  Vijay K. Garg,et al.  Detection of Weak Unstable Predicates in Distributed Programs , 1994, IEEE Trans. Parallel Distributed Syst..

[35]  Frank Ruskey,et al.  Gray codes from antimatroids , 1993 .

[36]  Subbarayan Venkatesan,et al.  Techniques to tackle state explosion in global predicate detection , 1994, Proceedings of 1994 International Conference on Parallel and Distributed Systems.

[37]  Vijay K. Garg,et al.  Detection of global predicates: Techniques and their limitations , 1998, Distributed Computing.

[38]  Keith Marzullo,et al.  Consistent detection of global predicates , 1991, PADD '91.

[39]  Alexander I. Tomlinson,et al.  Monitoring Functions on Global States of Distributed Programs , 1997, J. Parallel Distributed Comput..

[40]  Madan Musuvathi,et al.  Iterative context bounding for systematic testing of multithreaded programs , 2007, PLDI '07.

[41]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[42]  Colin J. Fidge,et al.  Timestamps in Message-Passing Systems That Preserve the Partial Ordering , 1988 .

[43]  Xin-She Yang,et al.  Introduction to Algorithms , 2021, Nature-Inspired Optimization Algorithms.

[44]  Thomas R. Gross,et al.  Object race detection , 2001, OOPSLA '01.

[45]  Michael Burrows,et al.  Eraser: a dynamic data race detector for multi-threaded programs , 1997, TOCS.

[46]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.