Efficient monitoring of parametric context-free patterns

ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings

Volumn , Issue , 2008, Pages 148-157

  Meredith, Patrick O'Neil ^a   Jin, Dongyun ^a   Chen, Feng ^a   Roşu, Grigore ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATIONS.; AVERAGE CASES; EFFICIENT MONITORING; EXECUTION TRACES; LARGE PROGRAMS; PARSING ALGORITHMS; PREFIX MATCHING; RECENT DEVELOPMENTS; RUNTIME OVERHEADS; RUNTIME VERIFICATIONS; SYNTHESIS ALGORITHMS; TEMPORAL LOGIC SPECIFICATIONS;

CLONING; FINITE AUTOMATA; GENETIC ENGINEERING; SOFTWARE ENGINEERING;

TEMPORAL LOGIC;

EID: 56249134236     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2008.25     Document Type: Conference Paper

References (29)

1. K. Havelund and G. Roju, "Monitoring Java programs with Java PathExplorer," in Runtime Verification(RV'01), ser. ENTCS, vol. 55, no. 2, 2001.
2. "Temporal Rover," http://www.time-rover.com.
3. M. Kim, M. Viswanathan, S. Kannan, I. Lee, and O. Sokolsky, "Java-MaC: A run-time assurance approach for Java programs," Formal Methods in System Design, vol. 24, no. 2, pp. 129-155, 2004.
4. M. d'Amorim and K. Havelund, "Event-based runtime verification of Java programs," ACM SIGSOFT Software Engineering Notes, vol. 30, no. 4, pp. 1-7, 2005.
5. C. Allan, P. Avgustinov, A. S. Christensen, L. J. Hendren, S. Kuzins, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibble, "Adding trace matching with free variables to AspectJ," in OOPSLA'05. ACM, 2005, pp. 345-364.
6. P. Avgustinov, J. Tibble, and O. de Moor, "Making trace monitors feasible," in OOPSLA'07. ACM, 2007, pp. 589-608.
7. E. Bodden, "J-LO, a tool for runtime-checking temporal assertions," Master's thesis, RWTH Aachen University, 2005.
8. M. Martin, V. B. Livshits, and M. S. Lam, "Finding application errors and security flaws using PQL: a program query language," in OOPSLA'07. ACM, 2005, pp. 365-383.
9. S. Goldsmith, R. O'Callahan, and A. Aiken, "Relational queries over program traces," in OOPSLA '05. ACM, 2005, pp. 385-402.
10. F. Chen and G. Roşu, "MOP: An efficient and generic runtime verification framework," in OOPSLA '07. ACM, 2007, pp. 569-588.
11. F. B. Schneider, "Enforceable security policies." ACM Transactions on Information System Security, vol. 3, no. 1, pp. 30-50, 2000.
12. "CFG Plugin website," http://fsl.cs.uiuc.edu/CFGPlugin.
13. E. Bodden, L. Hendren, and O. Lhoták, "A staged static program analysis to improve the performance of runtime monitoring," in ECOOP'07, ser. LNCS, vol. 4609, 2007, pp. 525-549.
14. F. Chen and G. Roşu, "Towards monitoring-oriented programming: A paradigm combining specification and implementation," in Runtime Verification(RV03), ser. ENTCS, vol. 89, no. 2, 2003.
15. F. Chen, M. D'Amorim, and G. Roşu, "A formal monitoring-based framework for software development and analysis," in ICFEM'04, ser. LNCS, vol. 3308, 2004, pp. 357-372.
16. S. Chaudhuri and R. Alur, "Instumenting C programs with nested word monitors," in Model Checking Software(SPIN'07), ser. LNCS, vol. 4595, 2007, pp. 279-283.
17. P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, J. Lhotak, O. Lhotak, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibble, "ABC: an extensible AspectJ compiler," in AOSD'05. ACM, 2005, pp. 87-98.
18. F. Chen, M. D'Amorim, and G. Roşu, "Checking and correcting behaviors of Java programs at runtime with JavaMOP," in Runtime Verification(RV'06), ser. ENTCS, vol. 144, no. 4, 2006, pp. 3-20.
19. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold, "An overview of AspectJ," in ECOOP'01, ser. LNCS, vol. 2072, 2001, pp. 327-353.
20. G. T. Leavens, K. R. M. Leino, E. Poll, C. Ruby, and B. Jacobs, "JML: notations and tools supporting detailed design in Java," in OOPSLA '00, ser. ACM, 2000, pp. 105-106.
21. A. V. Aho, R. Sethi, and J. D. Ullman, Compilers, principles, techniques, and tools. Addison-Wesley, 1986, pages 215-246.
22. nd edition. Addison-Wesley, 2001.
23. "Bison," http://www.gnu.org/software/bison/.
24. D. E. Knuth, "On the translation of languages from left to right," Information and Control, vol. 8, no. 6, pp. 607-639, 1965.
25. M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott, All About Maude-A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic. Springer-Verlag New York, Inc., 2007.
26. D. Pager, "A practical general method for constructing LR(k) parsers," Acta Informatica, vol. 7, pp. 249-268, 1977.
27. S. M. Blackburn, R. Garner, C. Hoffman, A. M. Khan, K. S. McKinley, R. Bentzur, A. Diwan, D. Feinberg, D. Frampton, S. Z. Guyer, M. Hirzel, A. Hosking, M. Jump, H. Lee, J. E. B. Moss, A. Phansalkar, D. Stefanovic, T. VanDrunen, D. von Dincklage, and B. Wiedermann, "The DaCapo benchmarks: Java benchmarking development and analysis," in OOPSLA'06. ACM, 2006, pp. 169-190.
28. "Tracematches Benchmarks," http://abc.comlab.ox.ac.uk/tmahead.
29. P. Meredith, F. Chen, D. Jin, and G. Roşu, "Efficient monitoring of parametric context-free patterns," Department of Computer Science, University of Illinois at Urbana-Champaign, Tech. Rep. UIUCDCS-R-2008-2954, April 2008.