Publications

From WalaWiki

List of publications that rely on the WALA infrastructure, or its precursor DOMO:

1. Generating Precise and Concise Procedure Summaries. Greta Yorsh, Eran Yahav, and Satish Chandra. Accepted to ACM Symposium on Principles of Programming Languages, (POPL 2008)
2. Static Specification Mining Using Automata-Based Abstractions.Sharon Shoham, Eran Yahav, Stephen J. Fink, and Marco Pistoia. In Proceedings of the ACM SIGSOFT 2007 International Symposium on Software Testing and Analysis (ISSTA 2007), London, United Kingdom, July 2007. ACM Press.
3. Blended Analysis for Performance Understanding in Framework-Based Systems. Bruno Dufour, Barbara Ryder, Gary Sevitsky. International Symposium on Software Testing and Analysis (ISSTA), London, UK, 2007
4. Thin Slicing. Manu Sridharan, Stephen J. Fink, and Rastislav Bodik. In Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007), San Diego, CA, June 2007.
5. When Role Models Have Flaws: Static Validation of Enterprise Security Policies. Marco Pistoia, Stephen J. Fink, Robert J. Flynn, and Eran Yahav. In Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, May 2007.
6. A Survey of Static Analysis Methods for Identifying Security Vulnerabilities in Software Systems. Marco Pistoia, Satish Chandra, Stephen Fink, and Eran Yahav. IBM Systems Journal, volume 46, number 2, Armonk, NY, USA, May 2007. International Business Machines Corporation.
7. Effective Typestate Verification in the Presence of Aliasing, Stephen Fink, Eran Yahav, Nurit Dor, Ramalingam, and Emmanuel Geay. In Proceedings of the ACM SIGSOFT 2006 International Symposium on Software Testing and Analysis (ISSTA 2006), Portland, ME, USA, July 2006. ACM Press.
8. Role-Based Access Control Consistency Validation, Paolina Centonze, Gleb Naumovich, Stephen Fink, and Marco Pistoia. In Proceedings of the ACM SIGSOFT 2006 International Symposium on Software Testing and Analysis (ISSTA 2006), Portland, ME, USA, July 2006. ACM Press.
9. The Case for Analysis Preserving Language Transformation Xiaolan Zhang, Larry Koved, Marco Pistoia, Sam Weber, Trent Jaeger, Guillaume Marceau, and Liangzhao Zeng. In Proceedings of the ACM SIGSOFT 2006 International Symposium on Software Testing and Analysis (ISSTA 2006), Portland, ME, USA, July 2006. ACM Press.
10. Associating Synchronization Constraints with Data in an Object-Oriented Language Mandana Vaziri, Frank Tip, and Julian Dolby. In Proceedings of the Thirty-Third Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '06), (Charleston, SC, January 2006).
11. Scalable and Flexible Error Detection, Emmanuel Geay, Eran Yahav, and Stephen Fink. PEPM 06 tools track, January 2006.
12. Deriving Object Typestates in the Presence of Inter-Object References. Mangala Gowri Nanda, Christian Grothoff and Satish Chandra. In Proceedings of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2005), October 2005.
13. Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection Marco Pistoia, Robert J. Flynn, Larry Koved, and Vugranam C. Sreedhar. In Proceedings of the 19th European Conference on Object-Oriented Programming (ECOOP 2005), pages 362-386, Glasgow, Scotland, UK, July 2005. Springer-Verlag.
14. Static Analysis for J2EE Role-Based Access Control Policy Validation Paolina Centonze. Master of Science degree thesis. Polytechnic University, Brooklyn, NY, May 2005.
15. Semi-Automatic J2EE Transaction Configuration, S. Fink, J. Dolby, and L. Colby, IBM Research Report RC23326, 2004.