Didier Ishimwe

According to our database¹, Didier Ishimwe authored at least 3 papers between 2021 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Inferring Complexity Bounds from Recurrence Relations.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

2021

Dynaplex: analyzing program complexity using dynamically inferred recurrence relations.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021