Login

Seminars

Incremental Parallel and Distributed Systems

Seminars

2014-03-26 16:00:00

Presenter

Pramod Bhatotia,

The Quest for Supporting Snapshot Isolation in Transactional Memory

Seminars

2014-03-12 14:30:00

Presenter

Ricardo Dias,

Synthesising Correct Concurrent Runtime Monitors

Seminars

2014-02-05 14:00:00

Presenter

Adrian Francalanza,

Probabilistic deduplication for cluster-based storage systems

Seminars

2014-01-29 14:00:00

Presenter

Konstantinos Kloudas,

NoHR – Querying EL Ontologies and Non-Monotonic Rules

Seminars

2014-01-22 14:00:00

Presenter

Matthias Knorr,

Non-monotonic temporal goals

Seminars

2014-01-15 14:00:00

Presenter

Ricardo Gonçalves,

Blotter: Scalable and Low-Latency ACID Transactions for Geo-Replicated Storage

Seminars

2013-12-18 12:00:00

Presenter

Henrique Moniz,

Logic-Based Domain-Aware Session Types

Seminars

2013-12-04 14:00:00

Presenter

Jorge A Pérez, Jorge A Pérez,

Callisto: co-scheduling parallel run time systems

Seminars

2013-11-25 15:00:00

Presenter

Tim Harris, Tim Harris,

ChainReaction: a Causal+ Consistent Datastore based on Chain Replication

Seminars

2013-11-20 14:00:00

Presenter

João Leitão, João Leitão,