Researcher profile

Stephen Dolan

Stephen Dolan contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2022arXiv

Adversarial methods to reduce simulation bias in neutrino interaction event filtering at Liquid Argon Time Projection Chambers

For current and future neutrino oscillation experiments using large Liquid Argon Time Projection Chambers (LAr-TPCs), a key challenge is identifying neutrino interactions from the pervading cosmic-ray background. Rejection of such background is often possible using traditional cut-based selections, but this typically requires the prior use of computationally expensive reconstruction algorithms. This work demonstrates an alternative approach of using a 3D Submanifold Sparse Convolutional Network trained on low-level information from the scintillation light signal of interactions inside LAr-TPCs. This technique is applied to example simulations from ICARUS, the far detector of the Short Baseline Neutrino (SBN) program at Fermilab. The results of the network, show that cosmic background is reduced by up to 76.3% whilst neutrino interaction selection efficiency remains over 98.9%. We further present a way to mitigate potential biases from imperfect input simulations by applying Domain Adversarial Neural Networks (DANNs), for which modified simulated samples are introduced to imitate real data and a small portion of them are used for adverserial training. A series of mock-data studies are performed and demonstrate the effectiveness of using DANNs to mitigate biases, showing neutrino interaction selection efficiency performances significantly better than that achieved without the adversarial training.

preprint2022arXiv

Parametrising CCQE uncertainties in the Spectral Function model for neutrino oscillation analyses

A substantial fraction of systematic uncertainties in neutrino oscillation experiments stems from the lack of precision in modeling the nucleus when describing the neutrino-nucleus interactions. The Spectral Function (SF) model features a distribution of momenta and removal energies of nucleons inside the nucleus within the shell-model picture, and also accounts for short-range correlations between nucleons. These characteristics offer significant improvements with respect to the more commonly used Fermi gas-based models. Electron scattering experiments offer a precise probe of the structure of the nucleus and have been used to both construct and validate the SF model. SF is thus an interesting reference model for long baseline neutrino experiments. Based on constraints from electron scattering data, we develop a set of parameters that can alter the occupancy of the nuclear shells and the distribution of the nucleon momentum within each shell. In addition, the impact of final-state interactions on the outgoing lepton and nucleon kinematics, the contribution of short-range correlations and the effect of Pauli blocking can also be modified. In this document, we will first describe the development of these parameters, partially based on a comparison with electron scattering data. We then show fits of these parameters to available T2K and MINER$ν$A cross-section data and discuss how they can be used to constrain the systematic uncertainties related to the SF model in neutrino oscillation analyses.

preprint2020arXiv

Implementation of the SuSAv2-MEC 1p1h and 2p2h models in GENIE and analysis of nuclear effects in T2K measurements

We first present the implementation and validation of the SuSAv2-MEC 1p1h and 2p2h models in the GENIE neutrino-nucleus interaction event generator and a comparison of the subsequent predictions to measurements of lepton and hadron kinematics from the T2K experiment. These predictions are also compared to those of other available models in GENIE. We additionally compare the semi-inclusive predictions of the implemented 1p1h model to those of the microscopic model on which SuSAv2 is based - Relativistic Mean Field (RMF) - to begin to test the validity of widely-used `factorisation' assumptions employed by generators to predict hadron kinematics from inclusive input models. The results highlight that a more precise treatment of hadron kinematics in generators is essential in order to attain the few-% level uncertainty on neutrino interactions necessary for the next generation of accelerator-based long-baseline neutrino oscillation experiments.

preprint2020arXiv

Repairing and Mechanising the JavaScript Relaxed Memory Model

Modern JavaScript includes the SharedArrayBuffer feature, which provides access to true shared memory concurrency. SharedArrayBuffers are simple linear buffers of bytes, and the JavaScript specification defines an axiomatic relaxed memory model to describe their behaviour. While this model is heavily based on the C/C++11 model, it diverges in some key areas. JavaScript chooses to give a well-defined semantics to data-races, unlike the "undefined behaviour" of C/C++11. Moreover, the JavaScript model is mixed-size. This means that its accesses are not to discrete locations, but to (possibly overlapping) ranges of bytes. We show that the model, in violation of the design intention, does not support a compilation scheme to ARMv8 which is used in practice. We propose a correction, which also incorporates a previously proposed fix for a failure of the model to provide Sequential Consistency of Data-Race-Free programs (SC-DRF), an important correctness condition. We use model checking, in Alloy, to generate small counter-examples for these deficiencies, and investigate our correction. To accomplish this, we also develop a mixed-size extension to the existing ARMv8 axiomatic model. Guided by our Alloy experimentation, we mechanise (in Coq) the JavaScript model (corrected and uncorrected), our ARMv8 model, and, for the corrected JavaScript model, a "model-internal" SC-DRF proof and a compilation scheme correctness proof to ARMv8. In addition, we investigate a non-mixed-size subset of the corrected JavaScript model, and give proofs of compilation correctness for this subset to x86-TSO, Power, RISC-V, ARMv7, and (again) ARMv8, via the Intermediate Memory Model (IMM). As a result of our work, the JavaScript standards body (ECMA TC39) will include fixes for both issues in an upcoming edition of the specification.

preprint2020arXiv

Retrofitting Parallelism onto OCaml

OCaml is an industrial-strength, multi-paradigm programming language, widely used in industry and academia. OCaml is also one of the few modern managed system programming languages to lack support for shared memory parallel programming. This paper describes the design, a full-fledged implementation and evaluation of a mostly-concurrent garbage collector (GC) for the multicore extension of the OCaml programming language. Given that we propose to add parallelism to a widely used programming language with millions of lines of existing code, we face the challenge of maintaining backwards compatibility--not just in terms of the language features but also the performance of single-threaded code running with the new GC. To this end, the paper presents a series of novel techniques and demonstrates that the new GC strikes a balance between performance and feature backwards compatibility for sequential programs and scales admirably on modern multicore processors.

preprint2020arXiv

The Only Undoable CRDTs are Counters

In comparing well-known CRDTs representing sets that can grow and shrink, we find caveats. In one, the removal of an element cannot be reliably undone. In another, undesirable states are attainable, such as when an element is present -1 times (and so must be added for the set to become empty). The first lacks a general-purpose undo, while the second acts less like a set and more like a tuple of counters, one per possible element. Using some group theory, we show that this trade-off is unavoidable: every undoable CRDT is a tuple of counters.

preprint2020arXiv

Treatment of flux shape uncertainties in unfolded, flux-averaged neutrino cross-section measurements

The exact way of treating flux shape uncertainties in unfolded, flux-averaged neutrino cross-section measurements can lead to subtle issues when comparing the results to model predictions. There is a difference between reporting a cross section in the (unknown) real flux, and reporting a cross section that was extrapolated from the (unknown) real flux to a fixed reference flux. A lot of (most?) current analyses do the former, while the results are compared to model predictions as if they were the latter. This leads to (part of) the flux shape uncertainty being ignored, potentially leading to wrong physics conclusions. The size of the effect is estimated to be sub-dominant, but non-negligible in two example measurements from T2K and MINERvA. This paper describes how the issue arises and provides instructions for possible ways how to treat the flux shape uncertainties correctly.