Neea Rusch

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 9

Top Topics

Complexity Analysis

Storage Requirements

Computational Complexity

Top Venues

Publications

Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
pymwp: A Static Analyzer Determining Polynomial Growth Bounds. ATVA (2023)
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
Distributing and Parallelizing Non-canonical Loops. VMCAI (2023)
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
Realizing Implicit Computational Complexity. CoRR (2022)
Neea Rusch
Formally Verified Resource Bounds through Implicit Computational Complexity. SPLASH Companion (2022)
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
A Novel Loop Fission Technique Inspired by Implicit Computational Complexity. CoRR (2022)
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity. CoRR (2022)
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity. FSCD (2022)
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
An extended and more practical mwp flow analysis. CoRR (2021)
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
An implementation of flow calculus for complexity analysis (tool paper). CoRR (2021)