Login / Signup
Kerim Kochekov
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Control Flow
Graph Matching
Decision Making
Transition Systems
Top Venues
Proc. ACM Program. Lang.
</>
Publications
</>
Giovanna Kobus Conrado
,
Amir Kafshdar Goharshady
,
Kerim Kochekov
,
Yun Chen Tsai
,
Ahmed Khaled Zaher
Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis.
Proc. ACM Program. Lang.
7 (OOPSLA2) (2023)