Adam Kiezun

According to our database, Adam Kiezun authored at least 26 papers between 2003 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Attention improves concentration when learning node embeddings.

Matthew Dippel, Adam Kiezun, Tanay Mehta, Ravi Sundaram, Srikanth Thirumalai, Akshar Varma

CoRR, 2020

Subjective Search Intent Predictions using Customer Reviews.

Adrian Boteanu, Emily Dutile, Adam Kiezun, Shay Artzi

Proceedings of the CHIIR '20: Conference on Human Information Interaction and Retrieval, 2020

2019

Theory and practice of string solvers (invited talk abstract).

Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Synonym Expansion for Large Shopping Taxonomies.

Adrian Boteanu, Adam Kiezun, Shay Artzi

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.

Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst

ACM Trans. Softw. Eng. Methodol., 2012

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

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

HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection.

Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst

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.

Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst

IEEE Trans. Software Eng., 2010

2009

Effective software testing with a string-constraint solver.

Adam Kiezun

PhD thesis, 2009

Parameter reference immutability: formal definition, inference tool, and comparison.

Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst

Autom. Softw. Eng., 2009

jFuzz: A Concolic Whitebox Fuzzer for Java.

Karthick Jayaraman, David Harvison, Vijay Ganesh, Adam Kiezun

Proceedings of the First NASA Formal Methods Symposium, 2009

HAMPI: a solver for string constraints.

Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Automatic creation of SQL Injection and cross-site scripting attacks.

Adam Kiezun, Philip J. Guo, Karthick Jayaraman, Michael D. Ernst

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

miRNAminer: A tool for homologous microRNA gene search.

Shay Artzi, Adam Kiezun, Noam Shomron

BMC Bioinform., 2008

Grammar-based whitebox fuzzing.

Patrice Godefroid, Adam Kiezun, Michael Y. Levin

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Finding bugs in dynamic web applications.

Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2007

Object and reference immutability using java generics.

Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst

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.

Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Refactoring for Parameterizing Java Classes.

Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Advanced Refactoring in the Eclipse JDT: Past, Present, and Future.

Robert M. Fuhrer, Markus Keller, Adam Kiezun

Proceedings of the 1st Workshop on Refactoring Tools, 2007

2005

Generics-related refactorings in eclipse.

Adam Kiezun, Robert M. Fuhrer, Frank Tip, Markus Keller

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Efficiently Refactoring Java Applications to Use Generic Libraries.

Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller

Proceedings of the ECOOP 2005, 2005

2004

Advanced refactorings in eclipse.

Robert M. Fuhrer, Frank Tip, Adam Kiezun

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Converting java programs to use generic libraries.

Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

2003

Refactoring for generalization using type constraints.

Frank Tip, Adam Kiezun, Dirk Bäumer

Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003