The use of shared mutable state, commonly seen in object-oriented systems, is often problematic due to the potential conflicting interactions between aliases to the same state. We present a substructural type system outfitted with a novel lightweight interference control mechanism, rely-guarantee protocols, that enables controlled aliasing of shared resources. By assigning each alias separate r...

Reasoning about concurrent programs can be very difficult due to the possibility of interference. The fundamental insight of Rely-Guarantee thinking is that developing concurrent designs can only be made compositional if the development method offers ways to record and reason about the interference that is inherent in concurrency. The original presentation of rely-guarantee rules used keywords ...

This paper revisits the construction of Universal One-Way Hash Functions (UOWHFs) from any one-way function due to Rompel (STOC 1990). We give a simpler construction of UOWHFs, which also obtains better efficiency and security. The construction exploits a strong connection to the recently introduced notion of inaccessible entropy (Haitner et al. STOC 2009). With this perspective, we observe tha...

The objective of this study was to analyze the viscous behavior during setting reaction resin composite cements and how it is influenced by temperature. Viscous properties auto-polymerization at 23°C three adhesive (Panavia V5 [PV5]; RelyX Ultimate [RUL]; Multilink Automix [MLA]) self-adhesive SA plus [PSA]; Unicem 2 [RUN]; SpeedCem [MSC]) were rheometrically measured. Changes in contact angle ...