Ahmet Çelik

24 papers A* 3A 2B 2C 1Journal 6Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
SINQ: Sinkhorn-Normalized Quantization for Calibration-Free Low-Precision LLM Weights.
CoRR
Lorenz K. Müller, Philippe Bich, Jiawei Zhuang, Ahmet Çelik, Luca Benfenati, Lukas Cavigelli
2025 J jnl
TyphoonMLA: A Mixed Naive-Absorb MLA Kernel For Shared Prefix.
CoRR
Ahmet Caner Yüzügüler, Ahmet Çelik, Jiawei Zhuang, Lukas Cavigelli
2023 — conf
Implementation of CRYSTALS-Kyber Post-Quantum Algorithm Using RISC-V Processor.
ICECS
Ahmet Çelik, Fatih Yilmaz, Mehmet Anil Korkmaz, Berna Ors
2020 A conf
Debugging the performance of Maven's test isolation: experience report.
ISSTA
Pengyu Nie, Ahmet Çelik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell, Milos Gligoric
2020 J jnl
Molecular Index Modulation With Space-Time Equalization.
IEEE Wirel. Commun. Lett.
Mustafa Can Gursoy, Ahmet Çelik, Ertugrul Basar, Ali Emre Pusane, Tuna Tugcu
2020 — conf
Practical Machine-Checked Formalization of Change Impact Analysis.
TACAS (2)
Karl Palmskog, Ahmet Çelik, Milos Gligoric
2020 — conf
mCoq: mutation analysis for Coq verification projects.
ICSE (Companion Volume)
Kush Jain, Karl Palmskog, Ahmet Çelik, Emilio Jesús Gallego Arias, Milos Gligoric
2019 B conf
A Low-Complexity Solution to Angular Misalignments in Molecular Index Modulation.
PIMRC
Ahmet Çelik, Mustafa Can Gursoy, Ertugrul Basar, Ali Emre Pusane, Tuna Tugcu
2019 J jnl
Design, implementation, and application of GPU-based Java bytecode interpreters.
Proc. ACM Program. Lang.
Ahmet Çelik, Pengyu Nie, Christopher J. Rossbach, Milos Gligoric
2019 A* conf
Mutation Analysis for Coq.
ASE
Ahmet Çelik, Karl Palmskog, Marinela Parovic, Emilio Jesús Gallego Arias, Milos Gligoric
2018 — conf
A regression proof selection tool for coq.
ICSE (Companion Volume)
Ahmet Çelik, Karl Palmskog, Milos Gligoric
2018 — conf
Regression test selection for TizenRT.
ESEC/SIGSOFT FSE
Ahmet Çelik, Young-Chul Lee, Milos Gligoric
2018 A* conf
Towards refactoring-aware regression test selection.
ICSE
Kaiyuan Wang, Chenguang Zhu, Ahmet Çelik, JongWook Kim, Don S. Batory, Milos Gligoric
2018 A conf
piCoq: parallel regression proving for large-scale verification projects.
ISSTA
Karl Palmskog, Ahmet Çelik, Milos Gligoric
2017 J jnl
Bounded exhaustive test-input generation on GPUs.
Proc. ACM Program. Lang.
Ahmet Çelik, Sreepathi Pai, Sarfraz Khurshid, Milos Gligoric
2017 — conf
Regression test selection across JVM boundaries.
ESEC/SIGSOFT FSE
Ahmet Çelik, Marko Vasic, Aleksandar Milicevic, Milos Gligoric
2017 A* conf
iCoq: regression proof selection for large-scale verification projects.
ASE
Ahmet Çelik, Karl Palmskog, Milos Gligoric
2016 — conf
Build system with lazy retrieval for Java projects.
SIGSOFT FSE
Ahmet Çelik, Alex Knaust, Aleksandar Milicevic, Milos Gligoric
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
2012 B conf
Mining Hate Crimes to Figure Out Reasons Behind.
ASONAM
Fatih Özgül, Murat Gök, Yakup Ozal, Ahmet Çelik
2011 C conf
Incorporating data sources and methodologies for crime data mining.
ISI
Fatih Özgül, Claus Atzenbeck, Ahmet Çelik, Zeki Erdem
2011 — ch.
Investigating Terrorist Attacks Using CDR Data: A Case Study.
Counterterrorism and Open Source Intelligence
Fatih Özgül, Ahmet Çelik, Claus Atzenbeck, Nadir Gergin
2011 — conf
Specific Similarity Measure for Terrorist Networks: How Much Similar Are Terrorist Networks of Turkey?
PAISI
Fatih Özgül, Ahmet Çelik, Claus Atzenbeck, Zeki Erdem
2008 J jnl
A fuzzy approach to define sample size for attributes control chart in multistage processes: An application in engine valve manufacturing process.
Appl. Soft Comput.
Orhan Engin, Ahmet Çelik, Ihsan Kaya