BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
M.Gligoric K.Palmskog A.Milicevic Y.Lee A.Knaust M.Vasic S.Pai S.Khurshid P.Nie C.J.Rossbach M.Parovic E.J.G.Arias
Talks about:
regress (3) select (3) test (3) project (2) java (2) interpret (1) implement (1) boundari (1) retriev (1) generat (1)

Person: Ahmet Çelik

DBLP DBLP: =Ccedil=elik:Ahmet

Contributed to:

FSE 20162016
ASE 20172017
ESEC/FSE 20172017
ESEC/FSE 20182018
ASE 20192019
OOPSLA 20172017
OOPSLA 20192019

Wrote 7 papers:

FSE-2016-CelikKMG #java #lazy evaluation #retrieval
Build system with lazy retrieval for Java projects (, AK, AM, MG), pp. 643–654.
ASE-2017-CelikPG #named #proving #scalability #verification
iCoq: regression proof selection for large-scale verification projects (, KP, MG), pp. 171–182.
ESEC-FSE-2017-CelikVMG #bound #testing #virtual machine
Regression test selection across JVM boundaries (, MV, AM, MG), pp. 809–820.
ESEC-FSE-2018-CelikLG #testing
Regression test selection for TizenRT (, YCL, MG), pp. 845–850.
ASE-2019-CelikPPAG #analysis #coq #mutation testing
Mutation Analysis for Coq (, KP, MP, EJGA, MG), pp. 539–551.
OOPSLA-2017-CelikPKG #bound #generative
Bounded exhaustive test-input generation on GPUs (, SP, SK, MG), p. 25.
OOPSLA-2019-CelikNRG #bytecode #design #implementation #java
Design, implementation, and application of GPU-based Java bytecode interpreters (, PN, CJR, MG), p. 28.

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.