Relational queries over program traces

ACM SIGPLAN Notices

Volumn 40, Issue 10, 2005, Pages 385-402

  Goldsmith, Simon ^a   O'Callahan, Robert ^b   Aiken, Alex ^c  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b Novell ^*

^c STANFORD UNIVERSITY   (United States)

Author keywords

Partiqle; Program trace query language; PTQL; Relational

Indexed keywords

IBM (CO); PARTIQLE; PROGRAM TRACE QUERY LANGUAGE (PTQL); RELATIONAL;

BENCHMARKING; COMPUTER PROGRAMMING; ENCODING (SYMBOLS); JAVA PROGRAMMING LANGUAGE; ONLINE SYSTEMS; PROGRAM DEBUGGING; SOFTWARE PROTOTYPING;

QUERY LANGUAGES;

EID: 33745184246     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1103845.1094841     Document Type: Article

References (28)

1. C. Allen, P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibbie. Adding trace matching with free variables to AspectJ. In Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2005.
2. Apache tomcat. project home page at http://jakarta.apache.org/tomcat/.
3. H. Barringer, A. Goldberg, K. Havelund, and K. Sen. Rule-based runtime verification. In Proceedings of the 4th International Workshop on Runtime Verification (RV'04), 2004.
4. P. C. Bates. Debugging heterogeneous distributed systems using event-based models of behavior. ACM Transactions on Computer Systems, 13(1), 1995.
5. T. Clark, J. Warmer, and B. Schmidt. Object Modeling With the OCL: The Rationale Behind the Object Constraint Language. LNCS 2263. Spring-Verlag, 2002.
6. Eclipse. Project page at http://www.eclipse.org/.
7. Eclipse technology - EMF project. Project page at http://www.eclipse.org/ emf/.
8. M. D. Ernst. Dynamically Discovering Likely Program Invariants. Ph.D. thesis, University of Washington Department of Computer Science and Engineering, Seattle, Washington, Aug. 2000.
9. B. Finkbeiner, S. Sankaranarayanan, and H. Sipma. Collecting statistics over runtime executions. In Proceedings of the 2nd International Workshop on Runtime Verification (RV'02), Electronic Notes in Theoretical Computer Science, Elsevier Science, volume 70, 2002.
10. G. S. Goldszmidt, S. Yemini, and S. Katz. High-level language debugging for concurrent programs. ACM Transactions on Computer Systems, 8(1), 1990.
11. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of the International Conference on Software Engineering, May 2002.
12. Eclipse technology - Hyades project. Project page at http://www.eclipse. org/hyades/.
13. Java 2 Platform, Standard Edition, v 1.4.2 API Specification. http://java.sun.com/j2se/1.4.2/docs/api/.
14. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of AspectJ. Lecture Notes in Computer Science, 2072:327-355, 2001.
15. M. Kim. Information Extraction for Run-time Formal Analysis. Ph.D. thesis, CIS Dept., University of Pennsylvania, 2001.
16. I. Lee, S. Kannan, M. Kim, O. Sokolsky, and M. Viswanathan. Runtime assurance based on formal specifications. In In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999.
17. R. Lencevicius, U. Hölzle, and A. K. Singh. Query-based debugging of object-oriented programs. In OOPSLA '97: Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 304-317, New York, NY, USA, 1997. ACM Press.
18. Y. Liao. An Automatic Programming Approach to High Level Program Monitoring and Measuring. Ph.D. thesis, Dept. Computer Science, University of Southern California, Los Angeles, CA., 1992.
19. Y. Liao and D. Cohen. A specificational approach to high level program monitoring and measuring. IEEE Transactions On Software Engineering, 18(11):969-978, November 1992.
20. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, San Diego, California, June 9-11 2003.
21. B. Liblit, M. Naik, A. X. Zheng, A. Aiken, and M. I. Jordan. Scalable statistical bug isolation. In Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, Illinois, June 12-15 2005.
22. D. C. Luckham. Rapide: A language and toolset for simulation of distributed systems by partial orderings of events. In POMIV '96: Proceedings of the DIMACS workshop on Partial order methods in verification, pages 329-357, New York, NY, USA, 1997. AMS Press, Inc.
23. D. Marinov and R. O'Callahan. Object equality profiling. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, Anaheim, CA, Oct. 2003.
24. M. Martin, B. Livshits, and M. S. Lam. Finding application errors and security flaws using PQL: a program query language. In Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2005.
25. K. Ostermann, M. Mezini, and C. Bockisch. Expressive pointcuts for increased modularity. In European Conference on Object-Oriented Programming (ECOOP), Springer LNCS, 2005, 2005.
26. Specjvm98 benchmarks. Information available at http://www.specbench.org/ osg/jvm98/.
27. R. J. Walker and K. Viggers. Implementing protocols via declarative event patterns. In SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, pages 159-169, New York, NY, USA, 2004. ACM Press.
28. WebSphere application server development best practices for performance and scalability. White paper available from http://www-3.ibm.com/software/ webservers/appserv/ws_bestpractices.pdf, Sept. 2000.