Ahmet Celik
Ahmet Celik
Verified email at utexas.edu - Homepage
Title
Cited by
Cited by
Year
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
292017
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
202016
Towards refactoring-aware regression test selection
K Wang, C Zhu, A Celik, J Kim, D Batory, M Gligoric
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE†…, 2018
192018
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
132017
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
122017
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
92018
Mutation analysis for Coq
A Celik, K Palmskog, M Parovic, EJG Arias, M Gligoric
2019 34th IEEE/ACM International Conference on Automated Software†…, 2019
62019
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
52020
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
52019
Regression test selection for TizenRT
A «elik, YC Lee, M Gligoric
Proceedings of the 2018 26th ACM Joint Meeting on European Software†…, 2018
52018
A regression proof selection tool for Coq
A Celik, K Palmskog, M Gligoric
Proceedings of the 40th International Conference on Software Engineering†…, 2018
42018
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
2020
Practical Machine-Checked Formalization of Change Impact Analysis
K Palmskog, A Celik, M Gligoric
International Conference on Tools and Algorithms for the Construction and†…, 2020
2020
Proof engineering for large-scale verification projects
A Celik
2019
The system can't perform the operation now. Try again later.
Articles 1–14