bluuebunny/crossref_metadata_2025_split huggingface dataset:
Program equivalence for assisted grading of functional programs
Authors: Clune Joshua , Ramamurthy Vijay , Martins Ruben , Acar Umut A. 
Published: November 2020

In courses that involve programming assignments, giving meaningful feedback to students is an important challenge. Human beings can give useful feedback by manually grading the programs but this is a time-consuming, labor intensive, and usually boring process. Automatic graders can be fast and scale well but they usually provide poor feedback. Although there has been research on improving automatic graders, research on scaling and improving human grading is limited.
We propose to scale human grading by augmenting the manual grading process with an equivalence algorithm that can identify the equivalences between student submissions. This enables human graders to give targeted feedback for multiple student submissions at once. Our technique is conservative in two aspects. First, it identifies equivalence between submissions that are algorithmically similar, e.g., it cannot identify the equivalence between quicksort and mergesort. Second, it uses formal methods instead of clustering algorithms from the machine learning literature. This allows us to prove a soundness result that guarantees that submissions will never be clustered together in error. Despite only reporting equivalence when there is algorithmic similarity and the ability to formally prove equivalence, we show that our technique can significantly reduce grading time for thousands of programming submissions from an introductory functional programming course.
A type-and-effect system for object initialization
Authors: Liu Fengyun , Lhoták Ondřej , Biboudis Aggelos , Giarrusso Paolo G. , Odersky Martin 
Published: November 2020

Every newly created object goes through several initialization states: starting from a state where all fields are uninitialized until all of them are assigned. Any operation on the object during its initialization process, which usually happens in the constructor via
this
, has to observe the initialization states of the object for correctness, i.e. only initialized fields may be used. Checking safe usage of
this
statically, without manual annotation of initialization states in the source code, is a challenge, due to aliasing and virtual method calls on
this
.

Mainstream languages either do not check initialization errors, such as Java, C++, Scala, or they defend against them by not supporting useful initialization patterns, such as Swift. In parallel, past research has shown that safe initialization can be achieved for varying degrees of expressiveness but by sacrificing syntactic simplicity.

We approach the problem by upholding
local reasoning about initialization
which avoids whole-program analysis, and we achieve
typestate polymorphism
via subtyping. On this basis, we put forward a novel type-and-effect system that can effectively ensure initialization safety while allowing flexible initialization patterns. We implement an initialization checker in the Scala 3 compiler and evaluate on several real-world projects.
Do you have space for dessert? a verified space cost semantics for CakeML programs
Authors: Gómez-Londoño Alejandro , Åman Pohjola Johannes , Syeda Hira Taqdees , Myreen Magnus O. , Tan Yong Kiam 
Published: November 2020

Garbage collectors relieve the programmer from manual memory management, but lead to compiler-generated machine code that can behave differently (e.g. out-of-memory errors) from the source code. To ensure that the generated code behaves exactly like the source code, programmers need a way to answer questions of the form: what is a sufficient amount of memory for my program to never reach an out-of-memory error?
This paper develops a cost semantics that can answer such questions for CakeML programs. The work described in this paper is the first to be able to answer such questions with proofs in the context of a language that depends on garbage collection. We demonstrate that positive answers can be used to transfer liveness results proved for the source code to liveness guarantees about the generated machine code. Without guarantees about space usage, only safety results can be transferred from source to machine code.
Our cost semantics is phrased in terms of an abstract intermediate language of the CakeML compiler, but results proved at that level map directly to the space cost of the compiler-generated machine code. All of the work described in this paper has been developed in the HOL4 theorem prover.
Programming at the edge of synchrony
Authors: Drăgoi Cezara , Widder Josef , Zufferey Damien 
Published: November 2020

