Highly scalable distributed dataflow analysis

Proceedings - International Symposium on Code Generation and Optimization, CGO 2011

Volumn , Issue , 2011, Pages 277-288

  Greathouse, Joseph L ^a   LeBlanc, Chelsea ^a   Austin, Todd ^a   Bertacco, Valeria ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA FLOW; DEVELOPMENT STAGES; DISTRIBUTED DATA FLOW; EXPERIMENTAL EVALUATION; LARGE POPULATION; NUMBER AND SIZE; ORDERS-OF-MAGNITUDE; RUN-TIME DATA; RUNTIMES; SAMPLING METHOD; SAMPLING SYSTEMS; SINGLE USERS; SOFTWARE ERRORS;

NETWORK COMPONENTS; OPTIMIZATION;

DATA FLOW ANALYSIS;

EID: 79957530867     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CGO.2011.5764695     Document Type: Conference Paper

References (33)

1. M. Arnold and B. G. Ryder. A framework for reducing the cost of instrumented code. In Proc. of the Conf. on Programming Language Design and Implementation, 2001.
2. M. Arnold, M. Vechev, and E. Yahav. QVM: An efficient runtime for detecting defects in deployed systems. In Proc. of the 23rd Int'l Conf. on Object-Oriented Programming, Systems, Languages, and Applications, 2008.
3. U. Banerjee, B. Bliss, Z. Ma, and P. Petersen. Unraveling data race detection in the Intel Thread Checker. In the Workshop on Software Tools for MultiCore Systems, 2006.
4. P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield. Xen and the art of virtualization. In Proc. of the 19th Symp. on Operating Systems Principles, 2003.
5. F. Bellard. QEMU, a fast and portable dynamic translator. In Proc. of the USENIX Annual Technical Conf., 2005.
6. M. D. Bond, K. E. Coons, and K. S. McKinley. PACER: Proportional detection of data races. In Proc. of the Conf. on Programming Language Design and Implementation, 2010.
7. S. Chen, M. Kozuch, T. Strigkos, B. Falsafi, P. B. Gibbons, T. C. Mowry, V. Ramachandran, O. Ruwase, M. Ryan, and E. Vlachos. Flexible hardware acceleration for instruction-grain program monitoring. In Proc. of the 35th Int'l Symp. on Computer Architecture, 2008.
8. J. Chow, T. Garfinkel, and P. M. Chen. Decoupling dynamic program analysis from execution in virtual environments. In Proc. of the USENIX Annual Technical Conf., 2008.
9. J. R. Crandall and F. T. Chong. Minos: Control data attack prevention orthogonal to memory model. In Proc. of the 37th Int'l Symp. on Microarchitecture, 2004.
10. M. Dalton, H. Kannan, and C. Kozyrakis. Raksha: A flexible information flow architecture for software security. In Proc. of the 34th Int'l Symp. on Computer Architecture, 2007.
11. J. L. Greathouse, I. Wagner, D. A. Ramos, G. Bhatnagar, T. Austin, V. Bertacco, and S. Pettie. Testudo: Heavyweight security analysis via statistical sampling. In Proc. of the 41st Int'l Symp. on Microarchitecture, 2008.
12. M. Hauswirth and T. M. Chilimbi. Low-overhead memory leak detection using adaptive statistical profiling. In Proc. of the 12th Int'l Conf. on Architectural Support for Programming Languages and Operating Systems, 2005.
13. M. Hirzel and T. Chilimbi. Bursty tracing: A framework for low-overhead temporal profiling. In the 4th Workshop on Feedback-Directed and Dynamic Optimization, 2001.
14. A. Ho, M. Fetterman, C. Clark, A. Warfield, and S. Hand. Practical taint-based protection using demand emulation. In Proc. of the European Conf. on Computer Systems, 2006.
15. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In Proc. of the Conf. on Programming Language Design and Implementation, 2003.
16. S. Lu, J. Tucek, F. Qin, and Y. Zhou. AVIO: Detecting atomicity violations via access interleaving invariants. In Proc. of the 12th Int'l Conf. on Architectural Support for Programming Languages and Operating Systems, 2006.
17. D. Marino, M. Musuvathi, and S. Narayanasamy. LiteRace: Effective sampling for lightweight data-race detection. In Proc. of the Conf. on Programming Language Design and Implementation, 2009.
18. National Vulnerability Database. Vulnerability Summary for CVE-2002-0068: Squid 2.4 STABLE3 and earlier, 2002.
19. National Vulnerability Database. Vulnerability Summary for CVE-2005-3120: Lynx 2.8.6, 2005.
20. National Vulnerability Database. Vulnerability Summary for CVE-2006-6170: ProFTPD 1.3.0a and earlier, 2006.
21. National Vulnerability Database. Vulnerability Summary for CVE-2007-0774: Apache Tomcat JK Web Server Connector 1.2.19/1.2.20, 2007.
22. National Vulnerability Database. Vulnerability Summary for CVE-2007-2807: Eggdrop 1.6.18, 2007.
23. N. Nethercote and J. Fitzhardinge. Bounds-checking entire programs without recompiling. In the 2nd Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management, 2004.
24. N. Nethercote and J. Seward. How to shadow every byte of memory used by a program. In Proc. of the Int'l Conf. on Virtual Execution Environments, 2007.
25. N. Nethercote and J. Seward. Valgrind: A framework for heavyweight dynamic binary instrumentation. In Proc. of the Conf. on Programming Language Design and Implementation, 2007.
26. J. Newsome and D. Song. Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software. In Proc. of the Network and Distributed System Security Symp., 2005.
27. E. B. Nightingale, D. Peek, P. M. Chen, and J. Flinn. Parallelizing security checks on commodity hardware. In Proc. of the 13th Int'l Conf. on Architectural Support for Programming Languages and Operating Systems, 2008.
28. P. Sack, B. E. Bliss, Z. Ma, P. Petersen, and J. Torrellas. Accurate and efficient filtering for the intel thread checker race detector. In the Workshop on Architectural and System Support for Improving Software Dependability, 2006.
29. K. Serebryany and T. Iskhodzhanov. ThreadSanitizer - data race detection in practice. In the Workshop on Binary Instrumentation and Applications, 2009.
30. J. Seward and N. Nethercote. Using Valgrind to detect undefined value errors with bit-precision. In Proc. of the USENIX Annual Technical Conf., 2005.
31. G. Venkataramani, B. Roemer, Y. Solihin, and M. Prvulovic. MemTracker: Efficient and programmable support for memory access monitoring and debugging. In Proc. of the 13th Int'l Symp. on High-Performance Computer Architecture, 2007.
32. Q. Zhao, D. Bruening, and S. Amarasinghe. Umbra: Efficient and scalable memory shadowing. In Proc. of the Int'l Symp. on Code Generation and Optimization, 2010.
33. P. Zhou, R. Teodorescu, and Y. Zhou. HARD: Hardware-assisted lockset-based race detection. In Proc. of the 13th Int'l Symp. on High-Performance Computer Architecture, 2007.