Software monitoring with bounded overhead

IPDPS Miami 2008 - Proceedings of the 22nd IEEE International Parallel and Distributed Processing Symposium, Program and CD-ROM

Volumn , Issue , 2008, Pages

  Callanan, Sean ^a   Dean, Daniel J ^a   Gorbovitski, Michael ^a   Grosu, Radu ^a   Seyster, Justin ^a   Smolka, Scott A ^a   Stoller, Scott D ^a   Zadok, Erez ^a  

^a STONY BROOK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PARALLEL AND DISTRIBUTED PROCESSING; SOFTWARE MONITORING;

COMPUTER NETWORKS; CONSTRAINT THEORY; DISTRIBUTED PARAMETER NETWORKS; ERROR ANALYSIS;

AUTOMATA THEORY;

EID: 51049105062     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2008.4536433     Document Type: Conference Paper

References (19)

1. A. Aziz, F. Balarin, R. K. Brayton, M. D. Dibenedetto, A. Sladanha, and A. L. Sangiovanni- Vincentelli. Supervisory control of finite state machines. In P. Wolper, editor, 7th International Conference On Computer Aided Verification, volume 939, pages 279-292, Liege, Belgium, 1995. Springer Verlag.
2. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
3. E. D. Berger and B. G. Zorn. DieHard: probabilistic memory safety for unsafe languages. In Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '06), Ottawa, Canada, June 2006.
4. S. Callanan, D. J. Dean, M. Gorbovitski, R. Grosu, J. Seyster, S. A. Smolka, S. D. Stoller, and E. Zadok. High-confidence software monitoring with bounded overhead. Technical Report FSL-07-03, Computer Science Department, Stony Brook University, November 2007. www.fsl.cs.sunysb.edu/docs/memcov-tr/memcov. pdf.
5. S. Callanan, D. J. Dean, and E. Zadok. Extending GCC with Modular GIMPLE Optimizations. In Proceedings of the 2007 GCC Developers' Summit, Ottawa, Canada, July 2007.
6. C. Cowan, C. Pu, D. Maier, H. Hintongif, J. Walpole, P. Bakke, S. Beattie, A. Grier, P. Wagle, and Q. Zhang. StackGuard: Automatic Adaptive Detection and Prevention of Buffer-Overflow Attacks. In Proceedings of the Seventh USENIX Security Symposium, pages 63-78, San Antonio, TX, January 1998.
7. F. C. Eigler. Mudflap: Pointer Use Checking for C/C++. In Proceedings of the First Annual GCC Developers' Summit, pages 57-70, Ottawa, Canada, May 2003.
8. L. Fei and S. P.Midkiff. Artemis: practical runtime monitoring of applications for execution anomalies. In Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '06), Ottawa, Canada, June 2006.
9. G. Franklin, J. Powell, and M. Workman. Digital Control of Dynamic Systems, Third Edition. Addison Wesley Longman, Inc., 1998.
10. S. Hallem, B. Chelf, Y. Xie, and D. Engler. A System and Language for Building System-Specific, Static Analyses. In ACM Conference on Programming Language Design and Implementation, pages 69-82, Berlin, Germany, June 2002.
11. R. Hastings and B. Joyce. Purify: fast detection of memory leaks and access errors. In Proceedings of the Winter 1992 USENIX Conference, pages 125-138, San Francisco, CA, January 1992.
12. M. Hauswirth and T. M. Chilimbi. Low-overhead memory leak detection using adaptive statistical profiling. SIGARCH Comput. Archit. News, 32(5):156-164, 2004.
13. D. L. Heine and M. S. Lam. A practical flow-sensitive and context-sensitive C and C++ memory leak detector. In Proceedings of the 2003 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '03), San Diego, CA, June 2003.
14. J. Kneschke. Lighttpd. http://www.lighttpd.net/, 2003.
15. B. Perens. efence(3), April 1993. linux.die.net/man/3/efence.
16. F. Qin, S. Lu, and Y. Zhou. SafeMem: Exploiting ECCmemory for detecting memory leaks and memory corruption during production runs. In Proceedings of the 11th International Symposium on High-Performance Computer Architecture (HPCA 2005), San Francisco, CA, February 2005.
17. P. Ramadge and W.Wonham. Supervisory control of a class of discrete event systems. SIAM J. Control and Optimization, 25(1):206-230, 1987.
18. P. Ramadge and W. Wonham. Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control, 38(2):329-342, 1994.
19. H. Wong-Toi and G. Hoffmann. The control of dense real-time discrete event systems. In Proc. of 30th Conf. Decision and Control, pages 1527-1528, Brighton, UK, 1991.