Publication
Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries
Publications associées (40)
Yin-Yang: Concealing the Deep Embedding of DSLs
Martin Odersky, Christoph Koch, Amir Shaikhha, Sandro Stucki, Vojin Jovanovic, Vladimir Nikolaev
Deeply embedded domain-specific languages (EDSLs) intrinsically compromise programmer experience for improved program performance. Shallow EDSLs complement them by trading program performance for good programmer experience. We present Yin-Yang, a framework ...
Assoc Computing Machinery2015Abstraction without regret in database systems building: a manifesto
It has been said that all problems in computer science can be solved by adding another level of indirection, except for performance problems, which are solved by removing levels of indirection. Compilers are our tools for removing levels of indirection aut ...
2014Delite: A Compiler Architecture for Performance-Oriented Embedded Domain-Specific Languages
Martin Odersky, Tiark Rompf, Hassan Chafi
Developing high-performance software is a difficult task that requires the use of low-level, architecture-specific programming models (e.g., OpenMP for CMPs, CUDA for GPUs, MPI for clusters). It is typically not possible to write a single application that ...
Assoc Computing Machinery2014Forge: Generating a High Performance DSL Implementation from a Declarative Specification
Domain-specific languages provide a promising path to automatically compile high-level code to parallel, heterogeneous, and distributed hardware. However, in practice high performance DSLs still require considerable software expertise to develop and force ...
Assoc Computing Machinery2014Better Loop Fusion for LMS
This is my master thesis done at PPL in Stanford under the supervision of Prof. Kunle Olukotun. It improved LMS, a framework for embedding DSLs (domain-specific languages) into Scala which features many general optimizations that can be used by any DSLs fo ...
2014Representation of Medical Guidelines with a Computer Interpretable Model
Giovanni De Micheli, Alena Simalatsar, Wenqi You Dubout
Nowadays medical software is tightly coupled with medical devices that perform patient state monitoring and lately even some basic treatment procedures. Medical guidelines (GLs) can be seen as specification of a medical system which requires their computer ...
World Scientific Publ Co Pte Ltd2014Yin-Yang: Concealing the Deep Embedding of DSLs
Martin Odersky, Christoph Koch, Amir Shaikhha, Sandro Stucki, Vojin Jovanovic, Vladimir Nikolaev
Deeply embedded domain-specific languages (EDSLs) intrinsically compromise programmer experience for improved program performance. Shallow EDSLs complement them by trading program performance for good programmer experience. We present Yin-Yang, a framework ...
2014Yin-yang: concealing the deep embedding of DSLs
Martin Odersky, Christoph Koch, Amir Shaikhha, Sandro Stucki, Vojin Jovanovic, Vladimir Nikolaev
Deeply embedded domain-specific languages (EDSLs) intrinsically compromise programmer experience for improved program performance. Shallow EDSLs complement them by trading program performance for good programmer experience. We present Yin-Yang, a framework ...
ACM Press2014Functional synthesis for linear arithmetic and sets
Viktor Kuncak, Mikaël Mayer, Philippe Paul Henri Suter, Ruzica Piskac
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algorithms should behave in a predictable way—they should succeed for a well-defin ...
Springer Berlin Heidelberg2013Optimizing Data Structures in High-Level Programs New Directions for Extensible Compilers based on Staging
Martin Odersky, Tiark Rompf, Nada Amin, Vojin Jovanovic, Manohar Jonnalagedda
High level data structures are a cornerstone of modern programming and at the same time stand in the way of compiler optimizations. In order to reason about user or library-defined data structures, compilers need to be extensible. Common mechanisms to exte ...
Assoc Computing Machinery2013