SEARCH
ISTC-CC NEWSLETTER
RESEARCH HIGHLIGHTS
Ling Liu's SC13 paper "Large Graph Processing Without the Overhead" featured by HPCwire.
ISTC-CC provides a listing of useful benchmarks for cloud computing.
Another list highlighting Open Source Software Releases.
Second GraphLab workshop should be even bigger than the first! GraphLab is a new programming framework for graph-style data analytics.
ISTC-CC Abstract
Verifying Correct Microarchitectural Enforcement of Memory Consistency Models
IEEE Micro, 35 (3) (Top Picks of 2014), May-June 2015.
Daniel Lustig, Michael Pellauer*, Margaret Martonosi
Princeton University
* Intel Pittsburgh
Memory consistency models define the rules and guarantees about the ordering and visibility of memory references on multithreaded CPUs and systems-on-chip (SoCs). PipeCheck offers a methodology and automated tool for verifying that a particular microarchitecture correctly implements the consistency model required by its architectural specification.
FULL PAPER: pdf
