Publications by Luis David Figueiredo Mascarenhas Moreira Pedrosa

Verifying Software Network Functions with No Verification Expertise

George Candea, Solal Vincenzo Pirelli, Rishabh Ramesh Iyer, Aikaterini Argyraki, Luis David Figueiredo Mascarenhas Moreira Pedrosa, Matteo Rizzo

We present the design and implementation of Vigor, a software stack and toolchain for building and running software network middleboxes that are guaranteed to be correct, while preserving competitive performance and developer productivity. Developers write ...

ACM2019

Analysis of deposited layers with deuterium and impurity elements on samples from the divertor of JET with ITER-like wall

Olivier Sauter, Ambrogio Fasoli, Basil Duval, Stefano Coda, Yves Martin, Jonathan Graves, Duccio Testa, Cristian Sommariva, Patrick Blanchard, Bruno Emanuel Ferreira De Sousa Correia

Inconel-600 blocks and stainless steel covers for quartz microbalance crystals from remote corners in the JET-ILW divertor were studied with time-of-flight elastic recoil detection analysis and nuclear reaction analysis to obtain information about the area ...

2019

Tritium distributions on W-coated divertor tiles used in the third JET ITER-like wall campaign

Olivier Sauter, Ambrogio Fasoli, Basil Duval, Stefano Coda, Yves Martin, Jonathan Graves, Duccio Testa, Cristian Sommariva, Bruno Emanuel Ferreira De Sousa Correia, Patrick Blanchard

Tritium (T) distributions on tungsten (W)-coated plasma-facing tiles used in the third ITER-like wall campaign (2015-2016) of the Joint European Torus (JET) were examined by means of an imaging plate technique and beta-ray induced x-ray spectrometry, and t ...

Elsevier2019

Population modelling of the He II energy levels in tokamak plasmas: I. Collisional excitation model

Olivier Sauter, Ambrogio Fasoli, Basil Duval, Stefano Coda, Yves Martin, Jonathan Graves, Duccio Testa, Cristian Sommariva, Patrick Blanchard, Bruno Emanuel Ferreira De Sousa Correia

Helium is widely used as a fuel or minority gas in laboratory fusion experiments, and will be present as ash in DT thermonuclear plasmas. It is therefore essential to have a good understanding of its atomic physics. To this end He II population modelling h ...

IOP Publishing2019

Performance Contracts for Software Network Functions

George Candea, Solal Vincenzo Pirelli, Rishabh Ramesh Iyer, Aikaterini Argyraki, Arseniy Zaostrovnykh, Luis David Figueiredo Mascarenhas Moreira Pedrosa

Software network functions (NFs), or middleboxes, promise flexibility and easy deployment of network services but face the serious challenge of unexpected performance behaviour. We propose the notion of a performance contract, a construct formulated in ter ...

USENIX ASSOC2019

Neutron spectroscopy measurements of 14 MeV neutrons at unprecedented energy resolution and implications for deuterium-tritium fusion plasma diagnostics

Olivier Sauter, Ambrogio Fasoli, Basil Duval, Stefano Coda, Yves Martin, Jonathan Graves, Duccio Testa, Cristian Sommariva, Bruno Emanuel Ferreira De Sousa Correia, Patrick Blanchard

An accurate calibration of the JET neutron diagnostics with a 14 MeV neutron generator was performed in the first half of 2017 in order to provide a reliable measurement of the fusion power during the next JET deuterium-tritium (DT) campaign. In order to m ...

IOP PUBLISHING LTD2018

Automated Synthesis of Adversarial Workloads for Network Functions

Rishabh Ramesh Iyer, Aikaterini Argyraki, Arseniy Zaostrovnykh, Jonas Fietz, Luis David Figueiredo Mascarenhas Moreira Pedrosa

Software network functions promise to simplify the deployment of network services and reduce network operation cost. However, they face the challenge of unpredictable performance. Given this performance variability, it is imperative that during deployment, ...

ACM2018

14 MeV calibration of JET neutron detectors-phase 1: calibration and characterization of the neutron source

Olivier Sauter, Ambrogio Fasoli, Basil Duval, Stefano Coda, Yves Martin, Jonathan Graves, Duccio Testa, Cristian Sommariva, Patrick Blanchard, Bruno Emanuel Ferreira De Sousa Correia

In view of the planned DT operations at JET, a calibration of the JET neutron monitors at 14 MeV neutron energy is needed using a 14 MeV neutron generator deployed inside the vacuum vessel by the JET remote handling system. The target accuracy of this cali ...

IOP Publishing Ltd2018

A Formally Verified NAT

George Candea, Solal Vincenzo Pirelli, Aikaterini Argyraki, Arseniy Zaostrovnykh, Luis David Figueiredo Mascarenhas Moreira Pedrosa

We present a Network Address Translator (NAT) written in C and proven to be semantically correct according to RFC 3022, as well as crash-free and memory-safe. There exists a lot of recent work on network verification, but it mostly assumes models of networ ...

Assoc Computing Machinery2017