Program representation size in an intermediate language with intersection and union types

The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both terms and types. The CIL term representation duplicates portions of the program where intersection types are introduced and union types are eliminated. This duplication makes it easier to represent type information and to introduce customized data representations. However, duplication incurs compile-time space costs that are potentially much greater than are incurred in TILs employing type-level abstraction or quantification. In this paper, we present empirical data on the compile-time space costs of using CIL as an intermediate language. The data shows that these costs can be made tractable by using sufficiently fine-grained flow analyses together with standard hash-consing techniques. The data also suggests that non-duplicating formulations of intersection (and union) types would not achieve significantly better space complexity.National Science Foundation (CCR-9417382, CISE/CCR ESS 9806747); Sun grant (EDUD-7826-990410-US); Faculty Fellowship of the Carroll School of Management, Boston College; U.K. Engineering and Physical Sciences Research Council (GR/L 36963, GR/L 15685

Functioning without Closure: Type-Safe Customized Function Representations for Standard ML

The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representations. In this paper, we present empirical data comparing the relative efficacy of several different flow-based customization strategies for function representations. We develop a cost model to interpret dynamic counts of operations required for each strategy. In this cost model, customizing the representation of closed functions gives a 12--17% improvement on average over uniform closure representations, depending on the layout of the closure. We also present data on the relative effectiveness of various strategies for reducing representation pollution, i.e., situations where flow constraints require the representation of a value to be less efficient than it would be in ideal circumstances. For the benchmarks tested and the types of representation pollution detected by our compiler, the pollution removal strategies we consider often cost more in overhead than they gain via enabled customizations. Notable exceptions are selective defunctionalization, a function representation strategy that often achieves significant customization benefits via aggressive pollution removal, and a simple form of flow-directed inlining, in which pollution removal allows multiple functions to be inlined at the same call site

Languages

Abstract. The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both terms and types. The CIL term representation duplicates portions of the program where intersection types are introduced and union types are eliminated. This duplication makes it easier to represent type information and to introduce customized data representations. However, duplication incurs compiletime space costs that are potentially much greater than are incurred in TILs employing type-level abstraction or quantification. In this paper, we present empirical data on the compile-time space costs of using CIL as an intermediate language. The data shows that these costs can be made tractable by using sufficiently fine-grained flow analyses together with standard hash-consing techniques. The data also suggests that nonduplicating formulations of intersection (and union) types would no

Rectal 1% Tenofovir Gel Use Associates with Altered Epidermal Protein Expression

Abstract Rectal use of a 1% tenofovir (TFV) gel is currently being evaluated for HIV prevention. While careful assessment of mucosal safety of candidate microbicides is a primary concern, tools to assess mucosal toxicity are limited. Mass spectrometry-based proteomics is a sensitive and high-throughput technique that can provide in-depth information on inflammation processes in biological systems. In this study, we utilized a proteomics approach to characterize mucosal responses in study participants involved in a phase 1 clinical trial of a rectal TFV-based gel. Project Gel was a phase 1 randomized (1:1), double-blind, multisite, placebo-controlled trial in which 24 participants received rectal TFV or a universal placebo [hydroxyethyl cellulose (HEC)] over a course of 8 daily doses. Rectal mucosal swabs were collected after 0, 1, and 8 doses and were analyzed by label-free tandem mass spectrometry. Differential protein expression was evaluated using a combination of paired (time-effects) and unpaired (across study arm) t-tests, and multivariate [least absolute shrinkage and selection operator (LASSO)] modeling. Within the TFV arm, 7% (17/249, p < .05) and 10% (25/249, p < .05) of total proteins changed after 1 and 8 daily applications of TFV gel, respectively, compared to 3% (7/249, p < .05) and 6% (16/249, p < .05) in the HEC arm. Biofunctional analysis associated TFV use with a decrease in epidermal barrier proteins (adj. p = 1.21 × 10−10). Multivariate modeling identified 13 proteins that confidently separated TFV gel users (100% calibration and 96% cross-validation accuracy), including the epithelial integrity factors (FLMNB, CRNN, CALM), serpins (SPB13, SPB5), and cytoskeletal proteins (VILI, VIME, WRD1). This study suggested that daily rectal applications of a 1% TFV gel may be associated with mucosal proteome changes involving epidermal development. Further assessment of more extended use of TFV-gel is recommended to validate these initial associations