Ahmet Çelik

I obtained my Ph.D. from the Department of Computer Science at the University of Texas at Austin working with Professor Milos Gligoric. You can find my dissertation here. My research interests are software testing, proof engineering, (distributed) build systems, and blending systems and software engineering. I obtained my B.Sc. in Computer Engineering from the Boğaziçi Üniversitesi in 2015. You can take look at my resume here [last update Jan, 2023].

Publications

  1. Debugging the Performance of Maven's Test Isolation: Experience Report
    Pengyu Nie, Ahmet Celik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell, and Milos Gligoric
    International Symposium on Software Testing and Analysis
    (ISSTA 2020), to appear, Los Angeles, USA, July 2020.

  2. mCoq: Mutation Analysis for Coq Verification Projects
    Kush Jain, Karl Palmskog, Ahmet Celik, Emilio Jesús Gallego Arias, and Milos Gligoric
    International Conference on Software Engineering, Tool Demonstrations Track
    (ICSE Demo 2020), to appear, Seoul, South Korea, May 2020.

  3. Practical Machine-Checked Formalization of Change Impact Analysis
    Karl Palmskog, Ahmet Celik, and Milos Gligoric
    International Conference on Tools and Algorithms for the Construction and Analysis of Systems
    (TACAS 2020), pages 137-157, Dublin, Ireland, April 2020.

  4. Mutation Analysis for Coq
    Ahmet Celik, Karl Palmskog, Marinela Parovic, Emilio Jesús Gallego Arias, and Milos Gligoric
    IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2019), pages 539-551, San Diego, California, USA, November 2019.

  5. Design, Implementation, and Application of GPU-based Java Bytecode Interpreters
    Ahmet Celik, Pengyu Nie, Christopher J. Rossbach, and Milos Gligoric
    ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications
    (OOPSLA 2019), pages 177:1-177:28, Athens, Greece, October 2019.

  6. Regression Test Selection for TizenRT
    Ahmet Celik, Young Chul Lee, and Milos Gligoric
    Symposium on the Foundations of Software Engineering, Industrial Track
    (FSE Industrial 2018), pages 845-850, Florida, USA, November 2018.

  7. piCoq: Parallel Regression Proving for Large-Scale Verification Projects
    Karl Palmskog, Ahmet Celik, and Milos Gligoric
    International Symposium on Software Testing and Analysis
    (ISSTA 2018), pages 344-355, Amsterdam, Netherlands, July 2018.

  8. A Regression Proof Selection Tool For Coq
    Ahmet Celik, Karl Palmskog, and Milos Gligoric
    International Conference on Software Engineering, Tool Demonstrations Track
    (ICSE Demo 2018), pages 117-120, Gothenburg, Sweden, May 2018.

  9. Towards Refactoring-Aware Regression Test Selection
    Kaiyuan Wang, Chenguang Zhu, Ahmet Celik, Jongwook Kim, Don Batory, and Milos Gligoric
    International Conference on Software Engineering
    (ICSE 2018), pages 233-244, Gothenburg, Sweden, May 2018.

  10. iCoq: Regression Proof Selection for Large-Scale Verification Projects
    Ahmet Celik, Karl Palmskog, and Milos Gligoric
    IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2017), pages 171-182, Urbana Champaign, Illinois, USA, November 2017.

  11. Bounded Exhaustive Test-Input Generation on GPUs
    Ahmet Celik, Sreepathi Pai, Sarfraz Khurshid, and Milos Gligoric
    ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications
    (OOPSLA 2017), pages 94:1-94:25, Vancouver, Canada, October 2017.

  12. Regression Test Selection Across JVM Boundaries
    Ahmet Celik, Marko Vasic, Aleksandar Milicevic, and Milos Gligoric
    Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
    (ESEC/FSE 2017), pages 809-820, Paderborn, Germany, September 2017.

  13. Build System with Lazy Retrieval for Java Projects
    Ahmet Celik, Alex Knaust, Aleksandar Milicevic, and Milos Gligoric
    ACM SIGSOFT International Symposium on the Foundations of Software Engineering
    (FSE 2016), pages 643-654, Seattle, Washington, USA, November 2016.

PGP Public Key
Key in MIT Public Key Server