See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Olha Shkaravska

https://etis.ee/CV/Olha_Shkaravska/est
6.03.1969
+31 24 3521475
http://www.mpi.nl/people/shkaravska-olha/

Teenistuskäik

Töökohad ja ametid
01.01.2012–...   
Max Planck Institute for Psycholinguistics, Nijmegen, teaduslik kaastöötaja
01.01.2006–31.12.2012   
Radboud Universiteit Nijmegen, Nijmeegs Instituut voor Informatica en Informatiekunde, teaduslik kaastöötaja
2005–2006   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Erakorraline vanemteadur (1,00)
01.01.2002–31.12.2005   
Ludwig-Maximilians-Universität München, Inst. für Informatik, teaduslik kaastöötaja (FP5 IST cost-sharing project MRG, Mobile Resource Guarantees)
01.01.2000–31.12.2002   
Belgia firma Materialise Kiievi filiaal, tarkvaraarendaja
01.01.1995–31.12.2001   
Kiievi Tarass Ševtšenko nim. Riiklik Ülikool, küberneetika teaduskond, assistent
01.01.1991–31.12.1992   
Ukraina Rahvusliku Teaduste Akadeemia Küberneetika Instituut, stažöör ja insener
 
 
Haridustee
1992–1999   
Kiievi Tarass Ševtšenko nim. Riiklik Ülikool, aspirantuur algoritmiteoorias, loogikas ja algebras
1986–1991   
Kiievi Tarass Ševtšenko nim Riiklik Ülikool, diplomiõpingud rakendusmatemaatikas

Kvalifikatsioon

Teaduskraadid
Olha Shkaravska, doktorikraad, 1999, (juh) -, Classes of functions defined by transducers over infinite words, Kiievi Tarass Ševtšenko nim. Riiklik Ülikool.
 
 
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; TÄPSUSTUS: sertifitseeritud tarkvara, programmiloogikad, ressursitundlikud tüübisüsteemid, koalgebralised meetodid programmikeelte semantikas
 
 
Lisainfo
2005-2006 ETFi grant 5567 Mitteklassikalised loogikad ja programmeerimisteooria, põhitäitja // 2005-2006 FP6 IST integreeritud projekt Mobius, põhitäitja

Publikatsioonid

Klass
Aasta
Publikatsioon
 
