2020
Attention improves concentration when learning node embeddings.
CoRR, 2020
Subjective Search Intent Predictions using Customer Reviews.
Proceedings of the CHIIR '20: Conference on Human Information Interaction and Retrieval, 2020
2019
Theory and practice of string solvers (invited talk abstract).
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019
Synonym Expansion for Large Shopping Taxonomies.
Proceedings of the 1st Conference on Automated Knowledge Base Construction, 2019
2012
HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars.
ACM Trans. Softw. Eng. Methodol., 2012
Network-based inference from complex proteomic mixtures using SNIPE.
Bioinform., 2012
2011
Refactoring using type constraints.
ACM Trans. Program. Lang. Syst., 2011
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking.
IEEE Trans. Software Eng., 2010
2009
Effective software testing with a string-constraint solver.
PhD thesis, 2009
Parameter reference immutability: formal definition, inference tool, and comparison.
Autom. Softw. Eng., 2009
jFuzz: A Concolic Whitebox Fuzzer for Java.
Proceedings of the First NASA Formal Methods Symposium, 2009
HAMPI: a solver for string constraints.
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009
Automatic creation of SQL Injection and cross-site scripting attacks.
Proceedings of the 31st International Conference on Software Engineering, 2009
2008
miRNAminer: A tool for homologous microRNA gene search.
BMC Bioinform., 2008
Grammar-based whitebox fuzzing.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008
Finding bugs in dynamic web applications.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008
2007
Object and reference immutability using java generics.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007
Combined static and dynamic mutability analysis.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
Refactoring for Parameterizing Java Classes.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Advanced Refactoring in the Eclipse JDT: Past, Present, and Future.
Proceedings of the 1st Workshop on Refactoring Tools, 2007
2005
Generics-related refactorings in eclipse.
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005
Efficiently Refactoring Java Applications to Use Generic Libraries.
Proceedings of the ECOOP 2005, 2005
2004
Advanced refactorings in eclipse.
Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004
Converting java programs to use generic libraries.
Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004
2003
Refactoring for generalization using type constraints.
Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003