Eventually Consistent Transactions - Burckhardt et al. 2012 There's another ECOOP'15 paper I'd like to cover this week - Burckhardt et al.'s "Global Sequence Protocol." But that paper builds on the notion of Cloud Types (similar in spirit to CRDTs, and not something I've personally come across before), which in turn builds on work on … Continue reading Eventually Consistent Transactions
Category: Uncategorized
Access Rights Analysis in the Presence of Subjects
Access Rights Analysis in the Presence of Subjects - Centonze et al. 2015 Security in application code is a cross-cutting concern and hence very difficult to get right since the analysis often depends on non-local effects. Java and the .NET CLR both have a declarative permissions model that can grant permissions both to code, and … Continue reading Access Rights Analysis in the Presence of Subjects
Cooking the Books: Formalizing the JMM Implementation Recipes
Cooking the Books: Formalizing the JMM Implementation Recipes - Petri et al. 2015 A decade ago, the semantics of concurrent Java programs, the Java Memory Model (JMM), was revised and redefined... ... this refinement introduced a formalization called the Data-Race Free (DRF) guarantee. Programs that do not have data races (DRF) in their sequentially consistent … Continue reading Cooking the Books: Formalizing the JMM Implementation Recipes
Welcome Back – and ECOOP ’15
Welcome Back! I hope you enjoyed the summer break and managed to catch up on some of your reading :). To kick things off again, I've pulled together a selection of papers from ECOOP '15 that was held in Prague last month: Towards Practical Gradual Typing examines the age-old debate between dynamically and statically typed … Continue reading Welcome Back – and ECOOP ’15
Summer Recess
It's summer recess time on The Morning Paper. I'm taking July off from daily publishing, and paper reviews will resume again on Monday 3rd August. I've hugely enjoyed interacting with all of you over the last few months - according to WordPress there have been just shy of a quarter of a million visits to … Continue reading Summer Recess
Helping Developers Help Themselves: Automatic Decomposition of Code Review Changes
Helping Developers Help Themselves: Automatic Decomposition of Code Review Changes - Barnett et al. 2015 Earlier this week we saw that pull requests with well organised commits are strongly preferred by integrators. Unfortunately, developers often make changes that incorporate multiple bug fixes, feature additions, refactorings, etc.. These result in changes that are both large and … Continue reading Helping Developers Help Themselves: Automatic Decomposition of Code Review Changes
The Art of Testing Less Without Sacrificing Quality
The Art of Testing Less Without Sacrificing Quality - Herzig et al. 2015 Why on earth would anyone want to test less? Maybe if you could guarantee the same eventually quality, and save a couple of million dollars along the way... By nature, system and compliance tests are complex and time-consuming although they rarely find … Continue reading The Art of Testing Less Without Sacrificing Quality
When and Why Your Code Starts to Smell Bad
When and Why Your Code Starts to Smell Bad - Tufano et al. 2015 Yesterday we saw that maintaining project quality is a key issue for integrators (maintainers). So it seems appropriate that my third choice from the recent ICSE '15 conference papers examines the question of when quality starts to slip at the code … Continue reading When and Why Your Code Starts to Smell Bad
Work Practices and Challenges in Pull-Based Development
Work Practices and Challenges in Pull-based Development - Gousios et al. 2015 In the recent years, we are witnessing that collaborative, lightweight code review is increasingly becoming the default mechanism for integrating changes, in both collocated and distributed development. Effectively, the pull request (in various forms) is becoming the atomic unit of software change. How … Continue reading Work Practices and Challenges in Pull-Based Development
How Much Up-Front? A Grounded Theory of Agile Architecture
How Much Up-Front? A Grounded Theory of Agile Architecture - Waterman et al. 2015 It's time for something a little bit different, so this week I thought I'd bring you a selection of papers from the recently held ICSE'15 conference (International Conference on Software Engineering). To kick things off, today's choice looks at the question … Continue reading How Much Up-Front? A Grounded Theory of Agile Architecture
the morning paper 