Adam Kiezun

26 papers A* 5A 6B 1Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2020 J jnl
Attention improves concentration when learning node embeddings.
CoRR
Matthew Dippel, Adam Kiezun, Tanay Mehta, Ravi Sundaram, Srikanth Thirumalai, Akshar Varma
2020 B conf
Subjective Search Intent Predictions using Customer Reviews.
CHIIR
Adrian Boteanu, Emily Dutile, Adam Kiezun, Shay Artzi
2019 — conf
Synonym Expansion for Large Shopping Taxonomies.
AKBC
Adrian Boteanu, Adam Kiezun, Shay Artzi
2019 A conf
Theory and practice of string solvers (invited talk abstract).
ISSTA
Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh
2012 J jnl
HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars.
ACM Trans. Softw. Eng. Methodol.
Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
2012 J jnl
Network-based inference from complex proteomic mixtures using SNIPE.
Bioinform.
David P. Nusinow, Adam Kiezun, Daniel J. O'Connell, Joel M. Chick, Yingzi Yue, Richard L. Maas, Steven Gygi, Shamil R. Sunyaev
2011 A* conf
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection.
CAV
Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
2011 J jnl
Refactoring using type constraints.
ACM Trans. Program. Lang. Syst.
Frank Tip, Robert M. Fuhrer, Adam Kiezun, Michael D. Ernst, Ittai Balaban, Bjorn De Sutter
2010 J jnl
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking.
IEEE Trans. Software Eng.
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst
2009 A* conf
Automatic creation of SQL Injection and cross-site scripting attacks.
ICSE
Adam Kiezun, Philip J. Guo, Karthick Jayaraman, Michael D. Ernst
2009 — —
Effective software testing with a string-constraint solver.
Adam Kiezun
2009 A conf
HAMPI: a solver for string constraints.
ISSTA
Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
2009 J jnl
Parameter reference immutability: formal definition, inference tool, and comparison.
Autom. Softw. Eng.
Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst
2009 — conf
jFuzz: A Concolic Whitebox Fuzzer for Java.
NASA Formal Methods
Karthick Jayaraman, David Harvison, Vijay Ganesh, Adam Kiezun
2008 A conf
Finding bugs in dynamic web applications.
ISSTA
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst
2008 A* conf
Grammar-based whitebox fuzzing.
PLDI
Patrice Godefroid, Adam Kiezun, Michael Y. Levin
2008 J jnl
miRNAminer: A tool for homologous microRNA gene search.
BMC Bioinform.
Shay Artzi, Adam Kiezun, Noam Shomron
2007 — conf
Advanced Refactoring in the Eclipse JDT: Past, Present, and Future.
WRT
Robert M. Fuhrer, Markus Keller, Adam Kiezun
2007 A* conf
Combined static and dynamic mutability analysis.
ASE
Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst
2007 — conf
Object and reference immutability using java generics.
ESEC/SIGSOFT FSE
Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst
2007 A* conf
Refactoring for Parameterizing Java Classes.
ICSE
Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer
2005 A conf
Efficiently Refactoring Java Applications to Use Generic Libraries.
ECOOP
Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller
2005 — conf
Generics-related refactorings in eclipse.
OOPSLA Companion
Adam Kiezun, Robert M. Fuhrer, Frank Tip, Markus Keller
2004 — conf
Advanced refactorings in eclipse.
OOPSLA Companion
Robert M. Fuhrer, Frank Tip, Adam Kiezun
2004 A conf
Converting java programs to use generic libraries.
OOPSLA
Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst
2003 A conf
Refactoring for generalization using type constraints.
OOPSLA
Frank Tip, Adam Kiezun, Dirk Bäumer