Didier Ishimwe

Orcid: 0000-0001-8470-3835

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Inferring Complexity Bounds from Recurrence Relations.
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.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

2021
Dynaplex: analyzing program complexity using dynamically inferred recurrence relations.
Proc. ACM Program. Lang., 2021


  Loading...