Publications related to LLVM | EPFL Graph Search

Automated Synthesis of Adversarial Workloads for Network Functions

Arseniy Zaostrovnykh, Rishabh Ramesh Iyer, Jonas Fietz, Luis David Figueiredo Mascarenhas Moreira Pedrosa

Software network functions promise to simplify the deployment of network services and reduce network operation cost. However, they face the challenge of unpredictable performance. Given this performance variability, it is imperative that during deployment, ...

ACM2018

Miniphases: Compilation using Modular and Efficient Tree Transformations

Martin Odersky, Dmytro Petrashko, Ondrej Lhoták

Production compilers commonly perform dozens of transformations on an intermediate representation. Running those transformations in separate passes harms performance. One approach to recover performance is to combine transformations by hand in order to red ...

Assoc Computing Machinery2017

Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations

Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux

Staging has proved a successful technique for programmatically removing code abstractions, thereby allowing for faster program execution while retaining a high-level interface for the programmer. Unfortunately, techniques based on staging suffer from a num ...

ACM2017

A TASTY Alternative

Martin Odersky, Eugene Burmako, Dmytro Petrashko

This document proposes a new serialization format for typed syntax trees of Scala programs. It aims to be ● compact: All numbers and references are length encoded, trees are inlined by default but may be shared. ● lazy: Trees can be explored from the top, ...

2016

Function Passing: A Model for Typed, Distributed Functional Programming

Philipp Haller, Jocelyn Boullier

The most successful systems for “big data” processing have all adopted functional APIs. We present a new programming model we call function passing designed to provide a more principled substrate on which to build data-centric distributed systems. A key id ...

Assoc Computing Machinery2016

Automating Ad hoc Data Representation Transformations

Martin Odersky, Vlad Ureche

To maximize run-time performance, programmers often specialize their code by hand, replacing library collections and containers by custom objects in which data is restructured for efficient access. However, changing the data representation is a tedious and ...

Assoc Computing Machinery2015

SméO, a sustainability assessment tool targeting the 2000 Watts society

Maria Gracia Riera Perez, Ulrich Joseph Jacques Liman

Switzerland has adopted the concept of the 2000 Watts society as a long term target, with an intermediate objective for 2050: a reduction of the average energy consumption per person from 6300 to 3500 watts, including a maximum of 2000 watts of non-renewab ...

2014

Scala AST Persistence

Adrien Ghosn, Eugene Burmako, Mathieu Baptiste Demarne

The Scala compiler uses ASTs (abstract syntax trees) as an intermediate representation before generating bytecode. With the development of Scala macros which expand trees at compile time, being able to access, modify and recompose ASTs within the compilati ...

2014

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

LLVM

Automated Synthesis of Adversarial Workloads for Network Functions

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

Miniphases: Compilation using Modular and Efficient Tree Transformations

Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations

A TASTY Alternative

Function Passing: A Model for Typed, Distributed Functional Programming

Automating Ad hoc Data Representation Transformations

SméO, a sustainability assessment tool targeting the 2000 Watts society

Scala AST Persistence

Towards an innovative temporary event structure based on bioclimatic principles

Graph Chatbot

Chat with Graph Search

A TASTY Alternative

Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations

Function Passing: A Model for Typed, Distributed Functional Programming

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

Towards an innovative temporary event structure based on bioclimatic principles

Automating Ad hoc Data Representation Transformations

Automated Synthesis of Adversarial Workloads for Network Functions

Miniphases: Compilation using Modular and Efficient Tree Transformations

SméO, a sustainability assessment tool targeting the 2000 Watts society

Scala AST Persistence