Olha's Reviewed Publications

• O. Shkaravska, M. van Eekelen, R. van Kesteren.
  Polynomial Size analysis for First-Order Shapely Functions.
  Selected papers of "Types Lambda Calculi and Applications" (TLCA'07). Logical Methods in Computer Science, electronic journal, ed. Simona Ronchi Della Rocca. To appear.
  


• A. Tamalet, O. Shkaravska, M. van Eekelen.
  Size Analysis of Algebraic Data Types.
  Selected papers of the 9th International Symposium "Trends in Functional Programming", 2008, ed. Marco T. Morazan. Publisher: "Intellect". To appear.
  [pdf]


• 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).


• O. Shkaravska, R. van Kesteren, M. van Eekelen.
  Polynomial Size Analysis for First-Order Functions.
  Proceedings of "Typed Lambda Calculi and Applications" (TLCA'07), ed. S. Ronchi Della Rocca. LNCS, 4583: 351-366 (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.
  [pdf]


• 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