[{"text":"\n\n\nChris Allan , Pavel Avgustinov , Aske Simon Christensen , Laurie Hendren , Sascha Kuzins , Ondřej Lhoták , Oege de Moor , Damien Sereni , Ganesh Sittampalam , Julian Tibble, Adding trace matching with free variables to AspectJ, Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA   [doi>10.1145/1094811.1094839]\n\n","citation":"1094839","doi":"http://doi.acm.org/10.1145/1094811.1094839"},{"text":"\n\n\nPavel Avgustinov , Aske Simon Christensen , Laurie Hendren , Sascha Kuzins , Jennifer Lhoták , Ondřej Lhoták , Oege de Moor , Damien Sereni , Ganesh Sittampalam , Julian Tibble, abc: an extensible AspectJ compiler, Proceedings of the 4th international conference on Aspect-oriented software development, p.87-98, March 14-18, 2005, Chicago, Illinois   [doi>10.1145/1052898.1052906]\n\n","citation":"1052906","doi":"http://doi.acm.org/10.1145/1052898.1052906"},{"text":"\n\n\nPavel Avgustinov , Julian Tibble , Oege de Moor, Making trace monitors feasible, Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications, October 21-25, 2007, Montreal, Quebec, Canada   [doi>10.1145/1297027.1297070]\n\n","citation":"1297070","doi":"http://doi.acm.org/10.1145/1297027.1297070"},{"text":"\n\n\nStephen M. Blackburn , Robin Garner , Chris Hoffmann , Asjad M. Khang , Kathryn S. McKinley , Rotem Bentzur , Amer Diwan , Daniel Feinberg , Daniel Frampton , Samuel Z. Guyer , Martin Hirzel , Antony Hosking , Maria Jump , Han Lee , J. Eliot B. Moss , Aashish Phansalkar , Darko Stefanović , Thomas VanDrunen , Daniel von Dincklage , Ben Wiedermann, The DaCapo benchmarks: java benchmarking development and analysis, Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 22-26, 2006, Portland, Oregon, USA   [doi>10.1145/1167473.1167488]\n\n","citation":"1167488","doi":"http://doi.acm.org/10.1145/1167473.1167488"},{"text":"\n\nE. Bodden. J-LO -- A tool for runtime-checking temporal assertions. Master's thesis, RWTH Aachen University, November 2005.\n\n"},{"text":"\n\nE. Bodden, F. Chen, and G. Rosu. Dependent Advice: A General Approach to Optimizing History-based Aspects (Extended version). Technical Report abc-2008-2, http://www.aspectbench.org/, March 2008.\n\n"},{"text":"\n\n\nEric Bodden , Klaus Havelund, Racer: effective race detection using aspectj, Proceedings of the 2008 international symposium on Software testing and analysis, July 20-24, 2008, Seattle, WA, USA   [doi>10.1145/1390630.1390650]\n\n","citation":"1390650","doi":"http://doi.acm.org/10.1145/1390630.1390650"},{"text":"\n\n\nEric Bodden , Laurie Hendren , Ondrej Lhoták, A staged static program analysis to improve the performance of runtime monitoring, Proceedings of the 21st European conference on Object-Oriented Programming, July 30-August 03, 2007, Berlin, Germany \n\n","citation":"2394793"},{"text":"\n\n\nEric Bodden , Patrick Lam , Laurie Hendren, Finding programming errors earlier by evaluating runtime monitors ahead-of-time, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, November 09-14, 2008, Atlanta, Georgia   [doi>10.1145/1453101.1453109]\n\n","citation":"1453109","doi":"http://doi.acm.org/10.1145/1453101.1453109"},{"text":"\n\nF. Chen and G. Rosu. Towards monitoring--oriented programming: A paradigm combining specification and implementation. In RV, volume 89(2) of ENTCS, pages 108--127, July 2003.\n\n"},{"text":"\n\n\nFeng Chen , Grigore Roşu, Mop: an efficient and generic runtime verification framework, Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications, October 21-25, 2007, Montreal, Quebec, Canada   [doi>10.1145/1297027.1297069]\n\n","citation":"1297069","doi":"http://doi.acm.org/10.1145/1297027.1297069"},{"text":"\n\n\nW. F. Clocksin , C. S. Mellish, Programming in Prolog, Springer-Verlag New York, Inc., New York, NY, 1987 \n\n","citation":"39071"},{"text":"\n\n\nSimon F. Goldsmith , Robert O'Callahan , Alex Aiken, Relational queries over program traces, Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA   [doi>10.1145/1094811.1094841]\n\n","citation":"1094841","doi":"http://doi.acm.org/10.1145/1094811.1094841"},{"text":"\n\n\nErik Hilsdale , Jim Hugunin, Advice weaving in AspectJ, Proceedings of the 3rd international conference on Aspect-oriented software development, p.26-35, March 22-24, 2004, Lancaster, UK   [doi>10.1145/976270.976276]\n\n","citation":"976276","doi":"http://doi.acm.org/10.1145/976270.976276"},{"text":"\n\nG. 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.\n\n"},{"text":"\n\n\nIngolf H. Krüger , Gunny Lee , Michael Meisinger, Automating software architecture exploration with M2Aspects, Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, May 27-27, 2006, Shanghai, China   [doi>10.1145/1138953.1138964]\n\n","citation":"1138964","doi":"http://doi.acm.org/10.1145/1138953.1138964"},{"text":"\n\n\nOndřej Lhoták , Laurie Hendren, Scaling Java points-to analysis using SPARK, Proceedings of the 12th international conference on Compiler construction, April 07-11, 2003, Warsaw, Poland \n\n","citation":"1765948"},{"text":"\n\nK. Lieberherr and D. H. Lorenz. Coupling aspect-oriented and adaptive programming. In R. E. Filman, T. Elrad, S. Clarke, and M. Aksit, editors, Aspect-Oriented Software Development, pages 145--164. Addison-Wesley, 2005.\n\n"},{"text":"\n\n\nShahar Maoz , David Harel, From multi-modal scenarios to code: compiling LSCs into aspectJ, Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, November 05-11, 2006, Portland, Oregon, USA   [doi>10.1145/1181775.1181802]\n\n","citation":"1181802","doi":"http://doi.acm.org/10.1145/1181775.1181802"},{"text":"\n\n\nMichael Martin , Benjamin Livshits , Monica S. Lam, Finding application errors and security flaws using PQL: a program query language, Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA   [doi>10.1145/1094811.1094840]\n\n","citation":"1094840","doi":"http://doi.acm.org/10.1145/1094811.1094840"},{"text":"\n\nH. 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.\n\n"},{"text":"\n\n\nH. Masuhara , G. Kiczales , C. Dutchyn, A compilation and optimization model for aspect-oriented programs, Proceedings of the 12th international conference on Compiler construction, April 07-11, 2003, Warsaw, Poland \n\n","citation":"1765937"},{"text":"\n\n\nNomair A. Naeem , Ondrej Lhotak, Typestate-like analysis of multiple interacting objects, Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, October 19-23, 2008, Nashville, TN, USA   [doi>10.1145/1449764.1449792]\n\n","citation":"1449792","doi":"http://doi.acm.org/10.1145/1449764.1449792"},{"text":"\n\n\nKouhei Sakurai , Hidehiko Masuhara , Naoyasu Ubayashi , Saeko Matsuura , Seiichi Komiya, Association aspects, Proceedings of the 3rd international conference on Aspect-oriented software development, p.16-25, March 22-24, 2004, Lancaster, UK   [doi>10.1145/976270.976275]\n\n","citation":"976275","doi":"http://doi.acm.org/10.1145/976270.976275"},{"text":"\n\n\nManu Sridharan , Rastislav Bodík, Refinement-based context-sensitive points-to analysis for Java, Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, June 11-14, 2006, Ottawa, Ontario, Canada   [doi>10.1145/1133981.1134027]\n\n","citation":"1134027","doi":"http://doi.acm.org/10.1145/1133981.1134027"},{"text":"\n\n\nVolker Stolz , Eric Bodden, Temporal Assertions using AspectJ, Electronic Notes in Theoretical Computer Science (ENTCS), v.144 n.4, p.109-124, May, 2006   [doi>10.1016/j.entcs.2006.02.007]\n\n","citation":"1706705"}]