Refactoring for generalization using type constraints. - Frank Tip; Adam Kiezun; Dirk Bäumer (OOPSLA, 2003)

Converting java programs to use generic libraries. - Alan Donovan; Adam Kiezun; Matthew S. Tschantz; Michael D. Ernst (OOPSLA, 2004)

Advanced refactorings in eclipse. - Robert M. Fuhrer; Frank Tip; Adam Kiezun (OOPSLA Companion, 2004)

Efficiently Refactoring Java Applications to Use Generic Libraries. - Robert M. Fuhrer; Frank Tip; Adam Kiezun; Julian Dolby; Markus Keller (ECOOP, 2005)

Generics-related refactorings in eclipse. - Adam Kiezun; Robert M. Fuhrer; Frank Tip; Markus Keller (OOPSLA Companion, 2005)

Advanced Refactoring in the Eclipse JDT: Past, Present, and Future. - Robert M. Fuhrer; Markus Keller; Adam Kiezun (WRT, 2007)

Refactoring for Parameterizing Java Classes. - Adam Kiezun; Michael D. Ernst; Frank Tip; Robert M. Fuhrer (ICSE, 2007)

Combined static and dynamic mutability analysis. - Shay Artzi; Adam Kiezun; David Glasser; Michael D. Ernst (ASE, 2007)

Object and reference immutability using java generics. - Yoav Zibin; Alex Potanin; Mahmood Ali; Shay Artzi; Adam Kiezun; Michael D. Ernst (ESEC/SIGSOFT FSE, 2007)

Finding bugs in dynamic web applications. - Shay Artzi; Adam Kiezun; Julian Dolby; Frank Tip; Danny Dig; Amit M. Paradkar; Michael D. Ernst (ISSTA, 2008)

Grammar-based whitebox fuzzing. - Patrice Godefroid; Adam Kiezun; Michael Y. Levin (PLDI, 2008)

miRNAminer: A tool for homologous microRNA gene search. - Shay Artzi; Adam Kiezun; Noam Shomron (BMC Bioinform., 2008)

Automatic creation of SQL Injection and cross-site scripting attacks. - Adam Kiezun; Philip J. Guo; Karthick Jayaraman; Michael D. Ernst (ICSE, 2009)

HAMPI: a solver for string constraints. - Adam Kiezun; Vijay Ganesh 001; Philip J. Guo; Pieter Hooimeijer; Michael D. Ernst (ISSTA, 2009)

jFuzz: A Concolic Whitebox Fuzzer for Java. - Karthick Jayaraman; David Harvison; Vijay Ganesh 001; Adam Kiezun (NASA Formal Methods, 2009)

Parameter reference immutability: formal definition, inference tool, and comparison. - Shay Artzi; Adam Kiezun; Jaime Quinonez; Michael D. Ernst (Autom. Softw. Eng., 2009)

Effective software testing with a string-constraint solver. - Adam Kiezun (2009)

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking. - Shay Artzi; Adam Kiezun; Julian Dolby; Frank Tip; Danny Dig; Amit M. Paradkar; Michael D. Ernst (IEEE Trans. Software Eng., 2010)

HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection. - Vijay Ganesh 001; Adam Kiezun; Shay Artzi; Philip J. Guo; Pieter Hooimeijer; Michael D. Ernst (CAV, 2011)

Refactoring using type constraints. - Frank Tip; Robert M. Fuhrer; Adam Kiezun; Michael D. Ernst; Ittai Balaban; Bjorn De Sutter (ACM Trans. Program. Lang. Syst., 2011)

Network-based inference from complex proteomic mixtures using SNIPE. - David P. Nusinow; Adam Kiezun; Daniel J. O'Connell; Joel M. Chick; Yingzi Yue; Richard L. Maas; Steven Gygi; Shamil R. Sunyaev (Bioinform., 2012)

HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars. - Adam Kiezun; Vijay Ganesh 001; Shay Artzi; Philip J. Guo; Pieter Hooimeijer; Michael D. Ernst (ACM Trans. Softw. Eng. Methodol., 2012)

Synonym Expansion for Large Shopping Taxonomies. - Adrian Boteanu; Adam Kiezun; Shay Artzi (AKBC, 2019)

Theory and practice of string solvers (invited talk abstract). - Adam Kiezun; Philip J. Guo; Pieter Hooimeijer; Michael D. Ernst; Vijay Ganesh 001 (ISSTA, 2019)

Subjective Search Intent Predictions using Customer Reviews. - Adrian Boteanu; Emily Dutile; Adam Kiezun; Shay Artzi (CHIIR, 2020)

Attention improves concentration when learning node embeddings. - Matthew Dippel; Adam Kiezun; Tanay Mehta; Ravi Sundaram; Srikanth Thirumalai; Akshar Varma (CoRR, 2020)