Neea Rusch

Orcid: 0000-0002-7354-5330

Affiliations:

Augusta University, School of Computer and Cyber Sciences, GA, USA

According to our database¹, Neea Rusch authored at least 8 papers between 2021 and 2023.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Distributing and Parallelizing Non-canonical Loops.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

pymwp: A Static Analyzer Determining Polynomial Growth Bounds.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

A Novel Loop Fission Technique Inspired by Implicit Computational Complexity.

[BibT_eX]

[DOI]

CoRR, 2022

Realizing Implicit Computational Complexity.

[BibT_eX]

[DOI]

CoRR, 2022

Formally Verified Resource Bounds through Implicit Computational Complexity.

[BibT_eX]

[DOI]

Neea Rusch

Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022

mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

An implementation of flow calculus for complexity analysis (tool paper).

[BibT_eX]

[DOI]

CoRR, 2021

An extended and more practical mwp flow analysis.

[BibT_eX]

[DOI]

CoRR, 2021

Neea Rusch

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...