activity
20162019
most citedAn Energy-Efficient Reconfigurable DTLS Cryptographic Engine for End-to-End Security in IoT Applications

54 citations · 63 across the 3 of their papers we have counts for

collaborators
Showing 2017Show all

2 papers · 1 filter

cs.DB2017★ 9 cited

BigSparse: High-performance external graph analytics

Sang-Woo Jun, Andy Wright, Sizhuo Zhang +2

We present BigSparse, a fully external graph analytics system that picks up where semi-external systems like FlashGraph and X-Stream, which only store vertex data in memory, left o…

cs.PL2017

An Operational Framework for Specifying Memory Models using Instantaneous Instruction Execution

Sizhuo Zhang, Muralidaran Vijayaraghavan, Arvind

There has been great progress recently in formally specifying the memory model of microprocessors like ARM and POWER. These specifications are, however, too complicated for reasoni…