Dmitry Petrashko

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 4

Top Topics

Data Collections

Significantly Higher

Graph Representation

Multiresolution

Top Venues

Publications

Dmitry Petrashko, Ondrej Lhoták, Martin Odersky
Miniphases: compilation using modular and efficient tree transformations. PLDI (2017)
Martin Odersky, Guillaume Martres, Dmitry Petrashko
Implementing higher-kinded types in Dotty. SCALA@SPLASH (2016)
Dmitry Petrashko, Vlad Ureche, Ondrej Lhoták, Martin Odersky
Call graphs for languages with parametric polymorphism. OOPSLA (2016)
Aleksandar Prokopec, Dmitry Petrashko, Martin Odersky
Efficient Lock-Free Work-Stealing Iterators for Data-Parallel Collections. PDP (2015)