Author

Ahmet Celik

Meta Platforms, Inc - Cited by 199 - Software Engineering

Biography

Dr. Ahmet Celik is Associate Professor, Medical Faculty, Department of Medical Biochemistry from Sutcu Imam University, Kahramanmaras, Turkey. His research interests are Medical Biochemistry, Pharmacy, Lipoprotein, Red cell distribution width, Protein chemistry, Clinical Biochemistry.
Title
Cited by
Year
Regression test selection across JVM boundaries
A Celik, M Vasic, A Milicevic, M GligoricProceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017201
46
2017
Towards refactoring-aware regression test selection
K Wang, C Zhu, A Celik, J Kim, D Batory, M GligoricProceedings of the 40th International Conference on Software Engineering …, 2018201
31
2018
Build system with lazy retrieval for Java projects
A Celik, A Knaust, A Milicevic, M GligoricProceedings of the 2016 24th ACM SIGSOFT international symposium on …, 2016201
28
2016
Bounded exhaustive test-input generation on GPUs
A Celik, S Pai, S Khurshid, M GligoricProceedings of the ACM on Programming Languages 1 (OOPSLA), 1-25, 2017201
18
2017
iCoq: Regression proof selection for large-scale verification projects
A Celik, K Palmskog, M Gligoric20 32nd IEEE/ACM International Conference on Automated Software …, 202
17
2017
Debugging the performance of Maven’s test isolation: Experience report
P Nie, A Celik, M Coley, A Milicevic, J Bell, M GligoricProceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020202
12
2020
Mutation analysis for coq
A Celik, K Palmskog, M Parovic, EJG Arias, M Gligoric2019 34th IEEE/ACM International Conference on Automated Software …, 2019201
10
2019
Regression test selection for TizenRT
A Çelik, YC Lee, M GligoricProceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018201
10
2018
piCoq: Parallel regression proving for large-scale verification projects
K Palmskog, A Celik, M GligoricProceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018201
10
2018
Design, implementation, and application of GPU-based Java bytecode interpreters
A Celik, P Nie, CJ Rossbach, M GligoricProceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019201
6
2019
A regression proof selection tool for Coq
A Celik, K Palmskog, M GligoricProceedings of the 40th International Conference on Software Engineering …, 2018201
6
2018
mCoq: mutation analysis for Coq verification projects
K Jain, K Palmskog, A Celik, EJG Arias, M GligoricProceedings of the ACM/IEEE 2nd International Conference on Software …, 2020202
4
2020
Practical Machine-Checked Formalization of Change Impact Analysis
K Palmskog, A Celik, M GligoricTools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020202
1
2020

Referred From: https://scholar.google.com/citations?user=LCU400wAAAAJ&hl=en

Cited by
Citations 199
h-index 9
i10-index 9
Recommended Journals
Open Access Journals