Olha Shkaravska

Publication Activity (10 Years)

Years Active: 2004-2021
Publications (10 Years): 1

Top Topics

Functional Programs

Top Venues

J. Symb. Comput.

Trends in Functional Programming

Sci. Comput. Program.

Publications

Olha Shkaravska, Marko C. J. D. van Eekelen
Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials. J. Symb. Comput. 103 (2021)
Olha Shkaravska, Simona Ronchi Della Rocca, Marko C. J. D. van Eekelen
Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011. Sci. Comput. Program. 111 (2015)
Rody W. J. Kersten, Bernard van Gastel, Olha Shkaravska, Manuel Montenegro, Marko C. J. D. van Eekelen
ResAna: a resource analysis toolset for (real-time) JAVA. Concurr. Comput. Pract. Exp. 26 (14) (2014)
Przemyslaw Lenkiewicz, Olha Shkaravska, Twan Goosen, Daan Broeder, Menzo Windhouwer, Stephanie Roth, Olof Olsson
The DWAN framework: Application of a web annotation framework for the general humanities to the domain of language resources. LREC (2014)
Olha Shkaravska, Marko C. J. D. van Eekelen
Univariate polynomial solutions of algebraic difference equations. J. Symb. Comput. 60 (2014)
Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet
Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists. FOPARA (2013)
Rody Kersten, Olha Shkaravska, Bernard van Gastel, Manuel Montenegro, Marko C. J. D. van Eekelen
Making resource analysis practical for real-time Java. JTRES (2012)
Attila Góbi, Olha Shkaravska, Marko C. J. D. van Eekelen
Higher-Order Size Checking without Subtyping. Trends in Functional Programming (2012)
Manuel Montenegro, Olha Shkaravska, Marko C. J. D. van Eekelen, Ricardo Peña
Interpolation-Based Height Analysis for Improving a Recurrence Solver. FOPARA (2011)
Olha Shkaravska, Rody Kersten, Marko C. J. D. van Eekelen
Test-based inference of polynomial loop-bound functions. PPPJ (2010)
Olha Shkaravska, Marko C. J. D. van Eekelen, Ron van Kesteren
Polynomial Size Analysis of First-Order Shapely Functions Log. Methods Comput. Sci. 5 (2) (2009)
Ron van Kesteren, Olha Shkaravska, Marko C. J. D. van Eekelen
Inferring Static Non-monotone Size-aware Types Through Testing. Electron. Notes Theor. Comput. Sci. 216 (2008)
Olha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet
Collected Size Semantics for Functional Programs over Lists. IFL (2008)
Alejandro Tamalet, Olha Shkaravska, Marko C. J. D. van Eekelen
Size Analysis of Algebraic Data Type. Trends in Functional Programming (2008)
Olha Shkaravska, Ron van Kesteren, Marko C. J. D. van Eekelen
Polynomial Size Analysis of First-Order Functions. TLCA (2007)
Marko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers
AHA: Amortized Heap Space Usage Analysis. Trends in Functional Programming (2007)
Stephen T. Gilmore, Olha Shkaravska
Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages. Electron. Notes Theor. Comput. Sci. 151 (3) (2006)
Olha Shkaravska
Types with semantics: soundness proof assistant. MERLIN (2005)
Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska
Mobile Resource Guarantees (project evaluation paper). Trends in Functional Programming (2005)
Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska
Automatic Certification of Heap Consumption. LPAR (2004)
A. John Power, Olha Shkaravska
From Comodels to Coalgebras: State and Arrays. CMCS (2004)