A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

Esophageal emergencies : WSES guidelines

The esophagus traverses three body compartments (neck, thorax, and abdomen) and is surrounded at each level by vital organs. Injuries to the esophagus may be classified as foreign body ingestion, caustic ingestion, esophageal perforation, and esophageal trauma. These lesions can be life-threatening either by digestive contamination of surrounding structures in case of esophageal wall breach or concomitant damage of surrounding organs. Early diagnosis and timely therapeutic intervention are the keys of successful management.Peer reviewe

The acute phase management of spinal cord injury affecting polytrauma patients: the ASAP study

Background: Few data on the management of acute phase of traumatic spinal cord injury (tSCI) in patients suffering polytrauma are available. As the therapeutic choices in the first hours may have a deep impact on outcome of tSCI patients, we conducted an international survey investigating this topic. Methods: The survey was composed of 29 items. The main endpoints of the survey were to examine: (1) the hemodynamic and respiratory management, (2) the coagulation management, (3) the timing of magnetic resonance imaging (MRI) and spinal surgery, (4) the use of corticosteroid therapy, (5) the role of intraspinal pressure (ISP)/spinal cord perfusion pressure (SCPP) monitoring and (6) the utilization of therapeutic hypothermia. Results: There were 171 respondents from 139 centers worldwide. A target mean arterial pressure (MAP) target of 80–90 mmHg was chosen in almost half of the cases [n = 84 (49.1%)]. A temporary reduction in the target MAP, for the time strictly necessary to achieve bleeding control in polytrauma, was accepted by most respondents [n = 100 (58.5%)]. Sixty-one respondents (35.7%) considered acceptable a hemoglobin (Hb) level of 7 g/dl in tSCI polytraumatized patients. An arterial partial pressure of oxygen (PaO2) of 80–100 mmHg [n = 94 (55%)] and an arterial partial pressure of carbon dioxide (PaCO2) of 35–40 mmHg [n = 130 (76%)] were chosen in most cases. A little more than half of respondents considered safe a platelet (PLT) count > 100.000/mm3 [n = 99 (57.9%)] and prothrombin time (PT)/activated partial thromboplastin time (aPTT) < 1.5 times the normal control [n = 85 (49.7%)] in patients needing spinal surgery. MRI [n = 160 (93.6%)] and spinal surgery [n = 158 (92.4%)] should be performed after intracranial, hemodynamic, and respiratory stabilization by most respondents. Corticosteroids [n = 103 (60.2%)], ISP/SCPP monitoring [n = 148 (86.5%)], and therapeutic hypothermia [n = 137 (80%)] were not utilized by most respondents. Conclusions: Our survey has shown a great worldwide variability in clinical practices for acute phase management of tSCI patients with polytrauma. These findings can be helpful to define future research in order to optimize the care of patients suffering tSCI

It's time for a minimum synoptic operation template in patients undergoing laparoscopic cholecystectomy : a systematic review

Background Despite the call to enhance accuracy and value of operation records few international recommended minimal standards for operative notes documentation have been described. This study undertook a systematic review of existing operative reporting systems for laparoscopic cholecystectomy (LC) to fashion a comprehensive, synoptic operative reporting template for the future. Methods A search for all relevant articles was conducted using PubMed version of Medline, Scopus and Web of Science databases in June 2021, for publications from January 1st 2011 to October 25th 2021, using the keywords: laparoscopic cholecystectomy AND operation notes OR operative notes OR proforma OR documentation OR report OR narrative OR audio-visual OR synoptic OR digital. Two reviewers (NOC, GMC) independently assessed each published study using a MINORS score of >= 16 for comparative and >= 10 for non-comparative for inclusion. This systematic review followed PRISMA guidelines and was registered with PROSPERO. Synoptic operative templates from published data were assimilated into one "ideal" laparoscopic operative report template following international input from the World Society of Emergency Surgery board. Results A total of 3567 articles were reviewed. Following MINORS grading 25 studies were selected spanning 14 countries and 4 continents. Twenty-two studies were prospective. A holistic overview of the operative procedure documentation was reported in 6/25 studies and a further 19 papers dealt with selective surgical aspects of LC. A unique synoptic LC operative reporting template was developed and translated into Chinese/Mandarin, French and Arabic. Conclusion This systematic review identified a paucity of publications dealing with operative reporting of LC. The proposed new template may be integrated digitally with hospitals' medical systems and include additional narrative text and audio-visual data. The template may help define new OR (operating room) recording standards and impact on care for patients undergoing LC.Peer reviewe

