Ahmet Celik -

Registered user since Thu 25 Jan 2018

Name:Ahmet Celik

Country:United States

Affiliation:Facebook

Contributions

ISSTA 2020	Committee Member in Program Committee within the Tool Demonstration-track Author of Debugging the Performance of Maven’s Test Isolation: Experience Report within the Technical Papers-track
ASE 2019	Author of Mutation Analysis for Coq within the Research Papers-track
SPLASH 2019	Author of Design, Implementation, and Application of GPU-based Java Bytecode Interpreters within the OOPSLA Artifacts-track Author of Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters within the OOPSLA-track
ESEC/FSE 2018	Author of Regression Test Selection for TizenRT within the Industry-track
ISSTA 2018	Author of piCoq: Parallel Regression Proving for Large-Scale Verification Projects within the ISSTA Technical Papers-track
* ICSE 2018 *	Author of Towards Refactoring-Aware Regression Test Selection within the Technical Papers -track Author of A Regression Proof Selection Tool For Coq within the DEMO - Demonstrations -track
SPLASH 2017	Author of Bounded Exhaustive Test-Input Generation on GPUs within the OOPSLA-track