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: Kiezun:Adam
Contributed to:
2011
2009
20092008
2008
2007
20072007
2005
20042003Wrote 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.