Dependent advice: A general approach to optimizing history-based aspects

Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development, AOSD'09

Volumn , Issue , 2009, Pages 3-14

  Bodden, Eric ^a   Chen, Feng ^b   Roşu, Grigore ^a  

^a MCGILL UNIVERSITY   (Canada)

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

Author keywords

Compilation and static program analysis; Domain specific aspect languages; Runtime verification

Indexed keywords

ASPECT-J; BENCHMARK SUITES; DOMAIN KNOWLEDGE; DOMAIN SPECIFIC; FORMAL SPECIFICATION; GENERAL APPROACH; GENERATION TOOLS; JAVA-MOP; LANGUAGE EXTENSIONS; MODEL DRIVEN DEVELOPMENT; MONITORING APPROACH; RUN-TIME VERIFICATION; RUNTIME MONITORING; RUNTIME OVERHEADS; RUNTIMES; STATIC PROGRAM ANALYSIS; WHOLE-PROGRAM ANALYSIS;

COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; NETWORK COMPONENTS; QUERY LANGUAGES; SOFTWARE DESIGN; SPECIFICATIONS;

LINGUISTICS;

EID: 70450243145     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1509239.1509243     Document Type: Conference Paper

References (26)

1. C. Allan, P. Avgustinov, A. S. Christensen, L. 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, pages 345-364. ACM Press, Oct. 2005.
2. P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, J. Lhoták, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibble. abc: An extensible AspectJ compiler. In AOSD, pages 87-98. ACM Press, Mar. 2005.
3. P. Avgustinov, J. Tibble, and O. de Moor. Making trace monitoring feasible. In OOPSLA, pages 589-608. ACM Press, Oct. 2007.
4. 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, pages 169-190. ACM Press, Oct. 2006.
5. E. Bodden. J-LO - A tool for runtime-checking temporal assertions. Master's thesis, RWTH Aachen University, November 2005.
6. E. Bodden, F. Chen, and G. Roşu. Dependent Advice: A General Approach to Optimizing History-based Aspects (Extended version). Technical Report abc-2008-2, http://www.aspectbench.org/, March 2008.
7. E. Bodden and K. Havelund. Racer: Effective race detection using AspectJ. In ISSTA, pages 155-165. ACM Press, July 2008.
8. E. Bodden, L. J. Hendren, and O. Lhoták. A staged static program analysis to improve the performance of runtime monitoring. In ECOOP, volume 4609 of LNCS, pages 525-549. Springer, July 2007.
9. E. Bodden, P. Lam, and L. Hendren. Finding programming errors earlier by evaluating runtime monitors ahead-of-time. In FSE, pages 36-47, New York, NY, USA, 2008. ACM.
10. F. Chen and G. Roşu. Towards monitoring-oriented programming: A paradigm combining specification and implementation. In RV, volume 89(2) of ENTCS, pages 108-127, July 2003.
11. F. Chen and G. Roşu. MOP: an efficient and generic runtime verification framework. In OOPSLA, pages 569-588. ACM Press, Oct. 2007.
12. W. F. Clocksin and C. Mellish. Programming in Prolog, 5th Edition. Springer, 2003.
13. S. Goldsmith, R. O'Callahan, and A. Aiken. Relational queries over program traces. In OOPSLA, pages 385-402. ACM Press, Oct. 2005.
14. E. Hilsdale and J. Hugunin. Advice weaving in AspectJ. In AOSD, pages 26-35. ACM Press, Mar. 2004.
15. G. Kniesel, T. Rho, and S. Hanenberg. Evolvable pattern implementations need generic aspects. In ECOOP 2004 Workshop on Reflection, AOP and Meta-Data for Software Evolution, June 2004.
16. I. H. Krüger, G. Lee, and M. Meisinger. Automating software architecture exploration with M2Aspects. In SCESM, pages 51-58. ACM Press, 2006.
17. O. Lhoták and L. Hendren. Scaling Java points-to analysis using Spark. In CC, volume 2622 of LNCS, pages 153-169, Apr. 2003.
18. K. Lieberherr and D. H. Lorenz. Coupling aspect-oriented and adaptive programming. In R. E. Filman, T. Elrad, S. Clarke, and M. Akşit, editors, Aspect-Oriented Software Development, pages 145-164. Addison-Wesley, 2005.
19. S. Maoz and D. Harel. From multi-modal scenarios to code: compiling LSCs into AspectJ. In FSE, pages 219-230. ACM Press, Nov. 2006.
20. M. Martin, B. Livshits, and M. S. Lam. Finding application errors using PQL: a program query language. In OOPSLA, pages 365-383, Oct. 2005.
21. H. Masuhara and K. Kawauchi. Dataflow pointcut in aspect-oriented programming. In 1st Asian Symposium on Programming Languages and Systems, volume 2895 of LNCS, pages 105-121. Springer, Dec. 2003.
22. H. Masuhara, G. Kiczales, and C. Dutchyn. A compilation and optimization model for aspect-oriented programs. In CC, volume 2622 of LNCS, pages 46-60. Springer, Apr. 2003.
23. N. A. Naeem and O. Lhoták. Typestate-like analysis of multiple interacting objects. In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications, pages 347-366, New York, NY, USA, 2008. ACM.
24. K. Sakurai, H. Masuhara, N. Ubayashi, S. Matsuura, and S. Komiya. Association aspects. In AOSD, pages 16-25, Mar. 2004.
25. M. Sridharan and R. Bodík. Refinement-based context-sensitive points-to analysis for Java. In PLDI, pages 387-400, June 2006.
26. V. Stolz and E. Bodden. Temporal Assertions using AspectJ. In 5th Workshop on Runtime Verification, volume 144 of Electronic Notes in Theoretical Computer Science, pages 109-124, July 2005.