Dmitry Petrashko

According to our database, Dmitry Petrashko authored at least 5 papers between 2015 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Design and implementation of an optimizing type-centric compiler for a high-level language.

Dmitry Petrashko

PhD thesis, 2017

Miniphases: compilation using modular and efficient tree transformations.

Dmitry Petrashko, Ondrej Lhoták, Martin Odersky

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Implementing higher-kinded types in Dotty.

Martin Odersky, Guillaume Martres, Dmitry Petrashko

Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

Call graphs for languages with parametric polymorphism.

Dmitry Petrashko, Vlad Ureche, Ondrej Lhoták, Martin Odersky

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015

Efficient Lock-Free Work-Stealing Iterators for Data-Parallel Collections.

Aleksandar Prokopec, Dmitry Petrashko, Martin Odersky

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015