Follow
Dmytro Petrashko
Dmytro Petrashko
PhD candidate
Verified email at epfl.ch
Title
Cited by
Cited by
Year
Miniphases: Compilation using modular and efficient tree transformations
D Petrashko, O Lhoták, M Odersky
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
212017
Efficient lock-free work-stealing iterators for data-parallel collections
A Prokopec, D Petrashko, M Odersky
2015 23rd Euromicro International Conference on Parallel, Distributed, and …, 2015
18*2015
Call Graphs for Languages with Parametric Polymorphism
D Petrashko, V Ureche, M Odersky, O Lhoták
Object-oriented Programming, Systems, Languages, and Applications, 394-409, 2016
172016
Implementing Higher-Kinded Types in Dotty
M Odersky, G Martres, D Petrashko
Scala Symposium, 51-60, 2016
152016
Design and implementation of an optimizing type-centric compiler for a high-level language
D Petrashko
EPFL, 2017
82017
A TASTY Alternative
M Odersky, E Burmako, D Petrashko
42016
SIP-20-Improved Lazy Vals Initialization
A Prokopec, D Petrashko, M Garcia, J Zaugg, H Plociniczak, V Klang, ...
Apr, 2021
22021
Tasty reference manual
M Odersky, E Burmako, D Petrashko
22016
Call-graph-based Optimizations in Scala
RM Beguet, NA Stucki, D Petrashko, M Odersky
12017
Auto-Collections for Scala
AVR Renucci, D Petrashko
12016
Delaying arrays
A Alfonso Peterssen, D Petrashko
2016
Common Subexpression Elimination in Dotty
AVR Renucci, D Petrashko, M Odersky
2015
Implementing Method Type Specialisation In Dotty
AJD Sikiaridis, D Petrashko, M Odersky
2015
BlitzViews-lazy parallel operations for Scala collections
A Angel, D Petrashko, M Odersky
2014
Operation fusion and deforestation for Scala
D Petrashko
The system can't perform the operation now. Try again later.
Articles 1–15