1.1.
2014
Kersten, Rody W. J.; van Gastel, Bernard E.; Shkaravska, Olha; Montenegro, Manuel; van Eekelen, Marko C. J. D. (2014). ResAna: A resource analysis toolset for (real-time) Java. Concurrency and Computation-Practice & Experience, 26 (14), 2432−2455.10.1002/cpe.3154.
1.1.
2014
Shkaravska, Olha; van Eekelen, Marko (2014). Univariate polynomial solutions of algebraic difference equations. Journal of Symbolic Computation, 60, 15−28.10.1016/j.jsc.2013.10.010.
3.1.
2013
Góbi, Attila; Shkaravska, Olha; van Eekelen, Marko (2013). Higher-order size checking without subtyping. Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers. Ed. Loidl, Hans-Wolfgang; Peña, Ricardo. Berlin: Springer, 53−68. (Lecture Notes in Computer Science; 7829).10.1007/978-3-642-40447-4_4.
3.1.
2012
Montenegro, Manuel; Shkaravska, Olha; van Eekelen, Marko; Peña, Ricardo (2012). Interpolation-based height analysis for improving a recurrence solver. Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers. Ed. Peña, Ricardo; Shkaravska, Olha; van Eekelen, Marko. Berlin: Springer, 36−53. (Lecture Notes in Computer Science; 7177).10.1007/978-3-642-32495-6_3.
3.1.
2012
Kersten, Rody; Shkaravska, Olha; van Gastel, Bernard; Montenegro, Manuel; van Eekelen, Marko (2012). Making resource analysis practical for real-time Java. Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2012, 24-26 October 2012, Copenhagen, Denmark. New York: ACM, 135−144. (ACM International Conference Proceeding Series).10.1145/2388936.2388959.
4.1.
2012
Peña, Ricardo; van Eekelen, Marko; Shkaravska, Olha (Eds.) (2012). Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers. Berlin: Springer. DOI: 10.1007/978-3-642-32495-6.
3.1.
2011
Shkaravska, Olha; van Eekelen, Marko; Tamalet, Alejandro (2011). Collected size semantics for functional programs over lists. Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008, Revised Selected Papers. Ed. Scholz, Sven-Bodo; Chitil, Olaf. Berlin: Springer, 118−137. (Lecture Notes in Computer Science; 5836).10.1007/978-3-642-24452-0_7.
3.1.
2010
Shkaravska, Olha; Kersten, Rody; van Eekelen, Marko (2010). Test-based inference of polynomial loop-bound functions. Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java, Vienna, Austria, 15 September 2010. New York: ACM, 99−108.10.1145/1852761.1852776.
4.1.
2010
van Eekelen, Marko; Shkaravska, Olha (Eds.) (2010). Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers. Berlin: Springer. DOI: 10.1007/978-3-642-15331-0.
1.1.
2009
Shkaravska, Olha; van Eekelen, Marko; van Kesteren, Ron (2009). Polynomial size analysis of first-order shapely functions. Logical Methods in Computer Science, 5 (2), 1−35. DOI: 10.2168/lmcs-5(2:10)2009.
3.1.
2009
Tamalet, Alejandro; Shkaravska, Olha; van Eekelen, Marko (2009). Size analysis of algebraic data types. In: Achten, Peter; Koopman, Pieter; Morazán, Marco T. (_EditorsAbbr). Trends in Functional Programming, Volume 9 (33−48).. Bristol / Chicago, IL: Intellect.
1.1.
2008
van Kesteren, Ron; Shkaravska, Olha; van Eekelen, Marko (2008). Inferring static non-monotone size-aware types through testing. Electronic Notes in Theoretical Computer Science, 216, 45−63. DOI: 10.1016/j.entcs.2008.06.033.
3.1.
2008
van Eekelen, Marko; Shkaravska, Olha; van Kesteren, Ron; Jacobs, Bart; Poll, Erik; Smetsers, Sjaak (2008). AHA: amortized heap space usage analysis (project paper). In: Morazán, Marco T. (_EditorsAbbr). Trends in Functional Programming Volume 8 (36−53).. Bristol / Chicago, IL: Intellect.
3.1.
2007
Shkaravska, Olha; van Kesteren, Ron; van Eekelen, Marko (2007). Polynomial size analysis of first-order functions. Typed Lambda Calculi and Applications: 8th International Conference,TLCA 2007, Paris, France, June 26-28, 2007, Proceedings. _EditorsAbbr Ronchi Della Rocca, Simona. Berlin: Springer, 351−365. (Lecture Notes in Computer Science; 4583).
3.1.
2007
Sannella, Donald; Hofmann, Martin; Aspinall, David; Gilmore, Stephen; Stark, Ian; Beringer, Lennart; Loidl, Hans-Wolfgang; MacKenzie, Kenneth; Momigliano, Alberto; Shkaravska, Olha (2007). Project evaluation paper: Mobile resource guarantees. In: van Eekelen, Marko (_EditorsAbbr). Trends in Functional Programming. Volume 6 (211−226).. Bristol ; Chicago, USA: Intellect.
1.1.
2006
Gilmore, Stephen; Shkaravska, Olha (2006). Estimating the cost of native method calls for resource-bounded functional programming languages. Electronic Notes in Theoretical Computer Science, 151 (3), 27−45. DOI: 10.1016/j.entcs.2006.03.010.
1.1.
2005
Beringer, L.; Hofmann, M.; Momigliano, A.; Shkaravska, O. (2005). Automatic certification of heap consumption. Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings. Ed. Baader,F.; Voronkov,A. Springer, 347−362. (Lecture Notes in Computer Science; 3452). DOI: 10.1007/b106931.
3.1.
2005
Shkaravska, O. (2005). Types with semantics: soundness proof assistant. MERLIN '05 : Proceedings of the Third ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with variable biNding, September 30, 2005, Tallinn, Estonia. Ed. Momigliano,A.; Pollack,R. New York: ACM Press, 50−57. DOI: 10.1145/1088454.1088461.
3.4.
2005
Sannella, Donald; Hofmann, Martin; Aspinall, David; Gilmore, Stephen; Stark, Ian; Beringer, Lennart; Loidl, Hans-Wolfgang; MacKenzie, Kenneth; Momigliano, Alberto; Shkaravska, Olha (2005). Mobile resource guarantees : evaluation paper. Sixth Symposium on Trends in Functional Programming, TFP 2005: Tallinn, Estonia, 23-24 September 2005, Proceedings. _EditorsAbbr van Eekelen, Marko. Tallinn: Institute of Cybernetics at Tallinn University of Technology, 7−16.
3.4.
2005
Shkaravska, O. (2005). Amortized heap-space analysis for first-order functional programs. Sixth Symposium on Trends in Functional Programming, TFP 2005 : Tallinn, Estonia, 23-24 September 2005, proceedings. _EditorsAbbr van Eekelen,M. Tallinn: Institute of Cybernetics at Tallinn University of Technology, 281−296.
1.1.
2004
Power, John; Shkaravska, Olha (2004). From comodels to coalgebras: state and arrays. Electronic Notes in Theoretical Computer Science, 106, 297−314. DOI: 10.1016/j.entcs.2004.02.041.
3.4.
2004
Beringer, L.; Hofmann, M.; Momigliano, A.; Shkaravska, O. (2004). Towards certificate generation for linear heap consumption. Proceedings of ICALP/LICS'04 Workshop on Logics for Resources, Processes, and Programs, LRPP 2004.
3.4.
2001
Shkaravska, O. (2001). Real functions defined by stack transducers. Actes des 20e Journées sur les Arithmétiques Faibles, JAF-20.
25.11.2020

