Adam Kiezun - RankMe

26 papers A* 5A 6B 1Journal 7Unranked 6

Year	Rank	Type	Title / 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