Olha Shkaravska

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