Ahmet Çelik

Ph.D. Student
Office: GDC 5.728A
Email: ahmetcelik@utexas.edu
Address: 2317 Speedway, Austin, TX 78712


Short Bio

I am a Ph.D. student in the Department of Computer Science at the University of Texas at Austin working with Professor Milos Gligoric. My research interests are software testing, proof engineering, (distributed) build systems, and combining 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.
Publications

  1. 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.

  2. 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.

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

  4. 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.

  5. 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.

  6. 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.

  7. 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.

  8. 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