Enhanced perioperative care in emergency general surgery:the WSES position paper

Enhanced perioperative care protocols become the standard of care in elective surgery with a significant improvement in patients' outcome. The key element of the enhanced perioperative care protocol is the multimodal and interdisciplinary approach targeted to the patient, focused on a holistic approach to reduce surgical stress and improve perioperative recovery. Enhanced perioperative care in emergency general surgery is still a debated topic with little evidence available. The present position paper illustrates the existing evidence about perioperative care in emergency surgery patients with a focus on each perioperative intervention in the preoperative, intraoperative and postoperative phase. For each item was proposed and approved a statement by the WSES collaborative group.</p

Acute diverticulitis in immunocompromised patients: evidence from an international multicenter observational registry (Web-based International Register of Emergency Surgery and Trauma, Wires-T)

Background: Immunocompromised patients with acute diverticulitis are at increased risk of morbidity and mortality. The aim of this study was to compare clinical presentations, types of treatment, and outcomes between immunocompromised and immunocompetent patients with acute diverticulitis. Methods: We compared the data of patients with acute diverticulitis extracted from the Web-based International Registry of Emergency Surgery and Trauma (WIRES-T) from January 2018 to December 2021. First, two groups were identified: medical therapy (A) and surgical therapy (B). Each group was divided into three subgroups: nonimmunocompromised (grade 0), mildly to moderately (grade 1), and severely immunocompromised (grade 2). Results: Data from 482 patients were analyzed—229 patients (47.5%) [M:F = 1:1; median age: 60 (24–95) years] in group A and 253 patients (52.5%) [M:F = 1:1; median age: 71 (26–94) years] in group B. There was a significant difference between the two groups in grade distribution: 69.9% versus 38.3% for grade 0, 26.6% versus 51% for grade 1, and 3.5% versus 10.7% for grade 2 (p &lt; 0.00001). In group A, severe sepsis (p = 0.027) was more common in higher grades of immunodeficiency. Patients with grade 2 needed longer hospitalization (p = 0.005). In group B, a similar condition was found in terms of severe sepsis (p = 0.002), quick Sequential Organ Failure Assessment score &gt; 2 (p = 0.0002), and Mannheim Peritonitis Index (p = 0.010). A Hartmann’s procedure is mainly performed in grades 1–2 (p &lt; 0.0001). Major complications increased significantly after a Hartmann’s procedure (p = 0.047). Mortality was higher in the immunocompromised patients (p = 0.002). Conclusions: Immunocompromised patients with acute diverticulitis present with a more severe clinical picture. When surgery is required, immunocompromised patients mainly undergo a Hartmann’s procedure. Postoperative morbidity and mortality are, however, higher in immunocompromised patients, who also require a longer hospital stay

The acute phase management of spinal cord injury affecting polytrauma patients : the ASAP study

Publisher Copyright: © 2022, The Author(s).Background: Few data on the management of acute phase of traumatic spinal cord injury (tSCI) in patients suffering polytrauma are available. As the therapeutic choices in the first hours may have a deep impact on outcome of tSCI patients, we conducted an international survey investigating this topic. Methods: The survey was composed of 29 items. The main endpoints of the survey were to examine: (1) the hemodynamic and respiratory management, (2) the coagulation management, (3) the timing of magnetic resonance imaging (MRI) and spinal surgery, (4) the use of corticosteroid therapy, (5) the role of intraspinal pressure (ISP)/spinal cord perfusion pressure (SCPP) monitoring and (6) the utilization of therapeutic hypothermia. Results: There were 171 respondents from 139 centers worldwide. A target mean arterial pressure (MAP) target of 80–90 mmHg was chosen in almost half of the cases [n = 84 (49.1%)]. A temporary reduction in the target MAP, for the time strictly necessary to achieve bleeding control in polytrauma, was accepted by most respondents [n = 100 (58.5%)]. Sixty-one respondents (35.7%) considered acceptable a hemoglobin (Hb) level of 7 g/dl in tSCI polytraumatized patients. An arterial partial pressure of oxygen (PaO2) of 80–100 mmHg [n = 94 (55%)] and an arterial partial pressure of carbon dioxide (PaCO2) of 35–40 mmHg [n = 130 (76%)] were chosen in most cases. A little more than half of respondents considered safe a platelet (PLT) count > 100.000/mm3 [n = 99 (57.9%)] and prothrombin time (PT)/activated partial thromboplastin time (aPTT) < 1.5 times the normal control [n = 85 (49.7%)] in patients needing spinal surgery. MRI [n = 160 (93.6%)] and spinal surgery [n = 158 (92.4%)] should be performed after intracranial, hemodynamic, and respiratory stabilization by most respondents. Corticosteroids [n = 103 (60.2%)], ISP/SCPP monitoring [n = 148 (86.5%)], and therapeutic hypothermia [n = 137 (80%)] were not utilized by most respondents. Conclusions: Our survey has shown a great worldwide variability in clinical practices for acute phase management of tSCI patients with polytrauma. These findings can be helpful to define future research in order to optimize the care of patients suffering tSCI.Peer reviewe

