IBM publications
Nicholas Kidd, Thomas Reps, Julian Dolby and Mandana Vaziri. Finding Concurrency-Related Bugs using Random Isolation. VMCAI'09 - International Conference on Verification, Model Checking and Abstract Interpretation . ACM, October 2008.Mandana Vaziri, Stephen J. Fink, Frank Tip, Julian Dolby and Vladimir Gapeyev. Query anomalies. RAOOL'08 - Workshop on Relationships and Associations in Object-Oriented Languages. September 2008.
Julian Dolby, Achille Fokoue-Nkoutche, Aditya Kalyanpur, Kavitha Srinivas, Xing Zhi Sun and Edith Schonberg. Scalable Grounded Conjunctive Query Evaluation Over Large and Expressive Knowledge Bases. ISWC 2008 International Semantic Web Conference. Semantic Web Science Association, July 2008.
Christian Hammer, Julian Dolby, Mandana Vaziri and Frank Tip. Dynamic Detection of Atomic-Set-Serializability Violations. ICSE'08 - International Conference on Software Engineering. ACM SIGPLAN, May 2008.
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Michael Ernst and Amitkumar Paradkar. Finding Bugs in Dynamic Web Applications. ISSTA 2008, International Symposium on Software Testing and Analysis. ACM, April 2008.
Alexey Loginov, Eran Yahav, Satish Chandra, Stephen J. Fink, Noam Rinetzky and Mangala Gowri. Verifying Dereference Safety via Expanding-Scope Analysis. ISSTA 2008: International Symposium on Software Testing and Analysis . April 2008.
Sharon Shoham, Eran Yahav, Stephen J. Fink and Marco Pistoia. Static Specification MiningUsing Automata-Based Abstractions. ISSTA 2007 - International Symposium on Software Testing and Analysis . March 2007.
Mandana Vaziri, Frank Tip, Stephen J. Fink and Julian Dolby. Declarative Object Identity Using Relation Types. ECOOP 2007 - European Conference on Object-Oriented Programming. AITO, February 2007.
Marco Pistoia, Stephen J. Fink, Robert J. Flynn and Eran Yahav. When Role Models Have Flaws: Static Validation of Enterprise Security Policies. ICSE 2007 - International Conference on Software Engineering. ACM SIGSOFT and IEEE Computer Society, December 2006.
Adam Kiezun, Michael D. Ernst, Frank Tip and Robert M. Fuhrer. Refactoring for Parameterizing Java Classes. ICSE 2007 - International Conference on Software Engineering. ACM SIGSOFT, December 2006.
Daniel Wasserrab, Tobias Nipkow, Gregor Snelting and Frank Tip. An Operational Semantics and Type Safety Proof for Multiple Inheritance in C++. OOPSLA 2006 - Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM SIGPLAN, May 2006.
Stephen J. Fink, Eran Yahav, Nurit Dor, Ganesan Ramalingam and Emmanuel Geay. Effective Typestate Verification in the Presence of Aliasing. ISSTA 2006. ACM, April 2006.
Mandana Vaziri, Frank Tip and Julian Dolby. Associating Synchronization Constraints with Data in an Object-Oriented Language. POPL'06: Principles of Programming Languages. ACM, January 2006.
Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby and Markus Keller. Advanced Refactoring for Java in Eclipse. ECOOP 2005 - 2005 European Conference on Object-Oriented Programming. ACM, July 2005.
Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller and Dirk Bauemer. Improving Code Quality through Advanced Refactoring in Eclipse. RSDC 2005 - IBM Rational Software Development Conference 2005. IBM, February 2005.
Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara Ryder, Ophelia Chesley and Julian Dolby. Chianti: A Tool for Change Impact Analysis of Java Programs. ICSE 2004 (Intenational Conference on Software Engineering). ACM SIGSOFT, October 2004.
Sharon Shoham, Eran Yahav, Stephen J. Fink and Marco Pistoia. Static Specification Mining Using Automata-Based Abstractions. IEEE Transactions on Software Engineering 34(5):651-666, May 2008.
Stephen J. Fink, Eran Yahav, Eran Yahav, Nurit Dor, Ramalingam and Emmanuel Geay. Efficient Typestate Verification in the Presence of Aliasing. ACM Transactions on Software Engineering and Methodology 17(2), July 2007.
Manu Sridharan, Stephen J. Fink and Rastislav Bodik. Thin Slicing. ACM SIGPLAN NOTICES 42(6):112-122, June 2007.
Marco Pistoia, Satish Chandra, Stephen J. Fink and Eran Yahav. A Survey of Static Analysis Methods for Identifying Security Vulnerabilities in Software Systems. IBM Systems Journal 46(2):265-288, April 2007.
Mandana Vaziri, Frank Tip and Julian Dolby. Associating Synchronization Constraints with Data in an Object-Oriented Language. ACM SIGPLAN NOTICES 2006 41 (1):334-345 , January 2006.