Tiark Rompf
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Advanced Database Systems and Queries, Formal Methods in Verification, Distributed and Parallel Computing Systems
Most-Cited Works
- → Lightweight modular staging(2010)275 cited
- → A Heterogeneous Parallel Framework for Domain-Specific Languages(2011)185 cited
- → Delite(2014)170 cited
- OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning(2011)
- → Language virtualization for heterogeneous parallel computing(2010)100 cited
- → Building efficient query engines in a high-level language(2014)99 cited
- → Optimizing data structures in high-level programs(2013)94 cited
- → Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform(2009)93 cited
- → Implementing Domain-Specific Languages for Heterogeneous Parallel Computing(2011)85 cited