Publication

Comfusy: A Tool for Complete Functional Synthesis

Publications associées (26)

A Programming Model and Foundation for Lineage-Based Distributed Computation

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, or middleware, upon which to build data-centric distribute ...

Cambridge University Press2018

Structure of a dense release produced by varying initial conditions

Anton Schleiss, Mário Jorge Rodrigues Pereira Da Franca, Jessica Zordan

Buoyancy driven flows such as gravity currents, present in nature and human made applications, are conveyors of particles or dissolved substances for long distances with clear implications for the environment. This transport depends on the triggering condi ...

2018

Total Synthesis of Alstilobanine C, Undulifoline and Alstilobanine B

Nicolas David Gaeng

The total synthesis of pentacyclic monoterpene indole alkaloids is the focus of this thesis. Total syntheses of (±)-alstilobanine C, (±)-undulifoline and (±)-alstilobanine B, three natural products from the Ulean family of alkaloids, were accomplished. The ...

EPFL2018

Ordering Events Based on Intentionality in Cyber-Physical Systems

Jean-Yves Le Boudec, Simon Bliudze, Maaz Mashood Mohiuddin, Wajeb Saab

We consider cyber-physical systems (CPSs) comprising a central controller that might be replicated for high-reliability, and one or more process agents. The controller receives measurements from process agents, causing it to compute and issue setpoints tha ...

2018

Asperity-Level Origins of Transition from Mild to Severe Wear

Jean-François Molinari, Ramin Aghababaei, Tobias Brink

Wear is the inevitable damage process of surfaces during sliding contact. According to the well-known Archard’s wear law, the wear volume scales with the real contact area and as a result is proportional to the load. Decades of wear experiments, however, s ...

2018

Activism, Strategic Trading, and Liquidity

Pierre Collin Dufresne, Tao Li

We analyze dynamic trading by an activist investor who can expend costly effort to affect firm value. We obtain the equilibrium in closed form for a general activism technology, including both binary and continuous outcomes. Variation in parameters can pro ...

2018