Olha Shkaravska

https://etis.ee/CV/Olha_Shkaravska/eng
6.03.1969
+31 24 3521475
http://www.mpi.nl/people/shkaravska-olha/

Career

Institutions and positions
01.01.2012–...   
Max Planck Institute for Psycholinguistics, Nijmegen, research associate
01.01.2006–31.12.2012   
Radboud Universiteit Nijmegen, Nijmeegs Instituut voor Informatica en Informatiekunde, research associate
2005–2006   
Tallinn University of Technology , Institute of Cybernetics at TUT, Extraordinary Senior Researcher (1,00)
01.01.2002–31.12.2005   
Ludwig-Maximilians-Universität München, Inst. für Informatik, research associate (FP5 IST cost-sharing project MRG)
01.01.2000–31.12.2002   
Kiev branch of Belgian company Materialise, software developer
01.01.1995–31.12.2001   
Taras Shevchenko State University of Kiev, Faculty of Cybernetics, assistant
01.01.1991–31.12.1992   
Institute of Cybernetics of National Academy of Science of Ukraine, intern and engineer
 
 
Education
1992–1999   
Taras Shevchenko State University of Kiev, PhD studies in theory of algorithms, logic, algebra
1986–1991   
Taras Shevchenko State University of Kiev, diploma studies in applied mathematics

Qualifications

Academic degrees
Olha Shkaravska, Doctor's Degree, 1999, (sup) -, Classes of functions defined by transducers over infinite words, Kiievi Tarass Ševtšenko nim. Riiklik Ülikool.
 
 
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; SPECIFICATION: certified code, program logics, resource-aware type systems, coalgebraic methods in programming language semantics
 
 
Additional information
2005-2006 ETF grant 5567 Mitteklassikalised loogikad ja programmeerimisteooria, investigator // 2005-2006 FP6 IST integrated project Mobius, investigator

Publications

Category
Year
Publication
 
