Ahmet Çelik

According to our database, Ahmet Çelik authored at least 22 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Implementation of CRYSTALS-Kyber Post-Quantum Algorithm Using RISC-V Processor.

Ahmet Çelik, Fatih Yilmaz, Mehmet Anil Korkmaz, Berna Ors

Proceedings of the 30th IEEE International Conference on Electronics, Circuits and Systems, 2023

2020

Molecular Index Modulation With Space-Time Equalization.

Mustafa Can Gursoy, Ahmet Çelik, Ertugrul Basar, Ali Emre Pusane, Tuna Tugcu

IEEE Wirel. Commun. Lett., 2020

Practical Machine-Checked Formalization of Change Impact Analysis.

Karl Palmskog, Ahmet Çelik, Milos Gligoric

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Debugging the performance of Maven's test isolation: experience report.

Pengyu Nie, Ahmet Çelik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell, Milos Gligoric

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

mCoq: mutation analysis for Coq verification projects.

Kush Jain, Karl Palmskog, Ahmet Çelik, Emilio Jesús Gallego Arias, Milos Gligoric

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

2019

Design, implementation, and application of GPU-based Java bytecode interpreters.

Ahmet Çelik, Pengyu Nie, Christopher J. Rossbach, Milos Gligoric

Proc. ACM Program. Lang., 2019

A Low-Complexity Solution to Angular Misalignments in Molecular Index Modulation.

Ahmet Çelik, Mustafa Can Gursoy, Ertugrul Basar, Ali Emre Pusane, Tuna Tugcu

Proceedings of the 30th IEEE Annual International Symposium on Personal, 2019

Mutation Analysis for Coq.

Ahmet Çelik, Karl Palmskog, Marinela Parovic, Emilio Jesús Gallego Arias, Milos Gligoric

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

Regression test selection for TizenRT.

Ahmet Çelik, Young-Chul Lee, Milos Gligoric

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

piCoq: parallel regression proving for large-scale verification projects.

Karl Palmskog, Ahmet Çelik, Milos Gligoric

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Towards refactoring-aware regression test selection.

Kaiyuan Wang, Chenguang Zhu, Ahmet Çelik, Jongwook Kim, Don S. Batory, Milos Gligoric

Proceedings of the 40th International Conference on Software Engineering, 2018

A regression proof selection tool for coq.

Ahmet Çelik, Karl Palmskog, Milos Gligoric

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Bounded exhaustive test-input generation on GPUs.

Ahmet Çelik, Sreepathi Pai, Sarfraz Khurshid, Milos Gligoric

Proc. ACM Program. Lang., 2017

Regression test selection across JVM boundaries.

Ahmet Çelik, Marko Vasic, Aleksandar Milicevic, Milos Gligoric

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

iCoq: regression proof selection for large-scale verification projects.

Ahmet Çelik, Karl Palmskog, Milos Gligoric

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

Haddeleme işlemi sırasında ray ve profil yüzeylerinde oluşan kusurların tespit edilmesine yönelik paralel işlemci uygulaması (Defects detection on rail and profile surface during rolling operation by parallel processor application)

Ahmet Çelik

PhD thesis, 2016

Build system with lazy retrieval for Java projects.

Ahmet Çelik, Alex Knaust, Aleksandar Milicevic, Milos Gligoric

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2012

Mining Hate Crimes to Figure Out Reasons Behind.

Fatih Özgül, Murat Gök, Yakup Ozal, Ahmet Çelik

Proceedings of the International Conference on Advances in Social Networks Analysis and Mining, 2012

2011

Investigating Terrorist Attacks Using CDR Data: A Case Study.

Fatih Özgül, Ahmet Çelik, Claus Atzenbeck, Nadir Gergin

Proceedings of the Counterterrorism and Open Source Intelligence, 2011

Specific Similarity Measure for Terrorist Networks: How Much Similar Are Terrorist Networks of Turkey?

Fatih Özgül, Ahmet Çelik, Claus Atzenbeck, Zeki Erdem

Proceedings of the Intelligence and Security Informatics - Pacific Asia Workshop, 2011

Incorporating data sources and methodologies for crime data mining.

Fatih Özgül, Claus Atzenbeck, Ahmet Çelik, Zeki Erdem

Proceedings of the 2011 IEEE International Conference on Intelligence and Security Informatics, 2011

2008

A fuzzy approach to define sample size for attributes control chart in multistage processes: An application in engine valve manufacturing process.

Orhan Engin, Ahmet Çelik, Ihsan Kaya

Appl. Soft Comput., 2008