Synchronization primitives for fault-tolerant distributed systems that ensure an effective and efficient cooperation among processes are an important challenge in the programming languages community. We present a new programming abstraction, ReSync, for implementing benign and Byzantine fault-tolerant protocols. ReSync has a new round structure that offers a simple abstraction for group communication, like it is customary in synchronous systems, but also allows messages to be received one by one, like in the asynchronous systems. This extension allows implementing network and algorithm-specific policies for the message reception, which is not possible in classic round models.The execution of ReSync programs is based on a new generic round switch protocol that generalizes the famous theoretical result about consensus in the presence of partial synchrony by of Dwork, Lynch, and Stockmeyer. We evaluate experimentally the performance of ReSync’s execution platform, by comparing consensus implementations in ReSync with LibPaxos3, etcd, and Bft-SMaRt, three consensus libraries tolerant to benign, resp. byzantine faults.
Solid Pseudopapillary Neoplasms Are Rare, Indolent Pancreatic Tumors in Young Women
Authors: Dalili Amin , Aliakbarian Mohsen , Karimi-Shahri Mehdi , Samadi Alireza , Raji Sara 
Published: November 2020

Introduction. Solid pseudopapillary neoplasm (SPN) is a rare and indolent pancreatic tumor with low malignant potential which frequently occurs in reproductive-age females. Complete resection is almost always the curative option. Case Presentation. We present a 20-year-old woman with acute epigastric pain and vomiting in multiple episodes. Abdominal ultrasound showed a hypoechoic lesion with the probable source in the pancreas. Following that, CT scans and Endoscopic Ultrasound (EUS) manifested a

9
×
7.5

cm

-sized hypodense mass with heterogeneous well-defined margins in the pancreas suggesting the diagnosis of SPN. Whipple’s procedure was performed. Histopathological examination and immunohistochemistry confirmed SPN without evidence of malignancy. Discussion. SPN is known as a tumor with a favorable prognosis and a long survival rate after complete resection. However, some literature focused on minimally invasive surgery as an alternative surgical approach.
Colon Adenocarcinoma during Pregnancy: A Case Report and Review of the Literature
Authors: Petruzzelli Paolo , Zizzo Roberto , Tavassoli Elisabetta , Sutera Miriam , Tin Michela Chiadò Fiorio , Petruzzelli Luca , Benedetto Mariachiara , D’Anna Maria Rosa , De Paolis Paolo , Menato Guido 
Published: November 2020

Colorectal cancer (CRC) during pregnancy presents an estimated incidence of 1 : 13,000, and it is associated with diagnostic and therapeutic challenges. Here, we present the case of a 38-year-old woman, 25 weeks and 5 days pregnant, who was transferred to our Obstetrics and Gynecology Department from a local hospital with the diagnosis of intestinal obstruction. Magnetic Resonance Imaging (MRI) showed marked distension with hydroaerial levels of the enterocolic loops upstream of a concentric parietal thickening of the descending colon, stenosing, extended longitudinally for about 4 cm. An exploratory laparotomy was performed with resection of the colon splenic flexure and mechanical end-terminal anastomosis. Histological examination of the operating piece highlighted the presence of moderately differentiated (G2) colon adenocarcinoma (stage pT3N1b). The operation was followed by a single course of oxaliplatin and 5-FU plus leukovorin. The patient had a vaginal delivery at

37

weeks
+
2

days of gestational age, following induction of labor and giving birth to a male infant whose weight was 2670 gr with apgar 9/9. We underline the pivotal role of attention to unspecific symptoms, early diagnosis, and active treatment in changing the clinical course of CRC.
Loss of Fbxw7 Impairs Development of and Induces Heterogeneous Tumor Formation in the Mouse Mammary Gland
Authors: Onoyama Ichiro , Nakayama Shogo , Shimizu Hideyuki , Nakayama Keiichi I. 
Published: November 2020

Abstract

