Loopy: Programmable and Formally Verified Loop Transformations

Abstract. This paper presents a system, Loopy, for programming loop transformations. Manual loop transformation can be tedious and errorprone, while fully automated methods do not guarantee improvements. Loopy takes a middle path: a programmer specifies a loop transformation at a high level, which is then carried out automatically by Loopy, and formally verified to guard against specification and implementation mistakes. Loopy’s notation offers considerable flexibility with assembling transformations, while automation and checking prevent errors. Loopy is implemented for the LLVM framework, building on a polyhedral compilation library. Experiments show substantial improvements over fully automated loop transformations, using simple and direct specifications

Effect of blood storage on electrolyte levels

Background: Blood transfusion can be an immediate life saving measure in several acute conditions such as hemorrhage and anemia. However, various post transfusion complications are observed in patients which may be associated with the storage conditions of the collected blood. Electrolytes play a major role in maintaining homeostasis within the cells. Potassium is the most important extracellular cation responsible for maintenance of the cell integrity. Prolonged and improper storage of blood can lead to leakage of electrolytes, thus changing the cell morphology. This can adversely affect the patients who receive such blood. This study helps us analyze the effect of blood storage on electrolyte levels.Methods: For the study, 10ml of blood was collected from 30 blood bags containing CPDA-1 at the time of blood donation from 30 different volunteers. This blood containing the CPDA-1 was divided into 5 parts of 2ml and each 2ml sample was stored in plain bulbs. All the samples were stored at 4°C. Samples were tested to check for changes in the electrolyte (Na+, K+, Cl-) levels on day 0, 3, 7, 14 and 21. ANOVA was used to calculate the variance in the electrolyte levels.Results: Average sodium level on day 0 was 152.9±3.8 mEq/l. There was a significant decrease and it was measured at 139.5±4.8 mEq/l on day 21. Average potassium level on day 0 was 4.2±0.4 mEq/l. A significant spike was observed in potassium levels. The final reading of potassium level on day 21 was 15.2±0.7 mEq/l. Average chloride level on day 0 was 71.9±6.6 mEq/l which significantly declined to 67±5.9 mEq/l.Conclusions: Though blood is stored in proper conditions, a biochemical change occurs within the cells due to prolonged storage and thus affects its viability

Simple and Fast Biased Locks

Locks are used to ensure exclusive access to shared memory locations. Unfortunately, lock operations are expensive, so much work has been done on optimizing their performance for common access patterns. One such pattern is found in networking applications, where there is a single thread dominating lock accesses. An important special case arises when a single-threaded program calls a thread-safe library that uses locks. An effective way to optimize the dominant-thread pattern is to "bias" the lock implementation so that accesses by the dominant thread have negligible overhead. We take this approach in this work: we simplify and generalize existing techniques for biased locks, producing a large design space with many trade-offs. For example, if we assume the dominant process acquires the lock infinitely often (a reasonable assumption for packet processing), it is possible to make the dominant process perform a lock operation without expensive fence or compare-and-swap instructions. This gives a very low overhead solution; we confirm its efficacy by experiments. We show how these constructions can be extended for lock reservation, re-reservation, and to reader-writer situations

Recency of immersion in L2 environment more important than L2 proficiency in speech segmentation

Speech segmentation is a language-specific skill: each language provides different cues for optimally segmenting the continuous speech stream into words. When exposed to a novel language, listeners have been shown to use those segmentation cues that they are familiar with from their native language (L1)

Leveraging Static Analysis Tools for Improving Usability of Memory Error Sanitization Compilers

Memory errors such as buffer overruns are notorious security vulnerabilities. There has been considerable interest in having a compiler to ensure the safety of compiled code either through static verification or through instrumented runtime checks. While certifying compilation has shown much promise, it has not been practical, leaving code instrumentation as the next best strategy for compilation. We term such compilers Memory Error Sanitization Compilers (MESCs). MESCs are available as part of GCC, LLVM and MSVC suites. Due to practical limitations, MESCs typically apply instrumentation indiscriminately to every memory access, and are consequently prohibitively expensive and practical to only small code bases. This work proposes a methodology that applies state-of-the-art static analysis techniques to eliminate unnecessary runtime checks, resulting in more efficient and scalable defenses. The methodology was implemented on LLVM\u27s Safecode, Integer Overflow, and Address Sanitizer passes, using static analysis of Frama-C and Codesurfer. The benchmarks demonstrate an improvement in runtime performance that makes incorporation of runtime checks a viable option for defenses

Environmental Effects on Corrosion Properties of Alloy 22

During the regulatory life of the Yucca Mountain High Level Nuclear Waste (HLNW) repository the primary engineered barrier that is to prevent release of radioactive material into the environment is proposed to be a Corrosion-Resistant Material (CRM) outer shell covering the Waste Package (WP) container. The current selection for the CRM is Alloy 22 (UNS N06022), a Ni-Cr-Mo-W-Fe alloy. Alloy 22 forms a defective chromic oxide passive film which results in excellent corrosion resistance; the presence of molybdenum in Alloy 22 offers corrosion resistance in reducing environments as well as oxidizing environments

Design, synthesis, and subtype selectivity of 3,6-disubstituted b-carbolines at Bz/GABA(A)ergic receptors. SAR and studies directed toward agents for treatment of alcohol abuse

A series of 3,6-disubstituted ß-carbolines was synthesized and evaluated for their in vitro affinities at axß3V2 GABAA/benzodiazepine receptor subtypes by radioligand binding assays in search of a1 subtype selective ligands to treat alcohol abuse. Analogues of ß-carboline-3-carboxylate-t-butyl ester (ßCCt, 1) were synthesized via a CDI-mediated process and the related 6-substituted ß-carboline-3-carboxylates 6 including WYS8 (7) were synthesized via a Sonogashira or Stille coupling processes from 6-iodo-ßCCt (5). The bivalent ligands of ßCCt (32 and 33) were also designed and prepared via a palladium-catalyzed homocoupling process to expand the structure-activity relationships (SAR) to larger ligands