Moving Fast with Software Verification

November 20, 2015 ~ Adrian Colyer ~ 3 Comments

Moving Fast with Software Verification - Calcagno et al. 2015 This is a story of transporting ideas from recent theoretical research in reasoning about programs into the fast-moving engineering culture of Facebook. The context is that most of the authors landed at Facebook in September of 2013, when we brought the INFER static analyser with ... Continue Reading

Information-Flow Analysis of Android Applications in DroidSafe

February 23, 2015 ~ Adrian Colyer ~ Leave a comment

Information-Flow Analysis of Android Applications in DroidSafe - Gordon et al. 2015 This is the first of three papers we'll be looking at this week from the NDSS'15 conference that took place earlier this month. DroidSafe is a tool that looks for potential leaks of sensitive information in Android applications. And it works incredibly well! ... Continue Reading

SwiftCloud: Fault-tolerant geo-replication integrated all the way to the client

November 27, 2014 ~ Adrian Colyer ~ 5 Comments

SwiftCloud: Fault-tolerant geo-replication integrated all the way to the client machine - Zawirski et al. 2013 Data is stored in the cloud, presentation is on mobile devices, and application processing is increasingly split between the two. As mobile devices get more and more capable, we would like to exploit more and more of that capability. ... Continue Reading

the morning paper

a random walk through Computer Science research, by Adrian Colyer
Made delightfully fast by strattic

mobile

Moving Fast with Software Verification

Information-Flow Analysis of Android Applications in DroidSafe

SwiftCloud: Fault-tolerant geo-replication integrated all the way to the client