Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version).

Architecture specifications such as Armv8-A and RISC-V are the ultimate foundation for software verification and the correctness criteria for hardware verification. They should define the allowed sequential and relaxed-memory concurrency behaviour of programs, but hitherto there has been no integration of full-scale instruction-set architecture (ISA) semantics with axiomatic concurrency models, either in mathematics or in tools. These ISA semantics can be surprisingly large and intricate, e.

Fungal Infections Are Not Associated with Increased Mortality in COVID-19 Patients Admitted to Intensive Care Unit (ICU).

Introduction: Fungal infection is a cause of increased morbidity and mortality in intensive care patients. Critically unwell patients are at increased risk of developing invasive fungal infections. COVID-19 patients in the intensive care unit (ICU) may be at a particularly high risk.

Respecting a patient's care needs after death.

The delivery of care to patients who have died is a nursing intervention that most nurses will have to perform at some time. This article aims not only to provide the rationale behind the care given to patients during last offices, but also to explore the professional, legal and ethical considerations that must be addressed within the provision of holistic care.