Sign in
Didier Ishimwe
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Sliding Window
Recursive Programs
Complexity Bounds
Theorem Prover
Top Venues
Proc. ACM Program. Lang.
ICSE-Companion
ESEC/SIGSOFT FSE
</>
Publications
</>
Didier Ishimwe
Inferring Complexity Bounds from Recurrence Relations.
ESEC/SIGSOFT FSE
(2023)
Didier Ishimwe
,
ThanhVu Nguyen
,
KimHao Nguyen
Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs.
ICSE-Companion
(2022)
Didier Ishimwe
,
KimHao Nguyen
,
ThanhVu Nguyen
Dynaplex: analyzing program complexity using dynamically inferred recurrence relations.
Proc. ACM Program. Lang.
5 (OOPSLA) (2021)