Nataliia Stulova

MS in Artificial Intelligence - Technical University of Madrid (UPM), Spain

The information in this page may be outdated, as Nataliia Stulova is no longer a member of the Institute.

Former PhD Student

About me

I am a recently graduated PhD candidate here at IMDEA Software Institute. During my PhD I was working under the supervison of Manuel Hermenegildo and José Francisco Morales.
I have obtained a Master of Sciences in Artificial Intelligence (MUIA) degree from the Technical University of Madrid (UPM) in 2013. Before that I was studying applied system analysis at the National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" (NTUU "KPI").
My research currently focuses on software specifications and improving efficiency of the tools working with them. I'm also a member of the CLIP lab and one of the Ciao Prolog System developers.
This is my CV.

Publications

Journal papers

• [SCP 2018] Some Trade-offs in Reducing the Overhead of Assertion Run-time Checks via Static Analysis
  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).
  

• [TPLP 2015] Practical Run-time Checking via Unobtrusive Property Caching
  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.
  

Conference Proceedings

• [PPDP 2018] Static Performance Guarantees for Programs with Run-time Checks
  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
  

• [PADL 2018] Exploiting Term Hiding to Reduce Run-time Checking Overhead
  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
  

• [PPDP 2014] Assertion-based Debugging of Higher-Order (C)LP Programs
  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
  

Workshop Proceedings

• [ICLP-DC 2017] On Improving Run-time Checking in Dynamic Languages
  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

• [ICLP 2017] Towards Run-time Checks Simplification via Term Hiding (Extended Abstract)
  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
  

• [ICLP 2014] Towards Assertion-based Debugging of Higher-Order (C)LP Programs (Extended Abstract)
  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
  

Theses

• PhD Thesis Improving Run-time Checking in Dynamic Programming Languages
  Technical University of Madrid (UPM)
  Thesis supervisors: Jose F. Morales, Manuel V. Hermenegildo
  Defended in May 2018

• MSc Thesis Dynamic Checking of Assertions for Higher-order Predicates
  Technical University of Madrid (UPM)
  Thesis supervisors: Manuel V. Hermenegildo, Jose F. Morales
  Defended in July 2013

• BSc Thesis Software Module of Pattern Recognition Using Genetic Algorithms
  National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" (NTUU "KPI")
  Thesis supervisor: Oksana Timoschuk
  Defended in May 2012

Research Interests

Program specifications, run-time software verification, specification-based testing, program synthesis and transformation, declarative programming, artificial intelligence.