Publications related to Continuation-passing style

Continuation Methods For Riemannian Optimization

Daniel Kressner, Axel Elie Joseph Séguin

Numerical continuation in the context of optimization can be used to mitigate convergence issues due to a poor initial guess. In this work, we extend this idea to Riemannian optimization problems, that is, the minimization of a target function on a Riemann ...

SIAM PUBLICATIONS2022

Accurate Profile Measurement of the low Intensity Secondary Beams in the CERN Experimental Areas

Inaki Ortega Ruiz

The CERN accelerators deliver a wide spectrum of secondary beams to the Experimental Areas. These beams are composed of hadrons, leptons, and heavy ions that can vary greatly in momentum (1 GeV/c to 400 GeV/c) and intensity (10^2 to 10^8 particles per seco ...

EPFL2018

Decomposition Strategies for Nonconvex Problems, a Parametric Approach

Jean-Hubert Hours

This thesis deals with the development of numerical methods for solving nonconvex optimisation problems by means of decomposition and continuation techniques. We first introduce a novel decomposition algorithm based on alternating gradient projections and ...

EPFL2016

Function Passing: A Model for Typed, Distributed Functional Programming

Heather Christine Klug, 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

Approximate cloaking for the full wave equation via change of variables: The Drude-Lorentz model

Hoài-Minh Nguyên

This paper concerns approximate cloaking by mapping for a full, but scalar wave equation, when one allows for physically relevant frequency dependence of the material properties of the cloak. The paper is a natural continuation of [20], but here we employ ...

Elsevier2016

Emissions scenarios without measures 1990-2030

Philippe Thalmann, Marc Vielle, Bettina Schäppi

The goal of this study is to estimate the net impact of all measures implemented in the context of the Swiss energy and climate policies on CO2 emissions from combustion processes between 1990 and 2030. The study provides a projection of CO2 emissions unti ...

INFRAS EPFL2016

Language Support for Distributed Functional Programming

Heather Christine Klug

Software development has taken a fundamental turn. Software today has gone from simple, closed programs running on a single machine, to massively open programs, patching together user experiences byway of responses received via hundreds of network requests ...

EPFL2015

Distributed Programming via Safe Closure Passing

Heather Christine Klug, Philipp Haller

Programming systems incorporating aspects of functional programming, e.g., higher-order func- tions, are becoming increasingly popular for large-scale distributed programming. New frameworks such as Apache Spark leverage functional techniques to provide hi ...

2015

CafeSat: a Modern SAT Solver for Scala

Régis William Blanc

We present CafeSat, a SAT solver written in the Scala programming language. CafeSat is a modern solver based on DPLL and featuring many state-of-the-art techniques and heuristics. It uses two-watched literals for Boolean constraint propagation, conflict-dr ...

ACM Press2013

Continuation of eigenvalues and invariant pairs for parameterized nonlinear eigenvalue problems

Daniel Kressner, Peter Cedric Effenberger

Invariant pairs have been proposed as a numerically robust means to represent and compute several eigenvalues along with the corresponding (generalized) eigenvectors for matrix eigenvalue problems that are nonlinear in the eigenvalue parameter. In this wor ...

Springer2011

JReq: Database Queries in Imperative Languages

Willy Zwaenepoel, Christopher Ming-Yee Iu, Emmanuel Cecchet

Instead of writing SQL queries directly, programmers often prefer writing all their code in a general purpose programming language like Java and having their programs be automatically rewritten to use database queries. Traditional tools such as object-rela ...

Springer Verlag2010

Database Queries in Java

Christopher Ming-Yee Iu

In conventional programming languages like Java, the interface for accessing databases is often inelegant. Typically, an entire separate database query language must be embedded inside a conventional programming language for programmers to access the full ...

EPFL2010

Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform

Martin Odersky, Tiark Rompf, Ingo Maier

We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement a simple type and effect system, which discriminates expressions with control eff ...

ACM2009

Existence And Stability Of High Frequency Standing Waves For A Nonlinear Schrodinger Equation

François Samer Genoud

This article is concerned with the existence and orbital stability of standing waves for a nonlinear Schrodinger equation (NLS) with a nonautonomous nonlinearity. It continues and concludes the series of papers [6, 7, 8]. In [6], the authors make use of a ...

2009

Théorie de bifurcation et de stabilité pour une équation de Schrödinger avec une non-linéarité compacte

François Samer Genoud

The nonlinear Schrödinger equation i∂tw + Δw +V(x)|w|p-1w = 0 w = w(t,x) : Ι × RN → C, N ≥ 2, (1) is studied, with p > 1, V : RN \ {0} → R and Ι ⊂ R an interval. The coefficient V is subject to various hypotheses. In particular, it is always assumed ...

EPFL2008

OpenDF – A Dataﬂow Toolset for Reconﬁgurable Hardware and Multicore Systems

Marco Mattavelli

This paper presents the OpenDF framework and recalls that dataﬂow programming was once invented to address the problem of parallel computing. We discuss the problems with an imperative style, von Neumann programs,and present what we believe are the advanta ...

2008

OpenDF - A Dataflow Toolset for Reconfigurable Hardware and Multicore Systems

Marco Mattavelli

This paper presents the OpenDF framework and recalls that dataflow programming was once invented to address the problem of parallel computing. We discuss the problems with an imperative style, von Neumann programs, and present what we believe are the advan ...

2008

Runtime Checking for Separation Logic

Viktor Kuncak

Separation logic is a popular approach for specifying properties of recursive mutable data structures. Several existing systems verify a subclass of separation logic specifications using static analysis techniques. Checking data structure specifications du ...

Springer2008

Continuations in the Java Virtual Machine

Iulian Dragos, Antonio Cunei

Continuations have received considerable attention lately as a possible solution to web application development. Other uses proposed in the past, such as cooperative threading, coroutines or writing iterators, made them an attractive feature of dynamically ...

Technische Universität Berlin2007