Ahmet Celik -

Registered user since Thu 25 Jan 2018

Name: Ahmet Celik

Affiliation: The University of Texas at Austin

Contributions

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
SPLASH 2017	Author of Bounded Exhaustive Test-Input Generation on GPUs within the OOPSLA-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