1.1.
2014
Kersten, Rody W. J.; van Gastel, Bernard E.; Shkaravska, Olha; Montenegro, Manuel; van Eekelen, Marko C. J. D. (2014). ResAna: A resource analysis toolset for (real-time) Java. Concurrency and Computation-Practice & Experience, 26 (14), 2432−2455.10.1002/cpe.3154.
1.1.
2014
Shkaravska, Olha; van Eekelen, Marko (2014). Univariate polynomial solutions of algebraic difference equations. Journal of Symbolic Computation, 60, 15−28.10.1016/j.jsc.2013.10.010.
3.1.
2013
Góbi, Attila; Shkaravska, Olha; van Eekelen, Marko (2013). Higher-order size checking without subtyping. Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers. Ed. Loidl, Hans-Wolfgang; Peña, Ricardo. Berlin: Springer, 53−68. (Lecture Notes in Computer Science; 7829).10.1007/978-3-642-40447-4_4.
3.1.
2012
Montenegro, Manuel; Shkaravska, Olha; van Eekelen, Marko; Peña, Ricardo (2012). Interpolation-based height analysis for improving a recurrence solver. Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers. Ed. Peña, Ricardo; Shkaravska, Olha; van Eekelen, Marko. Berlin: Springer, 36−53. (Lecture Notes in Computer Science; 7177).10.1007/978-3-642-32495-6_3.
3.1.
2012
Kersten, Rody; Shkaravska, Olha; van Gastel, Bernard; Montenegro, Manuel; van Eekelen, Marko (2012). Making resource analysis practical for real-time Java. Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2012, 24-26 October 2012, Copenhagen, Denmark. New York: ACM, 135−144. (ACM International Conference Proceeding Series).10.1145/2388936.2388959.
4.1.
2012
Peña, Ricardo; van Eekelen, Marko; Shkaravska, Olha (Eds.) (2012). Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers. Berlin: Springer. DOI: 10.1007/978-3-642-32495-6.
3.1.
2011
Shkaravska, Olha; van Eekelen, Marko; Tamalet, Alejandro (2011). Collected size semantics for functional programs over lists. Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008, Revised Selected Papers. Ed. Scholz, Sven-Bodo; Chitil, Olaf. Berlin: Springer, 118−137. (Lecture Notes in Computer Science; 5836).10.1007/978-3-642-24452-0_7.
3.1.
2010
Shkaravska, Olha; Kersten, Rody; van Eekelen, Marko (2010). Test-based inference of polynomial loop-bound functions. Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java, Vienna, Austria, 15 September 2010. New York: ACM, 99−108.10.1145/1852761.1852776.
4.1.
2010
van Eekelen, Marko; Shkaravska, Olha (Eds.) (2010). Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers. Berlin: Springer. DOI: 10.1007/978-3-642-15331-0.
1.1.
2009
Shkaravska, Olha; van Eekelen, Marko; van Kesteren, Ron (2009). Polynomial size analysis of first-order shapely functions. Logical Methods in Computer Science, 5 (2), 1−35. DOI: 10.2168/lmcs-5(2:10)2009.
3.1.
2009
Tamalet, Alejandro; Shkaravska, Olha; van Eekelen, Marko (2009). Size analysis of algebraic data types. In: Achten, Peter; Koopman, Pieter; Morazán, Marco T. (_EditorsAbbr). Trends in Functional Programming, Volume 9 (33−48).. Bristol / Chicago, IL: Intellect.
1.1.
2008
van Kesteren, Ron; Shkaravska, Olha; van Eekelen, Marko (2008). Inferring static non-monotone size-aware types through testing. Electronic Notes in Theoretical Computer Science, 216, 45−63. DOI: 10.1016/j.entcs.2008.06.033.
3.1.
2008
van Eekelen, Marko; Shkaravska, Olha; van Kesteren, Ron; Jacobs, Bart; Poll, Erik; Smetsers, Sjaak (2008). AHA: amortized heap space usage analysis (project paper). In: Morazán, Marco T. (_EditorsAbbr). Trends in Functional Programming Volume 8 (36−53).. Bristol / Chicago, IL: Intellect.
3.1.
2007
Shkaravska, Olha; van Kesteren, Ron; van Eekelen, Marko (2007). Polynomial size analysis of first-order functions. Typed Lambda Calculi and Applications: 8th International Conference,TLCA 2007, Paris, France, June 26-28, 2007, Proceedings. _EditorsAbbr Ronchi Della Rocca, Simona. Berlin: Springer, 351−365. (Lecture Notes in Computer Science; 4583).
3.1.
2007
Sannella, Donald; Hofmann, Martin; Aspinall, David; Gilmore, Stephen; Stark, Ian; Beringer, Lennart; Loidl, Hans-Wolfgang; MacKenzie, Kenneth; Momigliano, Alberto; Shkaravska, Olha (2007). Project evaluation paper: Mobile resource guarantees. In: van Eekelen, Marko (_EditorsAbbr). Trends in Functional Programming. Volume 6 (211−226).. Bristol ; Chicago, USA: Intellect.
1.1.
2006
Gilmore, Stephen; Shkaravska, Olha (2006). Estimating the cost of native method calls for resource-bounded functional programming languages. Electronic Notes in Theoretical Computer Science, 151 (3), 27−45. DOI: 10.1016/j.entcs.2006.03.010.
1.1.
2005
Beringer, L.; Hofmann, M.; Momigliano, A.; Shkaravska, O. (2005). Automatic certification of heap consumption. Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings. Ed. Baader,F.; Voronkov,A. Springer, 347−362. (Lecture Notes in Computer Science; 3452). DOI: 10.1007/b106931.
3.1.
2005
Shkaravska, O. (2005). Types with semantics: soundness proof assistant. MERLIN '05 : Proceedings of the Third ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with variable biNding, September 30, 2005, Tallinn, Estonia. Ed. Momigliano,A.; Pollack,R. New York: ACM Press, 50−57. DOI: 10.1145/1088454.1088461.
3.4.
2005
Sannella, Donald; Hofmann, Martin; Aspinall, David; Gilmore, Stephen; Stark, Ian; Beringer, Lennart; Loidl, Hans-Wolfgang; MacKenzie, Kenneth; Momigliano, Alberto; Shkaravska, Olha (2005). Mobile resource guarantees : evaluation paper. Sixth Symposium on Trends in Functional Programming, TFP 2005: Tallinn, Estonia, 23-24 September 2005, Proceedings. _EditorsAbbr van Eekelen, Marko. Tallinn: Institute of Cybernetics at Tallinn University of Technology, 7−16.
3.4.
2005
Shkaravska, O. (2005). Amortized heap-space analysis for first-order functional programs. Sixth Symposium on Trends in Functional Programming, TFP 2005 : Tallinn, Estonia, 23-24 September 2005, proceedings. _EditorsAbbr van Eekelen,M. Tallinn: Institute of Cybernetics at Tallinn University of Technology, 281−296.
1.1.
2004
Power, John; Shkaravska, Olha (2004). From comodels to coalgebras: state and arrays. Electronic Notes in Theoretical Computer Science, 106, 297−314. DOI: 10.1016/j.entcs.2004.02.041.
3.4.
2004
Beringer, L.; Hofmann, M.; Momigliano, A.; Shkaravska, O. (2004). Towards certificate generation for linear heap consumption. Proceedings of ICALP/LICS'04 Workshop on Logics for Resources, Processes, and Programs, LRPP 2004.
3.4.
2001
Shkaravska, O. (2001). Real functions defined by stack transducers. Actes des 20e Journées sur les Arithmétiques Faibles, JAF-20.
25.11.2020

Otsi projekti

  • {{item.Name}}
Asutus on projekti finantseerija   Asutus on projekti teostaja  
  • {{searchListItem.Name}}
Kõik   Tavaprojektid   Ülemprojektid   Alamprojektid  
Uus Frascati (2015)
Uus ja vana Frascati (otsing uue järgi väljastab ka seotud vanad)
Kõik
Käimasolevad
Lõppenud
Algus
Hajus
Täpne
Lihtotsing Tühjenda
  • Leitud 4 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
ETFETF5567Mitteklassikalised loogikad ja programmeerimisteooria01.01.200331.12.2006Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut48 420,17 EUR
MUUMOBIUS (15905)Mobiilsus, ubikviteet ja turvalisus väikestele seadmetele - MOBIUS01.09.200531.08.2009Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut217 238,95 EUR
SFSF0321769s01Ontoloogiale orienteeritud programmeerimine01.01.200131.12.2005Jaan PenjamTallinna Tehnikaülikool, TTÜ Küberneetika Instituut492 119,70 EUR
MUUTYPES (510996)Tüübid ja tõestused programmidele - TYPES01.09.200430.04.2008Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut20 569,52 EUR