Fbxw7 is an F-box protein that contributes to regulation of cell proliferation and cell fate determination as well as to tumor suppression in various tissues. In this study, we generated mice with mammary gland–specific ablation of Fbxw7 (Blg-Cre/Fbxw7F/F mice) and found that most neonates born to mutant dams die soon after birth as a result of defective maternal lactation. The mammary gland of mutant dams was markedly atrophic and manifested both excessive cell proliferation and apoptosis in association with the accumulation of Notch1 and p63. Despite the hypoplastic nature of the mutant mammary gland, Blg-Cre/Fbxw7F/F mice spontaneously developed mammary tumors that resembled basal-like carcinoma with marked intratumoral heterogeneity. Additional inactivation of Trp53 in Blg-Cre/Fbxw7F/F mice further promoted onset and development of mammary tumors, suggesting that spontaneous mutation of Trp53 may facilitate transition of hypoplastic mammary lesions to aggressive cancer in mice lacking Fbxw7. RNA-sequencing analysis of epithelial- and mesenchymal-like cell lines from a Blg-Cre/Fbxw7F/F mouse tumor revealed an increased mutation rate and structural alterations in the tumor and differential expression of upstream transcription factors including known targets of Fbxw7. Together, our results implicate Fbxw7 in the regulation of cell differentiation and in tumor suppression in the mammary gland. Loss of Fbxw7 increases mutation rate and chromosome instability, activates signaling pathways governed by transcription factors regulated by Fbxw7, and triggers the development of mammary tumors with prominent heterogeneity.

Significance:
Mammary gland–specific ablation of Fbxw7 in mice results in defective gland development and spontaneous mammary tumor formation reminiscent of human basal-like carcinoma with intratumoral heterogeneity.
Neighborhood Social Environmental Factors and Breast Cancer Subtypes among Black Women
Authors: Qin Bo , Babel Riddhi A. , Plascak Jesse J. , Lin Yong , Stroup Antoinette M. , Goldman Noreen , Ambrosone Christine B. , Demissie Kitaw , Hong Chi-Chen , Bandera Elisa V. , Llanos Adana A.M. 
Published: November 2020

Abstract

Background:
The disproportionate burden of more aggressive breast cancer subtypes among African American/Black women may stem from multilevel determinants. However, data are limited regarding the impacts of neighborhood social environmental characteristics among Black women.

Methods:
We evaluated the association between neighborhood-level socioeconomic status (nSES) and breast cancer subtypes in the Women's Circle of Health and Women's Circle of Health Follow-up Study, which included 1,220 Black women diagnosed from 2005 to 2017 with invasive breast cancer. nSES at diagnosis was measured using NCI's census tract-level SES index. We used multilevel multinomial logistic regression models to estimate the association of nSES with breast cancer subtypes [triple-negative breast cancer (TNBC), HER2-positive vs. luminal A], adjusting for individual-level SES, body mass index, and reproductive factors. We tested for interactions by neighborhood racial composition.

Results:
Compared with census tracts characterized as high nSES, the relative risk ratios (RRR) for TNBC were 1.81 [95% confidence interval (CI): 1.20–2.71] and 1.95 (95% CI: 1.27–2.99) for women residing in areas with intermediate and low nSES, respectively (Ptrend = 0.002). Neighborhood racial composition modified the association between nSES and TNBC; the highest relative risk of TNBC was among women residing in low nSES areas with low proportions of Black residents.

Conclusions:
Black women residing in socioeconomically disadvantaged neighborhoods may have an increased risk of TNBC, particularly in areas with lower proportions of Black residents.

Impact:
Places people live may influence breast tumor biology. A deeper understanding of multilevel pathways contributing to tumor biology is needed.
Multiorgan Signaling Mobilizes Tumor-Associated Erythroid Cells Expressing Immune Checkpoint Molecules
Authors: Sano Yasuyo , Yoshida Toshimi , Choo Min-Kyung , Jiménez-Andrade Yanek , Hill Kathryn R. , Georgopoulos Katia , Park Jin Mo 
Published: November 2020

Abstract

