متابعة
Ahmet Celik
Ahmet Celik
Meta Platforms, Inc
بريد إلكتروني تم التحقق منه على meta.com
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Regression test selection across JVM boundaries‏
A Celik, M Vasic, A Milicevic, M Gligoric‏
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017‏
532017
Towards refactoring-aware regression test selection‏
K Wang, C Zhu, A Celik, J Kim, D Batory, M Gligoric‏
Proceedings of the 40th International Conference on Software Engineering …, 2018‏
372018
Build system with lazy retrieval for Java projects‏
A Celik, A Knaust, A Milicevic, M Gligoric‏
Proceedings of the 2016 24th ACM SIGSOFT international symposium on …, 2016‏
362016
iCoq: Regression proof selection for large-scale verification projects‏
A Celik, K Palmskog, M Gligoric‏
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017‏
232017
Bounded exhaustive test-input generation on GPUs‏
A Celik, S Pai, S Khurshid, M Gligoric‏
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-25, 2017‏
212017
Debugging the performance of Maven’s test isolation: Experience report‏
P Nie, A Celik, M Coley, A Milicevic, J Bell, M Gligoric‏
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020‏
192020
Regression test selection for TizenRT‏
A Celik, YC Lee, M Gligoric‏
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018‏
132018
piCoq: Parallel regression proving for large-scale verification projects‏
K Palmskog, A Celik, M Gligoric‏
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018‏
132018
Mutation analysis for Coq‏
A Celik, K Palmskog, M Parovic, EJG Arias, M Gligoric‏
2019 34th IEEE/ACM International Conference on Automated Software …, 2019‏
102019
Design, implementation, and application of GPU-based Java bytecode interpreters‏
A Celik, P Nie, CJ Rossbach, M Gligoric‏
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019‏
92019
mCoq: mutation analysis for Coq verification projects‏
K Jain, K Palmskog, A Celik, EJG Arias, M Gligoric‏
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020‏
72020
A regression proof selection tool for Coq‏
A Celik, K Palmskog, M Gligoric‏
Proceedings of the 40th International Conference on Software Engineering …, 2018‏
72018
Practical Machine-Checked Formalization of Change Impact Analysis‏
K Palmskog, A Celik, M Gligoric‏
Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020‏
12020
Proof engineering for large-scale verification projects‏
A Celik‏
2019
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–14