
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Neeraj Mittal, Alper Sen, Vijay K. Garg, "Solving Computation Slicing Using Predicate Detection," IEEE Transactions on Parallel and Distributed Systems, vol. 18, no. 12, pp. 17001713, December, 2007.  
BibTex  x  
@article{ 10.1109/TPDS.2007.1077, author = {Neeraj Mittal and Alper Sen and Vijay K. Garg}, title = {Solving Computation Slicing Using Predicate Detection}, journal ={IEEE Transactions on Parallel and Distributed Systems}, volume = {18}, number = {12}, issn = {10459219}, year = {2007}, pages = {17001713}, doi = {http://doi.ieeecomputersociety.org/10.1109/TPDS.2007.1077}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Parallel and Distributed Systems TI  Solving Computation Slicing Using Predicate Detection IS  12 SN  10459219 SP1700 EP1713 EPD  17001713 A1  Neeraj Mittal, A1  Alper Sen, A1  Vijay K. Garg, PY  2007 KW  program trace analysis KW  predicate detection KW  computation slicing KW  testing and debugging VL  18 JA  IEEE Transactions on Parallel and Distributed Systems ER   
[1] N. Mittal, A. Sen, V.K. Garg, and R. Atreya, “Finding Satisfying Global States: All for One and One for All,” Proc. 18th Int'l Parallel and Distributed Processing Symp. (IPDPS '04), Apr. 2004.
[2] S.D. Stoller and F. Schneider, “Faster Possibility Detection by Combining Two Approaches,” Proc. Ninth Int'l Workshop Distributed Algorithms (WDAG '95), pp. 318332, Sept. 1995.
[3] V.K. Garg, Elements of Distributed Computing. John Wiley & Sons, 2002.
[4] N. Mittal and V.K. Garg, “On Detecting Global Predicates in Distributed Computations,” Proc. 21st IEEE Int'l Conf. Distributed Computing Systems (ICDCS '01), pp. 310, Apr. 2001.
[5] C. Chase and V.K. Garg, “On Techniques and Their Limitations for the Global Predicate Detection Problem,” Proc. Ninth Int'l Workshop Distributed Algorithms (WDAG '95), pp. 303317, Sept. 1995.
[6] N. Mittal and V.K. Garg, “Techniques and Applications of Computation Slicing,” Distributed Computing, vol. 17, no. 3, pp.251277, Feb. 2005.
[7] M. Weiser, “Programmers Use Slices When Debugging,” Comm. ACM, vol. 25, no. 7, pp. 446452, 1982.
[8] G. Venkatesh, “Experimental Results from Dynamic Slicing of C Programs,” ACM Trans. Programming Languages and Systems, vol. 17, no. 2, pp. 197216, 1995.
[9] B. Korel and J. Rilling, “Application of Dynamic Slicing in Program Debugging,” Proc. Third Int'l Workshop Automatic Debugging (AADEBUG '97), M. Kamkar, ed., pp. 4357, May 1997.
[10] J. Cheng, “Slicing Concurrent Programs—A GraphTheoretical Approach,” Proc. First Int'l Workshop Automated and Algorithmic Debugging (AADEBUG '93), pp. 223240, 1993.
[11] H.F. Li, J. Rilling, and D. Goswami, “GranularityDriven Dynamic Predicate Slicing Algorithms for Message Passing Systems,” Automated Software Eng., vol. 11, no. 1, pp. 6389, Jan. 2004.
[12] S.A. Cook, “The Complexity of Theorem Proving Procedures,” Proc. Third Ann. ACM Symp. Theory of Computing (STOC '71), pp.151158, 1971.
[13] A. Sen and V.K. Garg, “Formal Verification of Simulation Traces Using Computation Slicing,” IEEE Trans. Computers, vol. 56, no. 4, pp. 511527, Apr. 2007.
[14] S.D. Stoller, L. Unnikrishnan, and Y.A. Liu, “Efficient Detection of Global Properties in Distributed Systems Using PartialOrder Methods,” Proc. 12th Int'l Conf. Computer Aided Verification (CAV'00), pp. 264279, July 2000.
[15] S. Alagar and S. Venkatesan, “Techniques to Tackle State Explosion in Global Predicate Detection,” IEEE Trans. Software Eng., vol. 27, no. 8, pp. 704714, Aug. 2001.
[16] A. Sen and V.K. Garg, “Partial Order Trace Analyzer (POTA) for Distributed Programs,” Proc. Third Workshop Runtime Verification (RV '03), vol. 89, 2003.
[17] A.D. Kshemkalyani, “A Framework for Viewing Atomic Events in Distributed Computations,” Theoretical Computer Science, vol. 196, nos. 12, pp. 4570, Apr. 1998.
[18] L. Lamport, “Time, Clocks and the Ordering of Events in a Distributed System,” Comm. ACM, vol. 21, no. 7, pp. 558565, July 1978.
[19] K.M. Chandy and L. Lamport, “Distributed Snapshots: Determining Global States of Distributed Systems,” ACM Trans. Computer Systems, vol. 3, no. 1, pp. 6375, Feb. 1985.
[20] B. CharronBost, C. DelporteGallet, and H. Fauconnier, “Local and Temporal Predicates in Distributed Systems,” ACM Trans. Programming Languages and Systems, vol. 17, no. 1, pp. 157179, 1995.
[21] A. Sen and V.K. Garg, “Detecting Temporal Logic Predicates in the HappenedBefore Model,” Proc. 16th Int'l Parallel and Distributed Processing Symp. (IPDPS '02), Apr. 2002.
[22] F. Mattern, “Virtual Time and Global States of Distributed Systems,” Parallel and Distributed Algorithms: Proc. Third Int'l Workshop Distributed Algorithms (WDAG '89), pp. 215226, 1989.
[23] C.J. Fidge, “Logical Time in Distributed Computing Systems,” Computer, vol. 24, no. 8, pp. 2833, Aug. 1991.
[24] R. Cooper and K. Marzullo, “Consistent Detection of Global Predicates,” Proc. ACM/ONR Workshop Parallel and Distributed Debugging (WPDD '91), pp. 163173, 1991.
[25] A. Sen and V.K. Garg, “On Checking Whether a Predicate Definitely Holds,” Proc. Third Workshop Formal Approaches to Testing of Software (FATES '03), pp. 1529, July 2003.
[26] A. Tarafdar and V.K. Garg, “Predicate Control: Synchronization in Distributed Computations with Look Ahead,” J. Parallel and Distributed Computing, vol. 64, no. 2, pp. 219237, Feb. 2004.