Olha Shkaravska

According to our database, Olha Shkaravska authored at least 21 papers between 2004 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials.

Olha Shkaravska, Marko C. J. D. van Eekelen

J. Symb. Comput., 2021

2015

Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011.

Olha Shkaravska, Simona Ronchi Della Rocca, Marko C. J. D. van Eekelen

Sci. Comput. Program., 2015

2014

Univariate polynomial solutions of algebraic difference equations.

Olha Shkaravska, Marko C. J. D. van Eekelen

J. Symb. Comput., 2014

ResAna: a resource analysis toolset for (real-time) JAVA.

Rody W. J. Kersten, Bernard van Gastel, Olha Shkaravska, Manuel Montenegro, Marko C. J. D. van Eekelen

Concurr. Comput. Pract. Exp., 2014

The DWAN framework: Application of a web annotation framework for the general humanities to the domain of language resources.

Przemyslaw Lenkiewicz, Olha Shkaravska, Twan Goosen, Daan Broeder, Menzo Windhouwer, Stephanie Roth, Olof Olsson

Proceedings of the Ninth International Conference on Language Resources and Evaluation, 2014

2013

Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists.

Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2012

Higher-Order Size Checking without Subtyping.

Attila Góbi, Olha Shkaravska, Marko C. J. D. van Eekelen

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Making resource analysis practical for real-time Java.

Rody Kersten, Olha Shkaravska, Bernard van Gastel, Manuel Montenegro, Marko C. J. D. van Eekelen

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

2011

Interpolation-Based Height Analysis for Improving a Recurrence Solver.

Manuel Montenegro, Olha Shkaravska, Marko C. J. D. van Eekelen, Ricardo Peña

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011

2010

Test-based inference of polynomial loop-bound functions.

Olha Shkaravska, Rody Kersten, Marko C. J. D. van Eekelen

Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010

2009

Polynomial Size Analysis of First-Order Shapely Functions

Olha Shkaravska, Marko C. J. D. van Eekelen, Ron van Kesteren

Log. Methods Comput. Sci., 2009

2008

Size Analysis of Algebraic Data Type.

Alejandro Tamalet, Olha Shkaravska, Marko C. J. D. van Eekelen

Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008

Collected Size Semantics for Functional Programs over Lists.

Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet

Proceedings of the Implementation and Application of Functional Languages, 2008

2007

Inferring Static Non-monotone Size-aware Types Through Testing.

Ron van Kesteren, Olha Shkaravska, Marko C. J. D. van Eekelen

Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, 2007

Polynomial Size Analysis of First-Order Functions.

Olha Shkaravska, Ron van Kesteren, Marko C. J. D. van Eekelen

Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

AHA: Amortized Heap Space Usage Analysis.

Marko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers

Proceedings of the Eighth Symposium on Trends in Functional Programming, 2007

2005

Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages.

Stephen T. Gilmore, Olha Shkaravska

Proceedings of the Second International Workshop on the Practical Application of Stochastic Modeling, 2005

Mobile Resource Guarantees (project evaluation paper).

Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

Types with semantics: soundness proof assistant.

Olha Shkaravska

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005

2004

From Comodels to Coalgebras: State and Arrays.

A. John Power, Olha Shkaravska

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

Automatic Certification of Heap Consumption.

Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska

Proceedings of the Logic for Programming, 2004