Kerim Kochekov -

Registered user since Tue 15 Aug 2023

Name:Kerim Kochekov

Country:Hong Kong

Affiliation:Hong Kong University of Science and Technology

Personal website: http://kochekov.com/

GitHub: https://github.com/KerimKochekov

Research interests:Parameterized algorithms, Programming languages

Contributions

2023

SPLASH

Author of Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis within the OOPSLA-track