Parallel symbolic execution for automated real-world software testing S Bucur, V Ureche, C Zamfir, G Candea Proceedings of the sixth conference on Computer systems, 183-198, 2011 | 328 | 2011 |
RRB vector: a practical general purpose immutable sequence N Stucki, T Rompf, V Ureche, P Bagwell Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015 | 35 | 2015 |
Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations V Ureche, C Talau, M Odersky Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013 | 35 | 2013 |
Automating ad hoc data representation transformations V Ureche, A Biboudis, Y Smaragdakis, M Odersky Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015 | 19 | 2015 |
Call graphs for languages with parametric polymorphism D Petrashko, V Ureche, O Lhoták, M Odersky Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016 | 18 | 2016 |
Bridging islands of specialized code using macros and reified types N Stucki, V Ureche Proceedings of the 4th Workshop on Scala, 1-4, 2013 | 16 | 2013 |
Stagedsac: A case study in performance-oriented dsl development V Ureche, T Rompf, A Sujeeth, H Chafi, M Odersky Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and …, 2012 | 16 | 2012 |
Late data layout: unifying data representation transformations V Ureche, E Burmako, M Odersky Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014 | 12 | 2014 |
Improving the interoperation between generics translations V Ureche, M Stojanovic, R Beguet, N Stucki, M Odersky Proceedings of the Principles and Practices of Programming on The Java …, 2015 | 9 | 2015 |
Improving the Performance of Scala Collections with Miniboxing (EPFL-REPORT-200245) A Genêt, V Ureche, M Odersky LAMP, EPFL, 2014 | 6 | 2014 |
Yin-yang: Transparent deep embedding of dsls V Jovanovic, V Nikolaev, ND Pham, V Ureche, S Stucki, C Koch, ... Technical report, EPFL, 2013 | 5 | 2013 |
Compile-Time Type-Driven Data Representation Transformations in Object-Oriented Languages V Ureche EPFL, 2015 | 3 | 2015 |
Data-centric metaprogramming in object-oriented languages V Ureche Proceedings of the 10th Workshop on Implementation, Compilation …, 2015 | 1 | 2015 |
ScalaDyno: making name resolution and type checking fault-tolerant C Bastin, V Ureche, M Odersky Proceedings of the Fifth Annual Scala Workshop, 1-5, 2014 | 1 | 2014 |
Improving the Performance of Scala Collections with Miniboxing A Genêt, V Ureche, M Odersky | 1 | 2014 |
Additional Material for" Unifying Data Representation Transformations" V Ureche | | 2014 |
Scaladoc Diagrams for Class Hierarchies D Obrist | | 2012 |
Einstein's theory of gravitation R Tataroiu, AM Carp, V Ureche, S Bucur | | 2005 |
Cloud9 S Bucur, V Ureche, C Zamfir, G Candea | | |