Publications associées à IRGC Guidelines for the Governance of Systemic Risks

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Synthesis from examples enables non-expert users to generate programs by specifying examples of their behavior. A domain-specific form of such synthesis has been recently deployed in a widely used spreadsheet software product. In this paper we contribute t ...

2017

Simplicitly: Foundations and Applications of Implicit Function Types

Martin Odersky, Fengyun Liu, Sandro Stucki, Olivier Eric Paul Blanvillain

Understanding a program entails understanding its context; dependencies, configurations and even implementations are all forms of contexts. Modern programming languages and theorem provers offer an array of constructs to define contexts, implicitly. Scala ...

2017

Synthesis and Reactivity of 1-Allenyltriazenes

Rosario Scopelliti, Kay Severin, Farzaneh Fadaei Tirani, Loïc Nicolas Jeanbourquin

1-Aryl-3,3-dialkyltriazenes have received considerable attention in the context of synthetic and medicinal chemistry. In contrast, the chemistry of other unsaturated triazenes is largely unexplored. The synthesis of 1-allenyltriazenes is described. This ne ...

American Chemical Society2017

SLA: to Sign or Not to Sign

Gil Regev, Alain Wegmann, Gorica Tapandjieva Sekulovska

We present our experience of a three-week fieldwork in the form of a contextual inquiry with a service manager at the EPFL IT department. During these three weeks, we encounter a refusal of a user committee to sign a service-level agreement (SLA). We descr ...

CEUR Workshop Proceedings2016

Call Graphs for Languages with Parametric Polymorphism

Martin Odersky, Vlad Ureche, Dmytro Petrashko

The performance of contemporary object oriented languages depends on optimizations such as devirtualization, inlining, and specialization, and these in turn depend on precise call graph analysis. Existing call graph analyses do not take advantage of the in ...

2016

Automating Grammar Comparison

Viktor Kuncak, Mikaël Mayer, Ravichandhran Kandhadai Madhavan

We consider from a practical perspective the problem of checking equivalence of context-free grammars. We present techniques for proving equivalence, as well as techniques for finding counter-examples that establish non-equivalence. Among the key building ...

2015

Automating Grammar Comparison

Viktor Kuncak, Mikaël Mayer, Ravichandhran Kandhadai Madhavan

Assoc Computing Machinery2015

Constructing Context-Aware Sentiment Lexicons with an Asynchronous Game with a Purpose

Boi Faltings, Claudiu-Cristian Musat, Marina Boia

One of the reasons sentiment lexicons do not reach human-level performance is that they lack the contexts that define the polarities of words. While obtaining this knowledge through machine learning would require huge amounts of data, context is commonsens ...

Springer-Verlag Berlin2014

Architecture Without Content 9: The Difficult Double

Dries Rodet, Giovanni Alessandro Piovene Porto Godi, Kersten Geers, Andrea Zanderigo, Jelena Pancevac

The culture of architecture is based on misunderstandings and tweaked stories. Bad reading, simplification and superficial interpretation of something far away, both in space and time, has been the engine of quite many of the avant-gardes of the recent pas ...

2014

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

IRGC Guidelines for the Governance of Systemic Risks

Adaptive Sequential Recommendation for Discussion Forums on MOOCs using Context Trees

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Simplicitly: Foundations and Applications of Implicit Function Types

Synthesis and Reactivity of 1-Allenyltriazenes

SLA: to Sign or Not to Sign

Call Graphs for Languages with Parametric Polymorphism

Automating Grammar Comparison

Automating Grammar Comparison

Constructing Context-Aware Sentiment Lexicons with an Asynchronous Game with a Purpose

Architecture Without Content 9: The Difficult Double

Graph Chatbot

Chattez avec Graph Search

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Adaptive Sequential Recommendation for Discussion Forums on MOOCs using Context Trees

Synthesis and Reactivity of 1-Allenyltriazenes

Architecture Without Content 9: The Difficult Double

Simplicitly: Foundations and Applications of Implicit Function Types

Call Graphs for Languages with Parametric Polymorphism

Automating Grammar Comparison

Automating Grammar Comparison

SLA: to Sign or Not to Sign

Constructing Context-Aware Sentiment Lexicons with an Asynchronous Game with a Purpose