Search Results - "Belyakova, Julia"

Language Support for Generic Programming in Object-Oriented Languages: Design Challenges by Belyakova, Julia

“…It is generally considered that object-oriented (OO) languages provide weaker support for generic programming (GP) as compared with functional languages such…”
Get full text

Pitfalls of C# Generics and Their Solution Using Concepts by Belyakova, J., Mikhalkovich, S.

“…In comparison with Haskell type classes and C++ concepts, such object-oriented languages as C# and Java provide much limited mechanisms of generic programming…”
Get full text

Decidable Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions by Belyakova, Julia

“…Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs (FTfJP '19). ACM, New York, NY, USA, 2019, Article 3, 11 pages Semantic subtyping…”
Get full text

Generic Approach to Certified Static Checking of Module-like Constructs by Belyakova, Julia

“…In this paper we consider the problem of certified static checking of module-like constructs of programming languages. We argue that there are algorithms and…”
Get full text

Derivative-Guided Symbolic Execution by Yuan, Yongwei, Zhou, Zhe, Belyakova, Julia, Jagannathan, Suresh

“…We consider the formulation of a symbolic execution (SE) procedure for functional programs that interact with effectful, opaque libraries. Our procedure allows…”
Get full text

Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version) by Pelenitsyn, Artem, Belyakova, Julia, Chung, Benjamin, Tate, Ross, Vitek, Jan

“…As a scientific programming language, Julia strives for performance but also provides high-level productivity features. To avoid performance pathologies, Julia…”
Get full text

Just TYPEical: Visualizing Common Function Type Signatures in R by Moy, Cameron, Belyakova, Julia, Turcotte, Alexi, Bartolomeo, Sara Di, Dunne, Cody

“…Data-driven approaches to programming language design are uncommon. Despite the availability of large code repositories, distilling semantically-rich…”
Get full text

World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version) by Belyakova, Julia, Chung, Benjamin, Gelinas, Jack, Nash, Jameson, Tate, Ross, Vitek, Jan

“…Dynamic programming languages face semantic and performance challenges in the presence of features, such as eval, that can inject new code into a running…”
Get full text