BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Croatia
1 × United Kingdom
2 × Canada
7 × USA
Collaborated with:
M.D.Ernst F.Tip S.Artzi P.J.Guo R.M.Fuhrer V.Ganesh P.Hooimeijer J.Dolby P.Godefroid M.Y.Levin D.Bäumer K.Jayaraman D.Glasser A.Donovan M.S.Tschantz M.Keller Y.Zibin A.Potanin M.Ali D.Dig A.M.Paradkar
Talks about:
java (4) use (4) refactor (3) generic (3) constraint (2) librari (2) analysi (2) string (2) solver (2) applic (2)

Person: Adam Kiezun

DBLP DBLP: Kiezun:Adam

Contributed to:

CAV 20112011
ICSE 20092009
ISSTA 20092009
ISSTA 20082008
PLDI 20082008
ASE 20072007
ESEC/FSE 20072007
ICSE 20072007
ECOOP 20052005
OOPSLA 20042004
OOPSLA 20032003

Wrote 11 papers:

CAV-2011-GaneshKAGHE #analysis #detection #named #string #testing
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection (VG, AK, SA, PJG, PH, MDE), pp. 1–19.
ICSE-2009-KiezunGJE #automation #injection #sql
Automatic creation of SQL Injection and cross-site scripting attacks (AK, PJG, KJ, MDE), pp. 199–209.
ISSTA-2009-KiezunGGHE #constraints #named #string
HAMPI: a solver for string constraints (AK, VG, PJG, PH, MDE), pp. 105–116.
ISSTA-2008-ArtziKDTDPE #debugging #web
Finding bugs in dynamic web applications (SA, AK, JD, FT, DD, AMP, MDE), pp. 261–272.
PLDI-2008-GodefroidKL #fuzzing #grammarware
Grammar-based whitebox fuzzing (PG, AK, MYL), pp. 206–215.
ASE-2007-ArtziKGE #analysis
Combined static and dynamic mutability analysis (SA, AK, DG, MDE), pp. 104–113.
ESEC-FSE-2007-ZibinPAAKE #java #using
Object and reference immutability using java generics (YZ, AP, MA, SA, AK, MDE), pp. 75–84.
ICSE-2007-KiezunETF #java #refactoring
Refactoring for Parameterizing Java Classes (AK, MDE, FT, RMF), pp. 437–446.
ECOOP-2005-FuhrerTKDK #java #library #refactoring
Efficiently Refactoring Java Applications to Use Generic Libraries (RMF, FT, AK, JD, MK), pp. 71–96.
OOPSLA-2004-DonovanKTE #java #library #source code
Converting java programs to use generic libraries (AD, AK, MST, MDE), pp. 15–34.
OOPSLA-2003-TipKB #constraints #refactoring #using
Refactoring for generalization using type constraints (FT, AK, DB), pp. 13–26.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.