6
Publications
315
Citations
6
H-Index
2011
Active since
Vlad Ureche is an author at École Polytechnique Fédérale de Lausanne specializing in computer science, engineering, and program analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisFormal MethodsSoftware AnalysisParallel ComputingComputer EngineeringCompilersParallel ProgrammingSoftware Engineering
Publications per year
2011–2015
6
6
Parallel symbolic execution for automated real-world software testing
Stefan Bucur, Vlad Ureche, Cristian Zamfir et al. · 2011 · 232 citations · Full text
New Test Cases, Cluster Computing, Parallel Symbolic Execution +23
Vlad Ureche, Cristian Talau, Martin Odersky · 2013 · 26 citations · Full text
High-level Programming Language, Engineering, Program Analysis +14
RRB vector: a practical general purpose immutable sequence
Nicolas Stucki, Tiark Rompf, Vlad Ureche et al. · 2015 · 23 citations · Full text
Automating ad hoc data representation transformations
Vlad Ureche, Aggelos Biboudis, Yannis Smaragdakis et al. · 2015 · 13 citations · Full text
Vlad Ureche, Eugene Burmako, Martin Odersky · 2014 · 11 citations · Full text
Rows per page
1–5 of 6