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

Alessandro Pau, Federico Alberto Alfredo Felici, 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 ...

ELSEVIER SCIENCE SA2023

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. Size-aware sharding distributes requests for keys to cores according to the si ...

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

Thanh Trung Huynh, 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 ...

ASSOC COMPUTING MACHINERY2019

Traffic Locality as an Opportunity in the Data Center

Jonas Fietz

In large scale data centers, network infrastructure is becoming a major cost component; as a result, operators are trying to reduce expenses, and in particular lower the amount of hardware needed to achieve their performance goals (or to improve the perfor ...

EPFL2019

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

The Operational Semantics and Implementation of a Core Dart language

Zhivka Gucevska

In this report we present the specification of the operational semantics of Dart Kernel and a reference implementation of Dart Kernel in Dart. We design a CESK-like machine to specify the operational semantics of Dart Kernel and we implement an interpreter ...

2017

Multi-machine analysis of termination scenarios, providing the specifications for controlled shutdown of ITER discharges

Olivier Sauter, Sun Hee Kim, Francesca Maria Poli, Anna Teplukhina

The task is to show that the specific ITER design features allow a stable well-controlled termination. This is a joint effort in control, exception handling development and physics modelling. Relevant for ITER is to maintain vertical, radial position, and ...

2016

Semantics-Driven Interoperability between Scala.js and JavaScript

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

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

Exception handling

Formal Foundations of Capture Tracking

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

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

User Guidance for Efficient Fact Checking

User Guidance for Efficient Fact Checking

Traffic Locality as an Opportunity in the Data Center

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

The Operational Semantics and Implementation of a Core Dart language

Multi-machine analysis of termination scenarios, providing the specifications for controlled shutdown of ITER discharges

Semantics-Driven Interoperability between Scala.js and JavaScript

Graph Chatbot

Chat with Graph Search

Formal Foundations of Capture Tracking

The Operational Semantics and Implementation of a Core Dart language

Multi-machine analysis of termination scenarios, providing the specifications for controlled shutdown of ITER discharges

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

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

User Guidance for Efficient Fact Checking

User Guidance for Efficient Fact Checking

Traffic Locality as an Opportunity in the Data Center

Semantics-Driven Interoperability between Scala.js and JavaScript

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