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
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
Share
x
Wed 8 Feb 08:22