Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ahmet Celik
conf.researchr.org general profile
* ICSE 2018 * profile
ASE 2019 profile
ECOOP and ISSTA 2018 profile
ESEC/FSE 2018 profile
ISSTA 2020 profile
SPLASH 2017 profile
SPLASH 2019 profile
Registered user since Thu 25 Jan 2018
Name:
Ahmet Celik
Country:
United States
Affiliation:
Facebook
Contributions
2020
ISSTA
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
2019
ASE
Author of Mutation Analysis for Coq within the Research Papers-track
SPLASH
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
2018
ESEC/FSE
Author of Regression Test Selection for TizenRT within the Industry-track
ISSTA
Author of piCoq: Parallel Regression Proving for Large-Scale Verification Projects within the ISSTA Technical Papers-track
ICSE
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
2017
SPLASH
Author of Bounded Exhaustive Test-Input Generation on GPUs within the OOPSLA-track
Share
x
Tue 3 Dec 18:29
