Login / Signup
Giovanna Kobus Conrado
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Flow Graphs
Top Venues
Proc. ACM Program. Lang.
</>
Publications
</>
Giovanna Kobus Conrado
,
Amir Kafshdar Goharshady
,
Chun Kit Lam
The Bounded Pathwidth of Control-Flow Graphs.
Proc. ACM Program. Lang.
7 (OOPSLA2) (2023)
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)