Luke Chircop

  • Citations Per Year
Learn More
The ubiquity of computing devices has led to an increased need to ensure not only that the applications deployed on them are correct with respect to their specifications, but also that the devices are used in an appropriate manner, especially in situations where the device is provided by a party other than the actual user. Much work which has been done on(More)
While no one doubts the importance of correct and complete specifications, many industrial systems still do not have formal specifications written out — and even when they do, it is hard to check their correctness and completeness. This work explores the possibility of using an invariant extraction tool such as Daikon to automatically infer specifications(More)
Let us consider a coffee distribution company that has employees visiting its customers to showcase new products and take orders. Such a company would need to provide its employees with portable devices containing sensitive data about their products and customers. Therefore, the company would want to limit access to such data to only authorized applications(More)
People enjoy the sensual and physiological properties of physical books as well as the ease of creating bookmarks and annotations. However, an abundance of annotations can be distracting from the reading experience. With the introduction of e-books, sharing annotations has enabled reading to have a social context, which research has shown to benefit(More)
  • 1