Hematopoietic-derived cells are integral components of the tumor microenvironment and serve as critical mediators of tumor–host interactions. Host cells derived from myeloid and lymphoid lineages perform well-established functions linked to cancer development, progression, and response to therapy. It is unclear whether host erythroid cells also contribute to shaping the path that cancer can take, but emerging evidence points to this possibility. Here, we show that tumor-promoting environmental stress and tumor-induced hemodynamic changes trigger renal erythropoietin production and erythropoietin-dependent expansion of splenic erythroid cell populations in mice. These erythroid cells display molecular features indicative of an immature erythroid phenotype, such as the expression of both CD71 and TER119 and the retention of intact nuclei, and express genes encoding immune checkpoint molecules. Nucleated erythroid cells with similar properties are present in mouse and human tumor tissues. Antibody-mediated erythropoietin blockade reduces tumor-responsive erythroid cell induction and tumor growth. These findings reveal the potential of tumor-induced erythropoietin and erythroid cells as targets for cancer treatment.

Implications
: Our study identifies erythropoietin and erythroid cells as novel players in tumor–host interactions and highlights the involvement of multiorgan signaling events in their induction in response to environmental stress and tumor growth.
Beat-by-Beat Cardiomyocyte T-Tubule Deformation Drives Tubular Content Exchange
Authors: Rog-Zielinska Eva A. , Scardigli Marina , Peyronnet Remi , Zgierski-Johnston Callum M. , Greiner Joachim , Madl Josef , O’Toole Eileen T. , Morphew Mary , Hoenger Andreas , Sacconi Leonardo , Kohl Peter 
Published: November 2020

Rationale:
The sarcolemma of cardiomyocytes contains many proteins that are essential for electromechanical function in general, and excitation-contraction coupling in particular. The distribution of these proteins is nonuniform between the bulk sarcolemmal surface and membrane invaginations known as transverse tubules (TT). TT form an intricate network of fluid-filled conduits that support electromechanical synchronicity within cardiomyocytes. Although continuous with the extracellular space, the narrow lumen and the tortuous structure of TT can form domains of restricted diffusion. As a result of unequal ion fluxes across cell surface and TT membranes, limited diffusion may generate ion gradients within TT, especially deep within the TT network and at high pacing rates.

Objective:
We postulate that there may be an advective component to TT content exchange, wherein cyclic deformation of TT during diastolic stretch and systolic shortening serves to mix TT luminal content and assists equilibration with bulk extracellular fluid.

Methods and Results:
Using electron tomography, we explore the 3-dimensional nanostructure of TT in rabbit ventricular myocytes, preserved at different stages of the dynamic cycle of cell contraction and relaxation. We show that cellular deformation affects TT shape in a sarcomere length-dependent manner and on a beat-by-beat time-scale. Using fluorescence recovery after photobleaching microscopy, we show that apparent speed of diffusion is affected by the mechanical state of cardiomyocytes, and that cyclic contractile activity of cardiomyocytes accelerates TT diffusion dynamics.

Conclusions:
Our data confirm the existence of an advective component to TT content exchange. This points toward a novel mechanism of cardiac autoregulation, whereby the previously implied increased propensity for TT luminal concentration imbalances at high electrical stimulation rates would be countered by elevated advection-assisted diffusion at high mechanical beating rates. The relevance of this mechanism in health and during pathological remodeling (eg, cardiac hypertrophy or failure) forms an exciting target for further research.
Effect of Post-splenectomy Booster Vaccine Program on Vaccination Compliance in Trauma Patients
Authors: Gonzalez Robert A. , Robbins Justin M. , Garwe Tabitha , Stewart Kenneth E. , Sarwar Zoona , Cross Alisa M. , Celii Amanda M. , Albrecht Roxie M. 
Published: November 2020

