215 citations
- Microsoft (United States)US7 papers
- Johns Hopkins UniversityUS4 papers
- Massachusetts Institute of TechnologyUS3 papers
- Tel Aviv UniversityIL3 papers
- University of MichiganUS3 papers
- University of WashingtonUS3 papers
- Argonne National LaboratoryUS2 papers
- Microsoft Research (India)IN2 papers
- Stanford UniversityUS2 papers
- The University of SydneyAU2 papers
- University of California, BerkeleyUS2 papers
- University of ChicagoUS2 papers
14 papers · 1 filter
An Intuitive Automated Modelling Interface for Systems Biology
Ozan Kahramanoğullari, Luca Cardelli, Emmanuelle Caron
We introduce a natural language interface for building stochastic pi calculus models of biological systems. In this language, complex constructs describing biochemical events are b…
A Better Reduction Theorem for Store Buffers
Ernie Cohen, Norbert Schirmer
When verifying a concurrent program, it is usual to assume that memory is sequentially consistent. However, most modern multiprocessors depend on store buffering for efficiency, an…
Building on Quicksand
Pat Helland, David Campbell
Reliable systems have always been built out of unreliable components. Early on, the reliable components were small such as mirrored disks or ECC (Error Correcting Codes) in core me…
Unbundling Transaction Services in the Cloud
David Lomet, Alan Fekete, Gerhard Weikum +1
The traditional architecture for a DBMS engine has the recovery, concurrency control and access method code tightly bound together in a storage engine for records. We propose a dif…
Data Management for High-Throughput Genomics
Uwe Roehm, Jose Blakeley
Today's sequencing technology allows sequencing an individual genome within a few weeks for a fraction of the costs of the original Human Genome project. Genomics labs are faced wi…
Teaching an Old Elephant New Tricks
Nicolas Bruno
In recent years, column stores (or C-stores for short) have emerged as a novel approach to deal with read-mostly data warehousing applications. Experimental evidence suggests that,…