Publication
IRGC Guidelines for the Governance of Systemic Risks
Related publications (32)
Adaptive Sequential Recommendation for Discussion Forums on MOOCs using Context Trees
Massive open online courses (MOOCs) have demonstrated growing popularity and rapid development in recent years. Discussion forums have become crucial components for students and instructors to widely exchange ideas and propagate knowledge. It is important ...
2017Proactive Synthesis of Recursive Tree-to-String Functions from Examples
Viktor Kuncak, Mikaël Mayer, Jad Hamza
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 ...
2017Simplicitly: 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 ...
2017Synthesis 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 Society2017SLA: 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 Proceedings2016Call 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 ...
2016Automating 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 ...
2015Automating 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 ...
Assoc Computing Machinery2015Constructing 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 Berlin2014Architecture 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