Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
D J Greaves: University of Cambridge, Computer Laboratory.
[go: Go Back, main page]

Dr. D J Greaves.

D J Greaves, MA, PhD, MIEE.

Senior Lecturer, member of Systems Research Group, Home Networking Subgroup and Computer Architecture Group, of the University of Cambridge Computer Laboratory.

David is a Senior Lecturer in Computing Science at the Computer Laboratory and a Fellow of Corpus Christi College .
Consult Google regarding:

Short (auto-)biography: Sep 07        Photo with a tie: A, B, C, D.

Current Activities:

  • Kiwi: Collaboration with Satnam : Hardware Synthesis from C#: Timestable Demo.

  • Corpus Science Outreach: Fun with Maths and Computing.

  • Extending the Orangepath H2 compiler to generate logic with super pipelineing and out-of-order execution as required by random access times to cached DRAM banks, and a couple of related papers.

  • Experimenting with .net CIL version of Pushlogic and rapid compositional model checking.

  • Looking at adding streams to the join calculus as part of the C3D project with Milos.

  • Working on automated synthesis of glue logic with MJ Nam.

  • Formal models of dynamic binding in IDEs, including UML extensions, with B Bastani.

  • Current/Ongoing Research: System Design Methodology

Future Activities:

  • Behavioural Machine-Readable Datasheets: CARDs proposal.

  • A new System-Level Description Language (SLDL)for EDA, including the best parts of the H2 temporary language.

  • Draft items, yet to be published: LINK.

Links to my Other Research Activities:

Older Research Areas,     Conference Program Committees,     Recent Publications,     Unpublished Drafts,     Minor Research Notes,     Phd Students,     Undergraduate Teaching,     Miscellaneous Projects,     System Design Methodology.
Page maintained by DJG.