Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
About
About me
Page not in menu
This is a page not in th emain menu
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
publications
Irradiation-induced NanoCluster Evolution
Published in The Summer Undergraduate Research Fellowship (SURF) Symposium, 2017
Predict size evolution of solute nanoclusters in metallic alloys under irradiation
Recommended citation: Didier Ishimwe, Matthew J. Swenson, and Janelle P. Wharry, "Irradiation-induced NanoCluster Evolution" (August 3, 2017). The Summer Undergraduate Research Fellowship (SURF) Symposium. Paper 56.
Using Dynamically Inferred Invariants to Analyze Program Runtime Complexity
Published in International Workshop on Software Security from Design to Deployment, 2020
In this paper, we explore the use of recurrence relation in computing runtime complexity
Recommended citation: ThanhVu Nguyen, Didier Ishimwe, Alexey Malyshev, Timos Antonopoulos, and Quoc-Sang Phan. 2020. Using dynamically inferred invariants to analyze program runtime complexity. Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Security from Design to Deployment. Association for Computing Machinery, New York, NY, USA, 11–14.
Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations
Published in Proceedings of the ACM on Programming Languages, 2021
In this paper we infer asymptotic worst case complexity using recurrence relations
Recommended citation: Didier Ishimwe, KimHao Nguyen, and ThanhVu Nguyen. 2021. Dynaplex: analyzing program complexity using dynamically inferred recurrence relations. Proc. ACM Program. Lang. 5, OOPSLA, Article 138 (October 2021), 23 pages.
Inferring Complexity Bounds from Recurrence Relations
Published in Proceedings of the 2023 18th Joint Meeting on Foundations of Software Engineering, 2023
In this paper we infer asymptotic worst case complexity using recurrence relations
Recommended citation: Didier Ishimwe. 2023. Inferring Complexity Bounds from Recurrence Relations. In Proceedings of the 2023 18th Joint Meeting on Foundations of Software Engineering.
talks
Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations
Published:
I presented our implementation and evaluation of Dynaplex, a novel dynamic analysis approach to computing runtime complexity analysis of recursive programs.
Invariant/Specification Discovery using Dynamic and Symbolic Analyses
Published:
This is talk was part of Mason Software Engineering Seminars fall 2021. I discuss the benefit of complexity analysis. I also present a novel dynamic approach for inferring the asymptotic complexity bounds of recursive programs by inferring recurrence relations from program execution traces.
Inferring Complexity Bounds from Recurrence Relations
Published:
This talk was given at the New Jersey Programming Languages and Systems Seminar (NJPLS), which brings researchers in the New Jersey area together for a day of informal talks and discussions.