Person
Vlad Ureche
This person is no longer with EPFL
Related publications (13)
Call Graphs for Languages with Parametric Polymorphism
Martin Odersky, Vlad Ureche, Dmytro Petrashko
The performance of contemporary object oriented languages depends on optimizations such as devirtualization, inlining, and specialization, and these in turn depend on precise call graph analysis. Existing call graph analyses do not take advantage of the in ...
2016Improving the Interoperation between Generics Translations
Martin Odersky, Nicolas Alexander Stucki, Vlad Ureche, Romain Michel Beguet, Milos Stojanovic
Generics on the Java platform are compiled using the erasure transformation, which only supports by-reference values. This causes slowdowns when generics operate on primitive types, such as integers, as they have to be transformed into reference-based obje ...
ACM2015Compile-Time Type-Driven Data Representation Transformations in Object-Oriented Languages
High-level languages allow programmers to express data structures and algorithms that abstract over the type of data they handle. This improves code reuse and makes it possible to develop general-purpose libraries. Yet, data abstractions slow down program ...
EPFL2015Automating Ad hoc Data Representation Transformations
To maximize run-time performance, programmers often specialize their code by hand, replacing library collections and containers by custom objects in which data is restructured for efficient access. However, changing the data representation is a tedious and ...
Assoc Computing Machinery2015RRB Vector: A Practical General Purpose Immutable Sequence
Martin Odersky, Tiark Rompf, Nicolas Alexander Stucki, Vlad Ureche
State-of-the-art immutable collections have wildly differing performance characteristics across their operations, often forcing programmers to choose different collection implementations for each task. Thus, changes to the program can invalidate the choice ...
ACM2015ScalaDyno: Making Name Resolution and Type Checking Fault-tolerant
Martin Odersky, Vlad Ureche, Cédric Bastin
The ScalaDyno compiler plugin allows fast prototyping with the Scala programming language, in a way that combines the benefits of both statically and dynamically typed languages. Static name resolution and type checking prevent partially-correct code from ...
ACM2014Additional Material for "Unifying Data Representation Transformations"
This report shows an attempt to formalize the data representation transformation mechanism in the ``Unifying Data Representation Transformations'' paper. Since the mechanism described in the paper is targeted at the Scala programming language and the speci ...
2014Improving the Performance of Scala Collections with Miniboxing
Martin Odersky, Vlad Ureche, Aymeric Genet
Using generics, Scala collections can be used to store different types of data in a type-safe manner. Unfortunately, due to the erasure transformation, the performance of generics is degraded when storing primitive types, such as integers and floating poin ...
2014Late Data Layout: Unifying Data Representation Transformations
Martin Odersky, Eugene Burmako, Vlad Ureche
Values need to be represented differently when interacting with certain language features. For example, an integer has to take an object-based representation when interacting with erased generics, although, for performance reasons, the stack-based value re ...
ACM2014Miniboxing: Improving the Speed to Code Size Tradeoff in Parametric Polymorphism Translations
Martin Odersky, Vlad Ureche, Cristian Talau
Parametric polymorphism enables code reuse and type safety. Underneath the uniform interface exposed to programmers, however, its low level implementation has to cope with inherently non-uniform data: value types of different sizes and semantics (bytes, in ...
2013