Publication

Toward Interprocedural Pointer and Effect Analysis for Scala

Related publications (45)

Graph Chatbot

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.

Cross-Platform Language Design

Sébastien Jean R Doeraene

Programming languages are increasingly compiled to multiple runtimes, each featuring their own rich structures such as their object model. Furthermore, they need to interact with other languages targeting said runtimes. A language targeting only one runtim ...

EPFL2018

Atlas Polipilo, Ouest Lausannois

Dieter Dietz, Julien Lafontaine Carboni, Aurélie Dupuis

This course focuses on techniques and methods for an open and systematic compilation of images. Forms of visual information are major manifestations of a culture and will be explored in respect to their symbolic, intellectual or emotional power. All these ...

2018

Building Efficient Query Engines in a High-Level Language

Christoph Koch, Ioannis Klonatos, Amir Shaikhha

Abstraction without regret refers to the vision of using high-level programming languages for systems development without experiencing a negative impact on performance. A database system designed according to this vision offers both increased productivity ...

2016

Resource Management Processes of External Knowledge Resources: External Designers in Product Development Projects

Giada Baldessarelli

Resource management processes that lead to value creation for customers are not yet fully understood. This paper sheds light on managerial decisions regarding the processes of structuring, bundling and leveraging of external resources that possess knowledg ...

2016

Wikipedia's Miracle

Frédéric Kaplan, Nicolas Nova

Wikipedia has become the principle gateway to knowledge on the web. The doubts about information quality and the rigor of its collective negotiation process during its first couple of years have proved unfounded. Whether this delights or horrifies us, Wiki ...

EPFL PRESS2016

Cloaking using complementary media in the quasistatic regime

Hoài-Minh Nguyên

Cloaking using complementary media was suggested by Lai et al. in [8]. The study of this problem faces two difficulties. Firstly, this problem is unstable since the equations describing the phenomenon have sign changing coefficients, hence the ellipticity ...

2016

Knowledge Transfers through Diaspora Transnationalism and Return Migration: A Case Study of Indian Skilled Migrants

Gabriela Tejada Guerrero

The chapter is based on new empirical data collected through primary surveys and in-depth interviews with Indian skilled migrants in Europe and with returnees in India. The study found that Indian skilled professionals, scientists and students are contribu ...

Springer2016

ScalaDyno: Making Name Resolution and Type Checking Fault-tolerant

Martin Odersky, Vlad Ureche, Cédric Bastin

The ScalaDyno compiler plugin allows fast prototyping with the Scala programming language, in a way that combines the benefits of both statically and dynamically typed languages. Static name resolution and type checking prevent partially-correct code from ...

ACM2014

Building Efficient Query Engines in a High-Level Language

Christoph Koch, Ioannis Klonatos, Tiark Rompf, Hassan Chafi

In this paper we advocate that it is time for a radical rethinking of database systems design. Developers should be able to leverage high-level programming languages without having to pay a price in efficiency. To realize our vision of abstraction without ...

2014

Making sbt Macro-Aware

Eugene Burmako, Martin Nicolas Duhem

Macros made their first appearance as a fork of the Scala compiler and then as an experimental feature in the version 2.10.0 of Scala. Since macros are normal Scala functions that are executed by the compiler during the compilation of their clients, they c ...

2014