Efficient and Reasonable Object-Oriented Concurrency

Making threaded programs safe and easy to reason about is one of the chief difficulties in modern programming. This work provides an efficient execution model for SCOOP, a concurrency approach that provides not only data race freedom but also pre/postcondition reasoning guarantees between threads. The extensions we propose influence both the underlying semantics to increase the amount of concurrent execution that is possible, exclude certain classes of deadlocks, and enable greater performance. These extensions are used as the basis an efficient runtime and optimization pass that improve performance 15x over a baseline implementation. This new implementation of SCOOP is also 2x faster than other well-known safe concurrent languages. The measurements are based on both coordination-intensive and data-manipulation-intensive benchmarks designed to offer a mixture of workloads.Comment: Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE '15). ACM, 201

A\u27s from Zzzz\u27s? The Causal Effect of School Start Time on the Academic Achievement of Adolescents

Recent sleep research finds that many adolescents are sleep-deprived because of both early school start times and changing sleep patterns during the teen years. This study identifies the causal effect of school start time on academic achievement by using two policy changes in the daily schedule at the US Air Force Academy along with the randomized placement of freshman students to courses and instructors. Results show that starting the school day 50 minutes later has a significant positive effect on student achievement, which is roughly equivalent to raising teacher quality by one standard deviation. (JEL I23, J13

Best Books!

Scott West highlights bestsellers, award winners and diverse perspectives available to borrow from Roesch Library\u27s leisure reading collection

Reading at Roesch

Scott West highlights bestsellers, award winners and diverse perspectives available to borrow from Roesch Library\u27s leisure reading collection

The 10 Most Read Books in the Leisure Reading Collection

Read this list for reading recommendations. Some of the most popular books may surprise you

Summer Picks from Government Documents

Your tax dollars are at work 12 months a year at the Government Printing Office

Grammys of Govdocs: Journal presents the 2017 List of Notable Government Documents

On May 15, \u27Library Journal\u27 released its extensive and diverse Notable Government Documents list for 2017. Many are available in the University Libraries. Check them out

Curl Up with a Good Govdoc

The newest government documents are now on display for browsing and circulation in the northeast corner of the first floor by the newspapers, magazines and the reference collection

Big Cats and Stacks of Acts

As a partner in the Federal Depository Library Program for more than 50 years, the UD Libraries continuously receive new content for the government documents collections

The Latest from the Government Publishing Office

Roesch Library celebrates 50 years in the Federal Depository Library Program in 2019. Here\u27s a sampling of the latest additions from the Government Publishing Office