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. 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), (to appear), Urbana Champaign, Illinois, USA, November 2017.

  2. 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), (to appear), Vancouver, Canada, October 2017.

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

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