Nataliia Stulova
The information in this page may be outdated, as Nataliia Stulova is currently not a member of the Institute.
MS - Technical University of Madrid (UPM), SpainFormer PhD Student
Home Page: https://s0nata.github.io/
Adviser: Manuel Hermenegildo
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.
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.