D J Greaves - Older News: To Dec 2008

  • Oct 08: A 3-year, industry-funded studentship is available: please contact me if you would like to read for a PhD in the design of a System-Level Design Language.

  • Sept 08: Atif Alvi - passes his PhD viva (subject to degree committee approval) Controlling pervasive domains with ontologies and rules in AutoHan.

  • Sept 08: A Toolchain for Avoiding Feature Interaction. Talk and demo at the Show and Tell event, Computer Laboratory. PDF.

  • Sept 08: Using a .NET Checkability Profile to Limit Interactions between Embedded Controllers' PDF PPT, by Greaves, Alvi et al. presentation at SENSORCOMM 2008.

  • May 08: Using C# Attributes to Describe Hardware Artefacts within Kiwi., joint work with Satnam Singh, accepted at the Specification and Design Languages Forum FDL08.

  • Mar 08: Checkable Domain Management with Ontology and Rules, joint work with Atif Alvi, accepted at ICIW2008. Slides PPT.

  • Feb 08: Kiwi: Synthesis of FPGA Circuits from Parallel Programs, joint work with Satnam Singh, accepted for FCCM'08.

  • Feb 08: Defining Checkability Classes for CIL Bytecode, Short Talk and Poster, accepted at Tools and Techniques for Verification of System Infrastructure at the Royal Society. Abstract: PDF.

  • Jan 08: AutoHAN news: We have replaced pushlogic bytecode with CIL (.net) bytecode at the compiler back end, for embedded tuplecore execution and for code reflection. Paper in preparation!

  • Jan 08: Describing Hardware with Parallel Programs, joint work with Satnam Singh, accepted for DCC'08.

  • Dec 07: Presentation at Configcon07. Slides (local access only): here.

  • Older news link...