Publications related to Exception handling

Formal Foundations of Capture Tracking

Type systems are a device for verifying properties of programs without running them. Many programming languages used in the industry have always had a type system, while others were initially created without a type system and later adopted one, when the ad ...

EPFL2024

Dynamic pulse scheduling in ASDEX Upgrade: Disruption avoidance and investigation of the H-Mode density limit

Federico Alberto Alfredo Felici, Alessandro Pau, Bernhard Sieglin

Operation of a tokamak device requires the coordinated operation of a multitude of systems. The sequence of operations during a discharge is both too complex and fast for human interaction. A common way of operation is a predefined sequence of operations w ...

2023

Size-aware Sharding For Improving Tail Latencies in In-memory Key-value Stores

Willy Zwaenepoel, Diego Didona

This paper introduces the concept of size-aware sharding to improve tail latencies for in-memory key-value stores, and describes its implementation in the Minos key-value store. ...

USENIX ASSOC2019

User Guidance for Efficient Fact Checking

Quoc Viet Hung Nguyen, Thành Tâm Nguyên

The Web constitutes a valuable source of information. In recent years, it fostered the construction of large-scale knowledge bases, such as Freebase, YAGO, and DBpedia. The open nature of the Web, with content potentially being generated by everyone, howev ...

2019

User Guidance for Efficient Fact Checking

Thành Tâm Nguyên, Thanh Trung Huynh, Quoc Viet Hung Nguyen

The Web constitutes a valuable source of information. In recent years, it fostered the construction of large-scale knowledge bases, such as Freebase, YAGO, and DBpedia. The open nature of the Web, with content potentially being generated by everyone, howev ...

ASSOC COMPUTING MACHINERY2019

Exploring manycore architectures for next-generation HPC systems through the MANGO approach

David Atienza Alonso, Marina Zapater Sancho, Arman Iranfar, Simone Libutti

The Horizon 2020 MANGO project aims at exploring deeply heterogeneous accelerators for use in High Performance Computing systems running multiple applications with different Quality of Service (QoS) levels. The main goal of the project is to exploit custom ...

ELSEVIER SCIENCE BV2018

About individual differences in vision

Michael Herzog, Gregory Francis, Lukasz Grzeczkowski, Aaron Michael Clarke, Fred Mast

In cognition, audition, and somatosensation, performance strongly correlates between different paradigms, which suggests the existence of common factors. In contrast, visual performance in seemingly very similar tasks, such as visual and bisection acuity, ...

Elsevier2017

Semantics-Driven Interoperability between Scala.js and JavaScript

Tobias Schlatter, Sébastien Jean R Doeraene, Nicolas Alexander Stucki

Hundreds of programming languages compile to JavaScript. Yet, most of them fail, at one level or another, to provide satisfactory interoperability with JavaScript APIs. This is limiting, as interoperability is at least required to manipulate web pages thro ...

Association for Computing Machinery2016

Do we need "more research" or better implementation through knowledge brokering?

Janet Gordon Hering

More research is needed is an iconic catchphrase used by scientists worldwide. Yet policy and management decisions are continually being made with variable levels of reliance on scientific knowledge. Funding agencies have provided incentives for knowledge ...

Springer2015

Parallel Preconditioners for Navier-Stokes Equations and Fluid-Structure Interaction Problems : Application to Hemodynamics

Gwenol Grandperrin

The Navier–Stokes equations play a key role in the modeling of blood flows in the vascular sys- tem. The cost for solving the 3D linear system obtained by Finite Element (FE) discretization of the equations, using tetrahedral unstructured meshes and time a ...

EPFL2013

Accelerating Interpolants

Viktor Kuncak, Hossein Hojjat

We present Counterexample-Guided Accelerated Abstraction Refinement (CEGAAR), a new algorithm for verifying infinite-state transition systems. CEGAAR combines interpolation-based predicate discovery in counterexample guided predicate abstraction with accel ...

2012

Speculative Linearizability

Rachid Guerraoui, Viktor Kuncak, Giuliano Losa

Linearizability is a key design methodology for reasoning about implementations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusion that operations execute sequentially and fault-free, despite the a ...

Assoc Computing Machinery2012

Atomic boxes: coordinated exception handling with transactional memory

Vincent Gramoli, Pascal Felber

In concurrent programs raising an exception in one thread does not prevent others from operating on an inconsistent shared state. Instead, exceptions should ideally be handled in coordination by all the threads that are affected by their cause. In this pap ...

2011

Parallel Algorithms for Fluid-Structure Interaction Problems in Haemodynamics

Alfio Quarteroni, Simone Deparis, Gilles Fourestey, Paolo Crosetto

The increasing computational load required by most applications and the limits in hardware performances affecting scientific computing contributed in the last decades to the development of parallel software and architectures. In Fluid-Structure Interaction ...

2011

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

Optimizing Higher-Order Functions in Scala

Iulian Dragos

Scala relies on libraries as the default mechanism for language extension. While this provides an elegant solution for growing the language, the performance penalty incurred by call-by-name parameters, boxing and anonymous functions is high. We show that i ...

2008