Michael Wei

BBCA-LEDGER: High Throughput Consensus meets Low Latency

This paper presents BBCA-LEDGER, a Byzantine log replication technology for partially synchronous networks enabling blocks to be broadcast in parallel, such that each broadcast is finalized...

Storm: a fast transactional dataplane for remote data structures

RDMA is an exciting technology that enables a host to access the memory of a remote host without involving the remote CPU. Prior work shows how to use RDMA to improve the performance of...

Rainblock: Faster Transaction Processing in Public Blockchains

Public blockchains like Ethereum use Merkle trees to verify transactions received from untrusted servers before applying them to the blockchain. We empirically show that the low throughput of such...

Optimizing Storage Performance with Calibrated Interrupts

Sharing, Protection, and Compatibility for Reconfigurable Fabric with AmorphOS

Occupancy-driven energy management for smart building automation

Just-In-Time Compilation for Verilog: A New Technique for Improving the FPGA Programming Experience

Don't shoot down TLB shootdowns!

Silver: A Scalable, Distributed, Multi-versioning, Always Growing (Ag) File System

Beyond block I/O: implementing a distributed shared log in hardware

DeepErr: Automatic Root-Cause Analysis of System Call Failures

Storm: a fast transactional dataplane for remote data structures

Dealing with (some of) the fallout from meltdown

JumpSwitches: Restoring the Performance of Indirect Branches In the Era of Spectre

Remote regions: a simple abstraction for remote memory

Replex: A Scalable, Highly Available Multi-Index Data Store

The Design and Implementation of Hyperupcalls

RainBlock: Faster Transaction Processing in Public Blockchains