Nataliia Stulova

According to our database1, Nataliia Stulova authored at least 13 papers between 2014 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Some trade-offs in reducing the overhead of assertion run-time checks via static analysis.
Sci. Comput. Program., 2018

An Approach to Static Performance Guarantees for Programs with Run-time Checks.
CoRR, 2018

Static Performance Guarantees for Programs with Runtime Checks.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

Exploiting Term Hiding to Reduce Run-Time Checking Overhead.
Proceedings of the Practical Aspects of Declarative Languages, 2018

Towards Static Performance Guarantees for Programs with Run-Time Checks.
Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

2017
Term Hiding and its Impact on Run-time Check Simplification.
CoRR, 2017

Towards Run-time Checks Simplification via Term Hiding.
Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

On Improving Run-time Checking in Dynamic Languages.
Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

2016
Reducing the overhead of assertion run-time checks via static analysis.
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

2015
Practical run-time checking via unobtrusive property caching.
Theory Pract. Log. Program., 2015

2014
Towards Assertion-based Debugging of Higher-Order (C)LP Programs.
CoRR, 2014

An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs.
CoRR, 2014

Assertion-based Debugging of Higher-Order (C)LP Programs.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014


  Loading...