Duodeno-pancreatic and extrahepatic biliary tree trauma: WSES-AAST guidelines

Duodeno-pancreatic and extrahepatic biliary tree injuries are rare in both adult and pediatric trauma patients, and due to their anatomical location, associated injuries are very common. Mortality is primarily related to associated injuries, but morbidity remains high even in isolated injuries. Optimal management of duodeno-bilio-pancreatic injuries is dictated primarily by hemodynamic stability, clinical presentation, and grade of injury. Endoscopic and percutaneous interventions have increased the ability to non-operatively manage these injuries. Late diagnosis and treatment are both associated to increased morbidity and mortality. Sequelae of late presentations of pancreatic injury and complications of severe pancreatic trauma are also increasingly addressed endoscopically and with interventional radiology procedures. However, for moderate and severe extrahepatic biliary and severe duodeno-pancreatic injuries, immediate operative intervention is preferred as associated injuries are frequent and commonly present with hemodynamic instability or peritonitis. The aim of this paper is to present the World Society of Emergency Surgery (WSES) and American Association for the Surgery of Trauma (AAST) duodenal, pancreatic, and extrahepatic biliary tree trauma management guidelines

Training curriculum in minimally invasive emergency digestive surgery : 2022 WSES position paper

Background Minimally invasive surgery (MIS), including laparoscopic and robotic approaches, is widely adopted in elective digestive surgery, but selectively used for surgical emergencies. The present position paper summarizes the available evidence concerning the learning curve to achieve proficiency in emergency MIS and provides five expert opinion statements, which may form the basis for developing standardized curricula and training programs in emergency MIS. Methods This position paper was conducted according to the World Society of Emergency Surgery methodology. A steering committee and an international expert panel were involved in the critical appraisal of the literature and the development of the consensus statements. Results Thirteen studies regarding the learning curve in emergency MIS were selected. All but one study considered laparoscopic appendectomy. Only one study reported on emergency robotic surgery. In most of the studies, proficiency was achieved after an average of 30 procedures (range: 20-107) depending on the initial surgeon's experience. High heterogeneity was noted in the way the learning curve was assessed. The experts claim that further studies investigating learning curve processes in emergency MIS are needed. The emergency surgeon curriculum should include a progressive and adequate training based on simulation, supervised clinical practice (proctoring), and surgical fellowships. The results should be evaluated by adopting a credentialing system to ensure quality standards. Surgical proficiency should be maintained with a minimum caseload and constantly evaluated. Moreover, the training process should involve the entire surgical team to facilitate the surgeon's proficiency. Conclusions Limited evidence exists concerning the learning process in laparoscopic and robotic emergency surgery. The proposed statements should be seen as a preliminary guide for the surgical community while stressing the need for further research.Peer reviewe

Diversity and ethics in trauma and acute care surgery teams: results from an international survey

Background: Investigating the context of trauma and acute care surgery, the article aims at understanding the factors that can enhance some ethical aspects, namely the importance of patient consent, the perceptiveness of the ethical role of the trauma leader, and the perceived importance of ethics as an educational subject. Methods: The article employs an international questionnaire promoted by the World Society of Emergency Surgery. Results: Through the analysis of 402 fully filled questionnaires by surgeons from 72 different countries, the three main ethical topics are investigated through the lens of gender, membership of an academic or non-academic institution, an official trauma team, and a diverse group. In general terms, results highlight greater attention paid by surgeons belonging to academic institutions, official trauma teams, and diverse groups. Conclusions: Our results underline that some organizational factors (e.g., the fact that the team belongs to a university context or is more diverse) might lead to the development of a higher sensibility on ethical matters. Embracing cultural diversity forces trauma teams to deal with different mindsets. Organizations should, therefore, consider those elements in defining their organizational procedures. Level of evidence: Trauma and acute care teams work under tremendous pressure and complex circumstances, with their members needing to make ethical decisions quickly. The international survey allowed to shed light on how team assembly decisions might represent an opportunity to coordinate team member actions and increase performance