Olha Shkaravska - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2021

Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomialsOlha Shkaravska, Marko C. J. D. van Eekelen. JSC, 103:22-45, 2021. [doi]

2015

Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011Olha Shkaravska, Simona Ronchi Della Rocca, Marko C. J. D. van Eekelen. SCP, 111:363-364, 2015. [doi]

2014

2013

Collected Size Semantics for Strict Functional Programs over General Polymorphic ListsOlha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet. FOPARA 2014: 143-159 [doi]

2012

Higher-Order Size Checking without SubtypingAttila Góbi, Olha Shkaravska, Marko C. J. D. van Eekelen. sfp 2013: 53-68 [doi]

Making resource analysis practical for real-time JavaRody Kersten, Olha Shkaravska, Bernard van Gastel, Manuel Montenegro, Marko C. J. D. van Eekelen. jtres 2012: 135-144 [doi]

2011

Interpolation-Based Height Analysis for Improving a Recurrence SolverManuel Montenegro, Olha Shkaravska, Marko C. J. D. van Eekelen, Ricardo Peña. FOPARA 2012: 36-53 [doi]

2010

Test-based inference of polynomial loop-bound functionsOlha Shkaravska, Rody Kersten, Marko C. J. D. van Eekelen. PPPJ 2010: 99-108 [doi]

2008

Collected Size Semantics for Functional Programs over ListsOlha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet. IFL 2011: 118-137 [doi]

Size Analysis of Algebraic Data TypeAlejandro Tamalet, Olha Shkaravska, Marko C. J. D. van Eekelen. sfp 2008: 33-48

Inferring Static Non-monotone Size-aware Types Through TestingRon van Kesteren, Olha Shkaravska, Marko C. J. D. van Eekelen. ENTCS, 216:45-63, 2008. [doi]

2007

Polynomial Size Analysis of First-Order FunctionsOlha Shkaravska, Ron van Kesteren, Marko C. J. D. van Eekelen. tlca 2007: 351-365 [doi]

AHA: Amortized Heap Space Usage AnalysisMarko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers. sfp 2007: 36-53

2006

Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming LanguagesStephen T. Gilmore, Olha Shkaravska. ENTCS, 151(3):27-45, 2006. [doi]

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. sfp 2007: 211-226

Types with semantics: soundness proof assistantOlha Shkaravska. ICFP 2005: 50-57 [doi]

2004

Automatic Certification of Heap ConsumptionLennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska. lpar 2005: 347-362 [doi]

From Comodels to Coalgebras: State and ArraysA. John Power, Olha Shkaravska. ENTCS, 106:297-314, 2004. [doi]

Sign in or sign up to see more results.

runs on WebDSL