Olha Shkaravska

发表

Foundational and Practical Aspects of Resource Analysis

Ricardo Peña Marko van Eekelen, Olha Shkaravska, 2011, Lecture Notes in Computer Science.

Collected Size Semantics for Functional Programs over Polymorphic Nested Lists

Olha Shkaravska, Marko van Eekelen, Alejandro Tamalet, 2009 .

Inferring static non-monotonically sized types through testing

Olha Shkaravska, M.C.J.D. van Eekelen, R. van Kesteren, 2007 .

Making resource analysis practical for real-time Java

Marko C. J. D. van Eekelen, Rody Kersten, Olha Shkaravska, 2012, JTRES '12.

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

Marko C. J. D. van Eekelen, Simona Ronchi Della Rocca, Olha Shkaravska, 2015, Sci. Comput. Program..

Mobile Resource Guarantees

Stephen Gilmore, Hans-Wolfgang Loidl, Donald Sannella, 2007 .

Collected Size Semantics for Functional Programs over Lists

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

Polynomial Size Analysis of First-Order Shapely Functions

Marko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, 2009, Log. Methods Comput. Sci..

A higher-order size system for a higher-order functional language

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

From Comodels to Coalgebras: State and Arrays

John Power, Olha Shkaravska, O. Shkaravska, 2004, CMCS.

Size Analysis of Higher-Order Functions

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

Test-based inference of polynomial loop-bound functions

Rody Kersten, Olha Shkaravska, Marko van Eekelen, 2010, PPPJ.

Foundational and Practical Aspects of Resource Analysis, Second International Workshop, FOPARA 2011 : Madrid, Spain, May 19, 2011, Revised Selected Papers

Olha Shkaravska, Ricardo Peña, M.C.J.D. van Eekelen, 2012 .

Non-monotonic Polynomial Size Bounds for Functional Programs

Olha Shkaravska, M.C.J.D. van Eekelen, Alejandro Tamalet, 2008 .

6th Symposium on Trends in Functional Programming TFP 2005

Stephen Gilmore, Hans-Wolfgang Loidl, Donald Sannella, 2005 .

AHA: Amortized Heap Space Usage Analysis

Bart Jacobs, Marko C. J. D. van Eekelen, Erik Poll, 2007, Trends in Functional Programming.

Size Analysis of Algebraic Data Type

Marko C. J. D. van Eekelen, Olha Shkaravska, Alejandro Tamalet, 2008, Trends in Functional Programming.

Types with semantics: soundness proof assistant

Olha Shkaravska, 2005, MERLIN '05.

Univariate polynomial solutions of algebraic difference equations

Marko C. J. D. van Eekelen, Olha Shkaravska, 2014, J. Symb. Comput..

Static Inference of Polynomial Size--Aware Types

Olha Shkaravska, M.C.J.D. van Eekelen, 2007 .

Interpolation-Based Height Analysis for Improving a Recurrence Solver

Marko C. J. D. van Eekelen, Olha Shkaravska, Ricardo Peña-Marí, 2011, FOPARA.

Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists

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

Foundational and Practical Aspects of Resource Analysis

Olha Shkaravska, Marko van Eekelen, 2013, Lecture Notes in Computer Science.

International Workshop on Foundational and Practical Aspects of Resource Analysis FOPARA '09 3rd of November Eindhoven, The Netherlands of the 16th International Symposium on Formal Methods

Olha Shkaravska, Marko van Eekelen, 2009 .

Inferring static non-monotonous size-aware types through testing

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

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

Menzo Windhouwer, Przemyslaw Lenkiewicz, Daan Broeder, 2014, LREC.

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

Marko C. J. D. van Eekelen, Rody Kersten, Olha Shkaravska, 2014, Concurr. Comput. Pract. Exp..

Proceedings of the Second international conference on Foundational and Practical Aspects of Resource Analysis

Olha Shkaravska, Marko van Eekelen, Ricardo Peña, 2009 .

Automatic Certification of Heap Consumption

Martin Hofmann, Alberto Momigliano, Lennart Beringer, 2004, LPAR.

Type Checking and Weak Type Inference for Polynomial Size Analysis of First--Order Functions

Olha Shkaravska, M.C.J.D. van Eekelen, R. van Kesteren, 2007 .

Preface : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Olha Shkaravska, M.C.J.D. van Eekelen, Ricardo Peña, 2012 .

Higher-Order Size Checking without Subtyping

Marko C. J. D. van Eekelen, Olha Shkaravska, Attila Góbi, 2012, Trends in Functional Programming.

Project evaluation paper: Mobile resource guarantees

Stephen Gilmore, Hans-Wolfgang Loidl, Donald Sannella, 2007 .

AHA: Amortized Heap Space Usage Analysis. Project Paper

Erik Poll, Sjaak Smetsers, Bart Jacobs, 2007 .

Polynomial Size Analysis of First-Order Functions

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

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

Stephen Gilmore, Olha Shkaravska, 2006, Electron. Notes Theor. Comput. Sci..

Size Analysis of Algebraic Data Types

Olha Shkaravska, Marko van Eekelen, Alejandro Tamalet, 2008, TFP 2008 2008.

A Size-Aware Type System with Algebraic Data Types

Olha Shkaravska, Marko van Eekelen, Alejandro Tamalet, 2008 .

Static Inference of Non-Monotonic Polynomial Sized Types

Olha Shkaravska, M.C.J.D. van Eekelen, 2007 .

Mobile Resource Guarantees (project evaluation paper)

Martin Hofmann, Stephen Gilmore, Kenneth MacKenzie, 2005, Trends in Functional Programming.

Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials

Olha Shkaravska, M.C.J.D. van Eekelen, O. Shkaravska, 2021, J. Symb. Comput..