Olha's Reviewed Publications

• Olha Shkaravska and Marko van Eekelen.
  Univariate Poylnomial Solutions of Nonlinear Polynomial Recurrence Relations.
  Accepted under the condition of minor revisions. Journal of Symbolic Computations. Elsevier. 2012.
  [Technical Report]


• Manuel Montenegro, Olha Shkaravska, Marko van Eekelen, and Ricardo Peña.
  Interpolation-based height analysis for improving a recurrence solver.
  In Selected Revised Papers of the 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2011), Madrid, Spain. Lecture Notes Computer Science 7177. Springer Verlag. To Appear.


• Olha Shkaravska, Marko van Eekelen, Alejandro Tamalet.
  Collected Size Semantics for Functional Programs over Lists.
  Selected Papers of the 20th Symposium on Implementation and Application of Functional Programming, IFL 2008, University of Hertfordshire, UK, 2008, LNCS, Volume 5836. Springer Verlag, pp. 118-137, 2011.


• Olha Shkaravska and Marko van Eekelen, Eds.
  Foundational and Practical Aspects of Resource Analysis.
  Proceedings of the First International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA2010). November 2009. Eindhoven. Workshop of Formal Methods Europe 2009. Lecture Notes in Computer Science. Volume 6324. 170 pages. Springer Verlag. Berlin. ISBN: 978-3-642-15330-3. 2010.


• O. Shkaravska, R. Kersten, M. van Eekelen.
  Test-Based Inference of Polynomial Loop-Bound Functions
  Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java, pages 99-108, 2010.
  


• O. Shkaravska, M. van Eekelen, R. van Kesteren.
  Polynomial Size analysis for First-Order Shapely Functions (revised).
  Logical Methods in Computer Science, volume 5, issue 2, paper 10. Special Issue with Selected Papers from TLCA 2007. Pages 1-35, 2009.


• A. Tamalet, O. Shkaravska, M. van Eekelen.
  Size Analysis of Algebraic Data Types.
  Selected papers of the 9th International Symposium "Trends in Functional Programming", Volume 9, pages 33-48, Intellect Publishers, 2009.


• R. van Kesteren, O. Shkaravska, M. van Eekelen.
  Inferring static non-monotonically sized types through testing.
  Proceedings of 16th International "Workshop on Functional and (Constraint) Logic Programming" (WFLP'07), ed. Rachid Echahed. ENTCS, 216C: 45--63 (2007).


• M. van Eekelen, O. Shkaravska, R. van Kesteren, B. Jacobs, E. Poll, S. Smetsers.
  AHA: Amortized Heap Space Usage Analysis. Project Paper.
  International Symposium "Trends in Functional Programming", 2007, ed. Marco T. Morazan, v. 8, pp. 36-53. Publisher: "Intellect", 2008.
  


• D. Sannella, M. Hofmann, D. Aspinall, S. Gilmore, I. Stark, L. Beringer, H.-W. Loidl, K. MacKenzie, A. Momigliano, O. Shkaravska.
  Mobile Resource Guarantees. Project Evaluation Paper.
  International Symposium "Trends in Functional Programming" 2006, ed. Marko van Eekelen, v. 6, pp. 211-226. Publisher: "Intellect", 2007.


• S. Gilmore and O. Shkaravska. Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages.
  Electr. Notes Theor. Comput. Sci. 151(3): 27-45 (2006).


• O. Shkaravska. Types with semantics.
  MERLIN'05. ICFP 2005 Workshop on MEchanized Reasoning about Languages with varIable biNding. In Proceedings.
  [pdf].


• L. Beringer, M. Hofmann, A. Momigliano and O. Shkaravska. Automatic Certification of Heap Consumption.
  In Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings, Publisher: Springer-Verlag GmbH, February 2005, Vol. 3452, pages 347-362.
  [pdf].


• L. Beringer, M. Hofmann, A. Momigliano and O. Shkaravska. Towards certificate generation for linear heap consumption.
  In Proceedings of ICALP/LICS Workshop on Logics for Resources, Processes, and Programs (LRPP2004), July 2004.
  [pdf].


• J. Power and O. Shkaravska. From Comodels to Coalgebras.
  Electr. Notes Theor. Comput. Sci. 106: 297-314 (2004).


• O. Shkaravska. Classes of the functions defined by transducers over infinite words.
  Manuscript. Thesis Candidate of physics and mathematics. - National Taras Shevchenko University of Kyiv, 1999.


• O. Shkaravska. Affine mapping defined by finite transducers.
  Cybernetics and Systems Analysis (transl. Kibernetica, Kiev), 1998, 5, pp. 178-181.


• L. Lisovik and O. Shkaravska. About real functions defined by transducers.
  Cybernetics and Systems Analysis (transl. Kibernetica, Kiev), 1998, 1, pp. 82-93.


• L. Lisovik and O. Shkaravska. Functions defined by push-down transducers.
  National academy of Sciences of Ukraine. Reports, 1995, 9, pp. 57-59.

Other Publications