Nataliia


Nataliia Stulova

Nataliia (Nata) Stulova

PhD in Computer Science

Dnipro, Ukraine

Lausanne, Switzerland

École Polytechnique Fédérale de Lausanne (EPFL)


nataliia.stulova at epfl.ch

more contact options


Links

GitHub://s0nata

LinkedIn://nata-stulova

dblp://Stulova:Nataliia

ResearchGate://Nataliia_Stulova

Academia.Edu://NataliiaStulova

ACM DL://Nataliia Stulova


Languages

Ukrainian

Russian

English

Spanish

German

French

Hebrew



About me

I'm Nataliia and I study languages, natural, specification and programming ones.

Currently I am working as a postdoc with Viktor Kuncak at the Lab for Automated Reasoning and Analysis (LARA), École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland.

I have obtained my PhD in Software, Systems and Computing from the Technical University of Madrid (UPM), Spain. During this time I had been working under the supervison of Manuel Hermenegildo and Jose F. Morales at the IMDEA Software Institute (located in... Madrid, Spain!).

My research at IMDEA focused on software specifications and improving efficiency of the tools working with them. I had also been a member of the Computational logic, Languages, Implementation, and Parallelism Laboratory (CLIP) and one of the Ciao Prolog System developers.

Prior to it I had obtained my Master of Sciences in Artificial Intelligence also from UPM in 2013. During this time I had made an internship at the Intelligent Systems & Knowledge Engineering Group (I&K) there.

Before that I had obtained a degree of Bachelor of Sciences in Applied System Analysis at the educational-scientific complex "Institute for applied system analysis" (IASA) of the National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" (NTUU "KPI").

This is my CV.

Also, here's the Wikipedia article about my home city, Dnipro, we make rockets (think Zenit, Elon Musk's second favourite one) and nukes (SS-18 AKA Satan) there.


Publications

Journal and conference articles


2018

Static Performance Guarantees for Programs with Run-time Checks (PDF, BIB)

Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia, Jose F. Morales, Manuel V. Hermenegildo

20th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'18), September 3-5, 2018, Frankfurt am Main, Germany.


Exploiting Term Hiding to Reduce Run-time Checking Overhead (PDF, BIB)

Nataliia Stulova, Jose F. Morales, Manuel V. Hermenegildo

20th International Symposium on Practical Aspects of Declarative Languages, January 8-9, 2018, Los Angeles, CA, USA.


Some Trade-offs in Reducing the Overhead of Assertion Run-time Checks via Static Analysis (PDF, BIB)

Nataliia Stulova, Jose F. Morales, Manuel V. Hermenegildo

Science of Computer Programming, Vol. 155, pages 3-26. Selected and extended papers from the 2016 International Symposium on Principles and Practice of Declarative Programming (PPDP'16).

2016

Reducing the Overhead of Assertion Run-time Checks via Static Analysis (PDF, BIB)

Nataliia Stulova, Jose F. Morales, Manuel V. Hermenegildo

18th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'16), September 5-7, 2016, Edinburgh, UK.

2015

Practical Run-time Checking via Unobtrusive Property Caching (PDF, BIB)

Nataliia Stulova, Jose F. Morales, Manuel V. Hermenegildo

Theory and Practice of Logic Programming, Vol. 15, Num. 04-05, pages 726-741. 31st International Conference on Logic Programming (ICLP'15) Special Issue.

2014

Assertion-based Debugging of Higher-Order (C)LP Programs (PDF, BIB)

Nataliia Stulova, Jose F. Morales, Manuel V. Hermenegildo

16th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, September 8-10, 2016, Canterbury, UK.


Reports and workshop proceedings


On Improving Run-time Checking in Dynamic Languages (PDF)

Nataliia Stulova

OASIcs, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017), Vol. 58, 10 pages, August 2017; CP/ICLP/SAT Doctoral Program 2017 (CP-ICLP-SAT-DP-17) entry.


Towards Run-time Checks Simplification via Term Hiding (Extended Abstract) (PDF)

Nataliia Stulova, Jose F. Morales, Manuel V. Hermenegildo

OASIcs, Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017), Vol. 58, 3 pages, August 2017.


Towards Assertion-based Debugging of Higher-Order (C)LP Programs (Extended Abstract) (PDF)

Nataliia Stulova, Jose F. Morales, Manuel V. Hermenegildo

TPLP, Technical Communications of the 30th International Conference on Logic Programming (ICLP 2014) Special Issue, Vol. 14, Num 4-5, Electronic Appendix.


Service

Organizing Committees

  • Co-organizer and co-chair, 15th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2017)

Reviewing

  • Reviewer, Fundamenta Informaticae journal special issue on the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016).
  • Subreviewer, 27th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2017)
  • Subreviewer, 32nd International Conference on Logic Programming (ICLP 2016)

Theses

Improving Run-time Checking in Dynamic Programming Languages (PDF)

2018

PhD Thesis, Technical University of Madrid (UPM)

Thesis supervisors: Jose F. Morales, Manuel V. Hermenegildo


Dynamic Checking of Assertions for Higher-order Predicates (PDF)

2013

MSc Thesis, Technical University of Madrid (UPM)

Thesis supervisors: Jose F. Morales, Manuel V. Hermenegildo


Software Module of Pattern Recognition Using Genetic Algorithms (in Ukrainian, PDF summary in English)

2012

BSc Thesis, National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" (NTUU "KPI")

Thesis supervisor: Oksana Timoschuk


Projects

I have participated in the following research projects:

  • TRACES: Technologies and tools for Resource-Aware, Correct, Efficient Software

  • N-GREENS: Next-Generation Energy-Efficient Secure Software

  • StrongSoft: Sound Technologies for Reliable, Open, New Generation Software

  • ENTRA: Whole-Systems ENergy TRAnsparency

  • PROMETIDOS-CM: PROgrama de METodos rIgurosos de DesarrollO de Software de la Comunidad de Madrid (Madrid Program in Rigorous Methods for the Development of Software)

  • DOVES: Development Of Verifiable and Efficient Software

  • CASSIOPEIA: Complex Adaptive Systems for Optimization of Performance in ATM (PDF overview)