Stavros Tripakis, some talks:
On Relational Interfaces, at
UC Berkeley's RESS Seminar, Feb 2010.
Implementing Synchronous Models on Distributed Execution Platforms, at UC Berkeley's Chess Seminar, Feb 2009.
See also Correct and Efficient Implementations of Synchronous Models on Asynchronous Execution Platforms,
at Exploiting Concurrency Efficiently and Correctly Workshop, Jun 2009.
See also Implementation of synchronous programs on asynchronous execution platforms: correctness, modularity, and performance analysis,
at Caltech Workshop on Verification and Validation, Sep 2009.
Modular Code Generation from Synchronous Block Diagrams: Modularity vs. Reusability vs. Code Size, at UC Berkeley's Chess Seminar, Feb 2009.
See also On the compositionality of synchronous (and other) models of computation, at Dagstuhl Seminar SYNCHRON 2009, Oct 2009.
Back to home page of Stavros Tripakis