Ahmet Çelik

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 16

Top Topics

Change Impact Analysis

Selection Strategy

Complete Axiomatization

Top Venues

Proc. ACM Program. Lang.

ICSE (Companion Volume)

ESEC/SIGSOFT FSE

Publications

Ahmet Çelik, Fatih Yilmaz, Mehmet Anil Korkmaz, Berna Ors
Implementation of CRYSTALS-Kyber Post-Quantum Algorithm Using RISC-V Processor. ICECS (2023)
Kush Jain, Karl Palmskog, Ahmet Çelik, Emilio Jesús Gallego Arias, Milos Gligoric
mCoq: mutation analysis for Coq verification projects. ICSE (Companion Volume) (2020)
Karl Palmskog, Ahmet Çelik, Milos Gligoric
Practical Machine-Checked Formalization of Change Impact Analysis. TACAS (2) (2020)
Mustafa Can Gursoy, Ahmet Çelik, Ertugrul Basar, Ali Emre Pusane, Tuna Tugcu
Molecular Index Modulation With Space-Time Equalization. IEEE Wirel. Commun. Lett. 9 (5) (2020)
Pengyu Nie, Ahmet Çelik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell, Milos Gligoric
Debugging the performance of Maven's test isolation: experience report. ISSTA (2020)
Ahmet Çelik, Karl Palmskog, Marinela Parovic, Emilio Jesús Gallego Arias, Milos Gligoric
Mutation Analysis for Coq. ASE (2019)
Ahmet Çelik, Mustafa Can Gursoy, Ertugrul Basar, Ali Emre Pusane, Tuna Tugcu
A Low-Complexity Solution to Angular Misalignments in Molecular Index Modulation. PIMRC (2019)
Ahmet Çelik, Pengyu Nie, Christopher J. Rossbach, Milos Gligoric
Design, implementation, and application of GPU-based Java bytecode interpreters. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Ahmet Çelik, Karl Palmskog, Milos Gligoric
A regression proof selection tool for coq. ICSE (Companion Volume) (2018)
Kaiyuan Wang, Chenguang Zhu, Ahmet Çelik, Jongwook Kim, Don S. Batory, Milos Gligoric
Towards refactoring-aware regression test selection. ICSE (2018)
Ahmet Çelik, Young-Chul Lee, Milos Gligoric
Regression test selection for TizenRT. ESEC/SIGSOFT FSE (2018)
Karl Palmskog, Ahmet Çelik, Milos Gligoric
piCoq: parallel regression proving for large-scale verification projects. ISSTA (2018)
Ahmet Çelik, Marko Vasic, Aleksandar Milicevic, Milos Gligoric
Regression test selection across JVM boundaries. ESEC/SIGSOFT FSE (2017)
Ahmet Çelik, Karl Palmskog, Milos Gligoric
iCoq: regression proof selection for large-scale verification projects. ASE (2017)
Ahmet Çelik, Sreepathi Pai, Sarfraz Khurshid, Milos Gligoric
Bounded exhaustive test-input generation on GPUs. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Ahmet Çelik, Alex Knaust, Aleksandar Milicevic, Milos Gligoric
Build system with lazy retrieval for Java projects. SIGSOFT FSE (2016)
Fatih Özgül, Murat Gok, Yakup Ozal, Ahmet Çelik
Mining Hate Crimes to Figure Out Reasons Behind. ASONAM (2012)
Fatih Özgül, Ahmet Çelik, Claus Atzenbeck, Zeki Erdem
Specific Similarity Measure for Terrorist Networks: How Much Similar Are Terrorist Networks of Turkey? PAISI (2011)
Fatih Özgül, Claus Atzenbeck, Ahmet Çelik, Zeki Erdem
Incorporating data sources and methodologies for crime data mining. ISI (2011)
Orhan Engin, Ahmet Çelik, Ihsan Kaya
A fuzzy approach to define sample size for attributes control chart in multistage processes: An application in engine valve manufacturing process. Appl. Soft Comput. 8 (4) (2008)