Objective In 2012, the Centers for Disease Control and Prevention (CDC) Advisory Council on Immunization Practice recommended an additional post-splenectomy booster vaccine at 8 weeks following the initial vaccine. The objective of this study was to evaluate our vaccination compliance rate and what sociodemographic factors were associated with noncompliance following this recommendation. Materials and Methods A retrospective review of a performance improvement database of trauma patients eligible for post-splenectomy vaccination (PSV) at a level I trauma center was carried out between 2009 and 2018. Overall and institutional compliance with PSV was compared before and after the addition of booster vaccine recommendation. Factors associated with booster noncompliance were also identified. Results A total of 257 patients were identified. PSV compliance rate in the pre-booster was 98.4%, while overall and institutional post-booster compliance rate were significantly lower at 66.9% ( P ≤ .001) and 50.0% ( P ≤ .001), respectively. Compared to booster institutional compliers, institutional noncompliers lived farther from the trauma center (48 vs. 86 miles, P = .02), and though not statistically significant, these patients were generally older (34.9 vs. 40.5, P = .05). Discussion PSV booster compliance is low even with the current educational materials and recommendations. Additional approaches to improve compliance rates need to be implemented, such as sending letters to the patient and their primary care providers (PCPs), collaborating with rehab/long-term acute care centers, communicating with city and county health departments and city pharmacies, or mirroring other countries and creating a national database for asplenic patients to provide complete information.
Clinical Score Predicting Overall Survival After Surgery for Synchronous Metastatic Adrenocortical Carcinoma: A Surveillance, Epidemiology, and End Result-Based Study
Authors: Wu Kan , Liu Zhihong , Li Xiang , Lu Yiping 
Published: November 2020

Surgery remains the only potential option for prolonging survival in synchronous metastatic adrenocortical carcinoma (ACC). The purpose of this study is to identify patients who may benefit from adrenalectomy. Using the Surveillance, Epidemiology, and End Results (SEER) database (2010-2015), we identified synchronous metastatic ACC patients who underwent adrenalectomy. Cox regression analysis was performed to identify prognostic factors associated with overall survival. A clinical scoring system was created to predict survival after surgery. Sixty-two patients underwent adrenalectomy for synchronous metastatic ACC. Median age was 54.5 years. Median overall survival was 12 months. In univariable analysis revealed that age 65≥years, tumor stage: T3/4, multiple metastases, liver metastases, and no chemotherapy were associated with poor survival. In the multivariable Cox analysis, liver metastases ( P = .017) and no chemotherapy ( P = .039) remained independent predictors of worse prognosis. A clinical scoring system including of 1-point each for the 2 predictors demonstrated good discrimination in predicting survival after adrenalectomy (3-year survival: 45.9% for 0 points and 0% for 1 or 2 points; P < .001, area under the curve = .78). Prolonged survival after adrenalectomy combined with chemotherapy can be potentially achieved in synchronous metastatic ACC patients without liver metastases. Patients with liver metastases should be carefully evaluated for surgery.
Initiation of an Intraoperative Radiotherapy Program at a Safety net Hospital: What Is the Impact of an Intraoperative Radiotherapy Program in Underserved Patients With Early Breast Cancer?
Authors: Lalchandani Priti , Sila Chad , Ozao-Choy Junko , Dauphine Christine 
Published: November 2020

Background Intraoperative radiotherapy (IORT) can allow for single-dose radiation treatment following breast conservation therapy in low-risk patients with early breast cancer, in lieu of a traditional 6-week course of whole breast radiotherapy (WBRT). The objective of this study was to analyze the uptake and utilization of an IORT program in a safety-net hospital. Materials and Methods A retrospective review was conducted for all patients who underwent IORT from September 2014 to June 2018. Patient demographics, tumor characteristics, and IORT outcomes were analyzed. The proportion of patients undergoing IORT were determined to assess utilization and uptake. Results There were 27 female patients that received IORT, 23 (85.2%) of which required no further radiotherapy. Three (7.4%) patients had positive axillary lymph nodes and/or positive margins requiring subsequent WBRT. One patient (3.7%) developed an in-breast recurrence distant from the lumpectomy site 23 months after IORT. Ten patients (37.0%) developed a postoperative complication, including 5 seromas and 6 wound complications (superficial infections and/or wound necrosis). Overall, in the 46-month study period, IORT accounted for only 6.4% of 423 operations. Still, 27 of 29 (93.1%) patients who met eligibility criteria for IORT underwent the procedure. Discussion Although IORT comprised only 6.4% of all cases due to higher rates of mastectomy rates and advanced disease in our population, there was a high uptake of IORT among patients who met eligibility criteria for the procedure. Major complication rates of IORT were low, and most patients successfully completed radiotherapy in 1 intraoperative dose.